Sciweavers

524 search results - page 12 / 105
» Debugging Models in the Context of Automotive Software Devel...
Sort
View
OSDI
2002
ACM
15 years 10 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
AADEBUG
1995
Springer
15 years 1 months ago
Transparency Debugging with Explanations for Novice Programmers
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...
Philip A. Smith, Geoffrey I. Webb
ECLIPSE
2006
ACM
15 years 3 months ago
XPlainer-Eclipse: explaining XPath within Eclipse
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
John W. S. Liu, Mariano P. Consens, Flavio Rizzolo
ADAEUROPE
2003
Springer
15 years 3 months ago
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada
This article discusses the tools that Ada offers to deal with dynamic memory problems. The article shows how the storage pools mechanism of Ada 95 can be extended to enpower devel...
Emmanuel Briot, Franco Gasperoni, Robert Dewar, Di...
ENTCS
2006
176views more  ENTCS 2006»
14 years 9 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...