3119 search results - page 377 / 624 » General Default Logic |
147
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
178
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
162
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
144
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Packet editing is a fundamental building block of data communication systems such as switches and routers. Circuits that implement this function are critical and define the featur...
180
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In XML databases, new schema versions may be released as frequently as once every two weeks. This poster describes a taxonomy of changes for XML schema evolution. It examines the ...