466 search results - page 2 / 94 » A Theory of Rate-Based Execution |
IPPS
2005
IEEE
13 years 11 months ago
2005
IEEE
Continuous query systems are an intuitive way for users to access streaming data in large-scale scientific applications containing many hundreds of streams. A challenge in these ...
LPNMR
2005
Springer
13 years 11 months ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
FM
2009
Springer
13 years 12 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
ECSQARU
1997
Springer
13 years 9 months ago
1997
Springer
