1271 search results - page 39 / 255 » On Simulation-Checking with Sequential Systems |
LICS
2000
IEEE
14 years 3 days ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
FLOPS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
CGO
2009
IEEE
14 years 2 months ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
ISCA
2003
IEEE
14 years 1 months ago
2003
IEEE
We describe the Java runtime parallelizing machine (Jrpm), a complete system for parallelizing sequential programs automatically. Jrpm is based on a chip multiprocessor (CMP) with...