58 search results - page 9 / 12 » Automatic trace analysis for logic of constraints |
153
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
Noise can cause digital circuits to switch incorrectly and thus produce spurious results. Noise can also have adverse power, timing and reliability e ects. Dynamic logic is partic...
163
click to vote
DEXAW
2006
IEEE
16 years 2 hour ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
170
click to vote
ICNP
2006
IEEE
15 years 12 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
164
click to vote
TAP
2008
Springer
15 years 5 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
166
click to vote
LOPSTR
2007
Springer
16 years 2 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...