429 search results - page 76 / 86 » A Runtime System for Dynamic DAG Programming |
94
Voted
AICCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
DSD
2010
IEEE
14 years 9 months ago
2010
IEEE
—Current general-purpose memory allocators do not provide sufficient speed or flexibility for modern highperformance applications. To optimize metrics like performance, memory us...
80
Voted
CCR
2004
14 years 9 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
85
Voted
CASES
2008
ACM
14 years 11 months ago
2008
ACM
Dynamic binary translators (DBT) have recently attracted much attention for embedded systems. The effective implementation of DBT in these systems is challenging due to tight cons...
CGO
2006
IEEE
15 years 3 months 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...