48 search results - page 7 / 10 » Debugging Integrated Systems: An Ethnographic Study of Debug... |
CADE
2003
Springer
14 years 5 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
KBS
2011
13 years 10 days ago
2011
In today’s industrial applications, we see that knowledge systems are successfully implemented. However, critical domains require the elaborate and thoughtful validation of the ...
SIGSOFT
2006
ACM
13 years 11 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
ASAP
2007
IEEE
13 years 7 months ago
2007
IEEE
Interconnect validation is an important early step toward global SoC (System-On-Chip) validation. Fast performances evaluation and design space exploration for NoCs (Networks-On-C...
CHI
2007
ACM
14 years 5 months ago
2007
ACM
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...