Sciweavers

113 search results - page 3 / 23
» Compile-Time Debugging of C Programs Working on Trees
Sort
View
IPPS
2007
IEEE
13 years 11 months ago
Formal Analysis for Debugging and Performance Optimization of MPI
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
Ganesh Gopalakrishnan, Robert M. Kirby
CASES
2007
ACM
13 years 9 months ago
A fast and generic hybrid simulation approach using C virtual machine
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
Lei Gao, Stefan Kraemer, Rainer Leupers, Gerd Asch...
ECBS
2007
IEEE
119views Hardware» more  ECBS 2007»
13 years 11 months ago
Diagnosis of Embedded Software Using Program Spectra
Automated diagnosis of errors detected during software testing can improve the efficiency of the debugging process, and can thus help to make software more reliable. In this pape...
Peter Zoeteweij, Rui Abreu, Rob Golsteijn, Arjan J...
NOCS
2008
IEEE
13 years 11 months ago
Debugging Distributed-Shared-Memory Communication at Multiple Granularities in Networks on Chip
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
Bart Vermeulen, Kees Goossens, Siddharth Umrani
AADEBUG
2005
Springer
13 years 7 months ago
Random testing of C calling conventions
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
Christian Lindig