296 search results - page 29 / 60 » A Rewriting Framework for Rule-Based Programming Dynamic App... |
CASES
2006
ACM
14 years 1 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
WIESS
2000
13 years 9 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
WOA
2001
13 years 9 months ago
2001
The Mobile Agent (MA) paradigm seems to be a promising solution for the design and development of distributed value-added services. However, mobility has added complexity to the d...
CP
2000
Springer
14 years 7 days ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
PPOPP
2003
ACM
14 years 1 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...