608 search results - page 54 / 122 » Tests, Proofs and Refinements |
CADE
2007
Springer
14 years 8 months 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
14 years 8 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...
ISMIR
2004
Springer
14 years 1 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...
ITC
2003
IEEE
14 years 1 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...
CONCUR
2006
Springer
13 years 11 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...