44 search results - page 6 / 9 » Static Correctness of Hierarchical Procedures |
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
LFP
1992
13 years 8 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Recently proposed techniques for peak power management [5] involve centralized decision-making and assume quick evaluation of the various power management states. These techniques...
EUROPAR
2004
Springer
14 years 1 months ago
2004
Springer
The parallel realization of adaptive finite element methods (FEM) has to deal with several irregular and dynamic algorithmic properties caused by adaptive mesh refinement (AMR). ...
AAAI
1996
13 years 9 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...