264 search results - page 3 / 53 » Source-Based Trace Exploration |
HAPTICS
2007
IEEE
13 years 11 months ago
2007
IEEE
We present some experimental results concerning exploration of planar contours (more specifically, polygons) using a 2–D haptic device, the Logitech Wingman mouse. With respect...
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
The widening gap between CPU and memory speed has made caches an integral feature of modern highperformance processors. The high degree of configurability of cache memory can requ...
DAC
2009
ACM
14 years 6 months ago
2009
ACM
This paper introduces a new unobtrusive and cost-effective method for the capture and compression of program execution traces in real-time, which is based on a double move-to-fron...
SIGSOFT
2009
ACM
14 years 6 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
CGO
2010
IEEE
14 years 9 days ago
2010
IEEE
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...