4722 search results - page 316 / 945 » Encoding Program Executions |
191
click to vote
COREGRID
2007
Springer
16 years 27 days ago
2007
Springer
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...
182
click to vote
HPCC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Recent advances in processor technology such as Simultaneous Multithreading (SMT) and Chip Multiprocessing (CMP) enable parallel processing on a single die. These process...
149
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
171
click to vote
ICLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
181
Voted
LOPSTR
2004
Springer
16 years 2 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...