4722 search results - page 213 / 945 » Encoding Program Executions |
161
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
154
click to vote
ENTCS
2006
15 years 6 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
165
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
The aim of this work is to provide a high performance air quality simulation using the STEM-II (Sulphur Transport Eulerian Model 2) program. First of all we optimize the sequentia...
226
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
131
click to vote
ISCA
1987
IEEE
15 years 9 months ago
1987
IEEE
This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to sup...