2488 search results - page 316 / 498 » An improvement in formal verification |
110
click to vote
MCS
2008
Springer
15 years 1 months ago
2008
Springer
A deeper understanding of quantum effects in nano-electronic devices helps to improve the functionality and to develop new device types. The performance of carbon nanotube (CNT) f...
142
click to vote
AISC
2010
Springer
14 years 11 months ago
2010
Springer
In spite of the remarkable achievements recently obtained in the field of mechanization of formal reasoning, the overall usability of interactive provers does not seem to be sensib...
125
click to vote
TE
2010
14 years 8 months ago
2010
The Electrical Engineering Summer Academy for Pre-College Students was held at the University of Tulsa from June 11th through June 15th , 2007. Of the 20 students accepted, 19 par...
107
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
DAC
2002
ACM
16 years 2 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...