3820 search results - page 207 / 764 » Bounded Model Debugging |
116
click to vote
P2P
2007
IEEE
15 years 9 months ago
2007
IEEE
PEPINO is a simple and effective peer-to-peer network inspector. It visualises not only meaningful pointers and connections between peers, but also the exchange of messages betwee...
108
click to vote
HAPTICS
2006
IEEE
15 years 9 months ago
2006
IEEE
The development and evaluation of haptic rendering algorithms presents two unique challenges. Firstly, the haptic information channel is fundamentally bidirectional, so the output...
118
click to vote
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
169
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
150
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...