252 search results - page 7 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
JGS
2010
13 years 6 months ago
2010
Qualitative spatial variables are important in many fields of research. However, unlike the decades-worth of research devoted to the spatial association of quantitative variables, ...
Publication
This paper presents the Scalable On-Line Execution algorithm (SOLE, for short) for continuous and on-line evaluation of concurrent continuous spatio- temporal queries over data str...
IEEEPACT
1998
IEEE
13 years 11 months ago
1998
IEEE
Conventional speculative architectures use branch prediction to evaluate the most likely execution path during program execution. However, certain branches are difficult to predic...
ECLIPSE
2004
ACM
14 years 27 days ago
2004
ACM
Debugging distributed applications is a wellknown challenge within the realm of Computer Science. Common problems faced by developers include: lack of an observable global state, ...
LMO
1996
13 years 8 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...