4722 search results - page 180 / 945 » Encoding Program Executions |
148
click to vote
PADL
2005
Springer
15 years 10 months ago
2005
Springer
In this article we investigate a novel execution paradigm—ML-like pattern-matching— for XML query processing. We show that such a paradigm is well adapted for a common and freq...
133
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...
163
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
185
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
115
click to vote
EUROGP
2007
Springer
15 years 11 months ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...