9532 search results - page 1699 / 1907 » Logic, Graphs, and Algorithms |
180
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
127
click to vote
CF
2007
ACM
15 years 8 months ago
2007
ACM
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...
125
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
The distributed nature of the Internet makes it difficult for a single service provider to troubleshoot the disruptions experienced by its customers. We propose NetDiagnoser, a tr...
137
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Most operators for merging multiple knowledge bases (where each is a set of formulae) aim to produce a knowledge base as output that best reflects the information available in the ...
153
click to vote
DAC
2004
ACM
15 years 8 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...