Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
469
Pin: building customized program analysis tools with dynamic instrumentation
- IN PLDI ’05: PROCEEDINGS OF THE 2005 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
, 2005
"... Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation system called Pin. Our goals are to provide easy-to-use, portable, transparent, and eff ..."
Abstract
-
Cited by 991 (35 self)
- Add to MetaCart
, and efficient instrumentation. Instrumentation tools (called Pintools) are written in C/C++ using Pin’s rich API. Pin follows the model of ATOM, allowing the tool writer to analyze an application at the instruction level without the need for detailed knowledge of the underlying instruction set. The API
Determining Semantic Similarity among Entity Classes from Different Ontologies
- IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
, 2003
"... Semantic similarity measures play an important role in information retrieval and information integration. Traditional approaches to modeling semantic similarity compute the semantic distance between definitions within a single ontology. This single ontology is either a domain-independent ontology or ..."
Abstract
-
Cited by 200 (4 self)
- Add to MetaCart
determines similar entity classes by using a matching process over synonym sets, semantic neighborhoods, and distinguishing features that are classified into parts, functions, and attributes. Experimental results with different ontologies indicate that the model gives good results when ontologies have
A trustworthy monadic formalization of the armv7 instruction set architecture
- In Proc. 23rd Int. Conf˙on Interactive Theorem Proving (ITP’10), LNCS
, 2010
"... Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The formalization is detailed and extensive. Considerable tool support has been developed, with the goal of making the model ..."
Abstract
-
Cited by 30 (3 self)
- Add to MetaCart
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The formalization is detailed and extensive. Considerable tool support has been developed, with the goal of making the model
An Activation-Based Model of Sentence Processing as Skilled Memory Retrieval
, 2005
"... We present a detailed process theory of the moment-by-moment working-memory retrievals and associated control structure that subserve sentence comprehension. The theory is derived from the application of independently motivated principles of memory and cognitive skill to the specialized task of sent ..."
Abstract
-
Cited by 161 (36 self)
- Add to MetaCart
–R) architecture, and our process model is realized in ACT–R. We present the results of 6 sets of simulations: 5 simulation sets provide quantitative accounts of the effects of length and structural interference on both unambiguous and garden-path structures. A final simulation set provides a graded taxonomy
A HOL specification of the ARM instruction set architecture
, 2001
"... This report gives details of a hol specification of the arm instruction set architecture. It is shown that the hol proof tool provides a suitable environment in which to model the architecture. The specification is used to execute fragments of arm code generated by an assembler. The specification is ..."
Abstract
-
Cited by 10 (0 self)
- Add to MetaCart
This report gives details of a hol specification of the arm instruction set architecture. It is shown that the hol proof tool provides a suitable environment in which to model the architecture. The specification is used to execute fragments of arm code generated by an assembler. The specification
Formal system development with KIV
- FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, NUMBER 1783 IN LNCS
, 2000
"... KIV is a tool for formal systems development. It can be employed, e.g., – for the development of safety critical systems from formal requirements specifications to executable code, including the verification of safety requirements and the correctness of implementations, – for semantical foundations ..."
Abstract
-
Cited by 57 (30 self)
- Add to MetaCart
of programming languages from a specification of the semantics to a verified compiler, – for building security models and architectural models as they are needed for high level ITSEC [7] or CC [1] evaluations. Special care was (and is) taken to provide strong proof support for all validation and verification
C compiler retargeting based on instruction semantics models
- In DATE ’05: Proceedings of the conference on Design, Automation and Test in Europe
, 2005
"... Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compilers that can be quickly adapted to new architectures. A widespread approach is to model the target architecture in a dedica ..."
Abstract
-
Cited by 11 (0 self)
- Add to MetaCart
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compilers that can be quickly adapted to new architectures. A widespread approach is to model the target architecture in a
A Formal Architectural Model for Logical Agent Mobility
- IEEE TRANS. ON SOFTWARE ENGINEERING
, 2003
"... The process of agent migration is the major difference between logical code mobility of software agents and physical mobility of mobile nodes in ad hoc networks. Without considering agent transfer, it would make little sense to mention the modeling of strong code mobility, which aims to make a migra ..."
Abstract
-
Cited by 14 (1 self)
- Add to MetaCart
migrated agent restarted exactly from the state when it was stopped before migration. From the perspective of system's architecture, this paper proposes a two-layer approach for the formal modeling of logical agent mobility (LAM) using predicate/transition (PrT) nets. We view a mobile agent system
A Semantic Analysis of Instructional Texts
, 2005
"... Texts as well as dialogues originated a number of analysis at discourse level from various perspectives, such as: modelling of nominal, temporal or spatial reference resolution [1, 5], of rhetorical structure [6], argumentative structure, and of cooperative discourse structure [3]. So far, little ha ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
has been done to formally represent the structure of instructional (also called procedural) texts, besides [4, 6]. However, from an applied perspective, the study of instructional text structure is most useful for answering questions in How to?. While research in question- answering (QA) mainly
Instruction-Set Modelling for ASIP Code Generation
"... A main objective in code generation for ASIPs is to develop retargetable compilers in order to permit exploration of di erent architectural alternatives within short turnaround time. Retargetability requires that the compiler is supplied with a formal description of the target processor. This descri ..."
Abstract
- Add to MetaCart
. This description is usually transformed into an internal instruction set model, on which the actual code generation operates. In this contribution we analyze the demands on instruction set models for retargetable code generation, and we present a formal instruction set model which meets these demands. Compared
Results 1 - 10
of
469
