1069 search results - page 102 / 214 » Automatic Generation of Language-based Tools |
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
RSP
2005
IEEE
15 years 5 months ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
LISA
2004
15 years 1 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
DAGSTUHL
2004
15 years 1 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
122
click to vote
JEI
2008
14 years 12 months ago
2008
Automatic segmentation and analysis of ancient mosaic images can help archaeologists and experts build digital collections and automatically compare mosaics by means of image datab...