Sciweavers

34 search results - page 2 / 7
» Performance debugging of Esterel specifications
Sort
View
OSDI
2002
ACM
14 years 3 months ago
Using Model Checking to Debug Device Firmware
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
Sanjeev Kumar, Kai Li
AOSD
2007
ACM
13 years 7 months ago
Debugging with control-flow breakpoints
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is n...
Rick Chern, Kris De Volder
HICSS
2006
IEEE
164views Biometrics» more  HICSS 2006»
13 years 9 months ago
A Methodology for Generating Application-Specific Heterogeneous Processor Arrays
Hardware designers are increasingly turning to Single Chip Multi-Processors to achieve power and throughput goals. To further increase performance for a specific application the c...
Stephen D. Craven, Cameron Patterson, Peter M. Ath...
ICPP
1998
IEEE
13 years 8 months ago
Techniques for Delayed Binding of Monitoring Mechanisms to Application-Specific Instrumentation Points
Online interaction with computer systems and applications allows developers to monitor, experiment with, and debug long-running, resource-intensive applicationsat runtime. Traditi...
Jeffrey S. Vetter, Karsten Schwan
ICSM
1994
IEEE
13 years 7 months ago
A Framework for Partial Data Flow Analysis
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
Rajiv Gupta, Mary Lou Soffa