608 search results - page 54 / 122 » Tests, Proofs and Refinements |
69
Voted
CADE
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
CHI
2009
ACM
16 years 1 months ago
2009
ACM
While collaboration is a natural choice in many situations, there is a lack of specialized tools for collaboratively seeking information. We present design specifications and impl...
117
Voted
ISMIR
2004
Springer
15 years 6 months ago
2004
Springer
The popularity of digital music has recently rapidly increased. The widespread use on computers and portable players and its availability through the Internet have modified the in...
88
Voted
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...
105
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...