Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
156
Parallelizing Heavyweight Debugging Tools with MPIecho *
"... ABSTRACT Idioms created for debugging execution on single processors and multicore systems have been successfully scaled to thousands of processors, but there is little hope that this class of techniques can continue to be scaled out to tens of millions of cores. In order to allow development of mo ..."
Abstract
- Add to MetaCart
ABSTRACT Idioms created for debugging execution on single processors and multicore systems have been successfully scaled to thousands of processors, but there is little hope that this class of techniques can continue to be scaled out to tens of millions of cores. In order to allow development
Abstract Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation
"... Dynamic binary instrumentation (DBI) frameworks make it easy to build dynamic binary analysis (DBA) tools such as checkers and profilers. Much of the focus on DBI frameworks has been on performance; little attention has been paid to their capabilities. As a result, we believe the potential of DBI ha ..."
Abstract
- Add to MetaCart
has not been fully exploited. In this paper we describe Valgrind, a DBI framework designed for building heavyweight DBA tools. We focus on its unique support for shadow values—a powerful but previously little-studied and difficult-to-implement DBA technique, which requires a tool to shadow every
Lem: A Lightweight Tool for Heavyweight Semantics
"... Abstract. Many ITP developments exist in the context of a single prover, and are dominated by proof effort. In contrast, when applying rigorous semantic techniques to realistic computer systems, engineering the definitions becomes a major activity in its own right. Proof is then only one task among ..."
Abstract
- Add to MetaCart
Abstract. Many ITP developments exist in the context of a single prover, and are dominated by proof effort. In contrast, when applying rigorous semantic techniques to realistic computer systems, engineering the definitions becomes a major activity in its own right. Proof is then only one task among
Protocol Service Decomposition for High-Performance Networking
- In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles
, 1993
"... In this paper we describe a new approach to implementing network protocols that enables them to have high performance and high flexibility, while retaining complete conformity to existing application programming interfaces. The key insight behind our work is that an application's interface to t ..."
Abstract
-
Cited by 156 (10 self)
- Add to MetaCart
the network protocols and transfers data to and from the network, while an operating system server manages the heavyweight abstractions that applications use when manipulating the network through operations other than send and receive. On DECstation 5000/200 This research was sponsored in part by the Advanced
The Political Economy of World Heavyweight Boxing during the Great Depression
- Theoretical and Applied Economics
, 2012
"... Abstract. The purpose of the paper is to show how boxing managed to remain an affordable and consumable good for the US-American citizens in the times of the Great Depression of 1929-1933, when industrial production was closing. Moreover, while other economic activities faced problems, boxing contin ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Abstract. The purpose of the paper is to show how boxing managed to remain an affordable and consumable good for the US-American citizens in the times of the Great Depression of 1929-1933, when industrial production was closing. Moreover, while other economic activities faced problems, boxing
Comparative Study of Agile Methods and Their Comparison with Heavyweight Methods in Indian Organizations
"... Abstract: “Agile ” means nimble or quick moving and “Agility ” means the ability to think and draw conclusions quickly. In terms of software development agility means dynamic, content specific, growth oriented and able to adopt the changes quickly and easily. The roots of agile go back more than a d ..."
Abstract
- Add to MetaCart
Abstract: “Agile ” means nimble or quick moving and “Agility ” means the ability to think and draw conclusions quickly. In terms of software development agility means dynamic, content specific, growth oriented and able to adopt the changes quickly and easily. The roots of agile go back more than a
Towards Light-Weight Verification and Heavy-Weight Testing, In Tool Support for System Specification
- Lakhnech Eds., Springer Advances in Computing Science
, 1999
"... Abstract. We give an overview on our approach to symbolic simulation in the PVS theorem prover and to demonstrate its usage in the realm of validation by executing specification on incomplete data. In this way, one can test executable models for a possibly infinite class of test vectors with one run ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Abstract. We give an overview on our approach to symbolic simulation in the PVS theorem prover and to demonstrate its usage in the realm of validation by executing specification on incomplete data. In this way, one can test executable models for a possibly infinite class of test vectors with one
µCode: A Lightweight and Flexible Mobile Code Toolkit
, 1998
"... Although a thorough evaluation of mobile code technology does not exist yet, some studies already evidenced that the powerful (and often heavyweight) abstractions and mechanisms proposed so far are not always flexible enough to fully exploit the benefits of migrating code. $/Mu$Code is a new mobile ..."
Abstract
-
Cited by 51 (11 self)
- Add to MetaCart
Although a thorough evaluation of mobile code technology does not exist yet, some studies already evidenced that the powerful (and often heavyweight) abstractions and mechanisms proposed so far are not always flexible enough to fully exploit the benefits of migrating code. $/Mu$Code is a new mobile
Effecting parallel graph eigensolvers through library composition
- In Performance Optimization for High-Level Languages and Libraries (POHLL
, 2006
"... Abstract — Many interesting problems in graph theory can be reduced to solving an eigenproblem of the adjacency matrix or Laplacian of a graph. Given the availability of high-quality linear algebra and graph libraries, one might expect that one could merely use a graph data structure within a eigens ..."
Abstract
-
Cited by 5 (2 self)
- Add to MetaCart
eigensolver. However, conventional libraries are rigidly constructed, requiring conversion to library-specific data structures or using heavyweight abstraction methods that prevent efficient composition. The Generic Programming methodology addresses the problems of reusability and composability by careful
Dynamic binary analysis and instrumentation
, 2004
"... Dynamic binary analysis (DBA) tools such as profilers and checkers help programmers create better software. Dynamic binary instrumentation (DBI) frameworks make it easy to build new DBA tools. This dissertation advances the theory and practice of dynamic binary analysis and instrumentation, with an ..."
Abstract
-
Cited by 73 (4 self)
- Add to MetaCart
, with an emphasis on the importance of the use and support of metadata. The dissertation has three main parts. The first part describes a DBI framework called Valgrind which provides novel features to support heavyweight DBA tools that maintain rich metadata, especially location metadata— the shadowing of every
Results 1 - 10
of
156
