1133 search results - page 18 / 227 » Local Logics for Traces |
148
Voted
CCGRID
2002
IEEE
15 years 9 months ago
2002
IEEE
Peer-to-peer computing and networking, an emerging model of communication and computation, has recently started to gain significant acceptance. This model not only enables client...
134
click to vote
PDP
1997
IEEE
15 years 8 months ago
1997
IEEE
Event tracing and monitoring of parallel applications are difficult if each processor has its own unsynchronized clock. A survey is given on several strategies to generate a glob...
142
click to vote
CGF
2008
15 years 4 months ago
2008
We present an interactive GPU-based algorithm for accurately rendering high-quality, dynamic glossy reflection effects from both HDR environment maps and local scene objects. Our ...
109
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
121
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a new fault localization technique for software bugs in large-scale computing systems. Our technique always collects per-process function call traces of a target system...