406 search results - page 53 / 82 » Boosting Using Branching Programs |
CAV
2001
Springer
14 years 1 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
ICFP
1999
ACM
14 years 24 days ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
ISCA
1998
IEEE
14 years 22 days ago
1998
IEEE
This paper examines the performance of desktop applications running on the Microsoft Windows NT operating system on Intel x86 processors, and contrasts these applications to the p...
DNA
2009
Springer
14 years 3 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
IPCCC
1999
IEEE
14 years 23 days ago
1999
IEEE
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...