34 search results - page 3 / 7 » Performance debugging of Esterel specifications |
ISESE
2006
IEEE
14 years 4 months ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
Traditional performance models are too brittle to be relied on for continuous capacity planning and performance debugging in many computer systems. Simply put, a brittle model is ...
SCAM
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
LISP
2008
13 years 10 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
SIMUTOOLS
2008
14 years 8 days ago
2008
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...