647 search results - page 22 / 130 » Dynamic Instrumentation of Production Systems |
APAL
2010
13 years 6 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
HPCA
2005
IEEE
14 years 7 months ago
2005
IEEE
Memory leaks and memory corruption are two major forms of software bugs that severely threaten system availability and security. According to the US-CERT Vulnerability Notes Datab...
EOR
2007
13 years 6 months ago
2007
The dynamics and throughput of a bucket brigade production system is studied when workersÕ speeds increase due to learning. It is shown that, if the rules of the bucket brigade s...
CGO
2006
IEEE
14 years 24 days ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...
DATE
2009
IEEE
14 years 1 months ago
2009
IEEE
—This paper explores the use of dynamic compilation for continuing execution even if one or more of the memory banks used by an application become temporarily unavailable (but th...