1042 search results - page 54 / 209 » Failing First: An Update |
151
click to vote
ISSTA
1996
ACM
15 years 8 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
143
click to vote
PDIS
1994
IEEE
15 years 8 months ago
1994
IEEE
We present a scalable garbage collection scheme for systems that store objects at multiple servers while clients run transactions on locally cached copies of objects. It is the fi...
154
click to vote
CIE
2009
Springer
15 years 8 months ago
2009
Springer
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...
118
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Loical defect diagnosis is a critical yet challenging process in VLSI manufacturing. It involves the identification of the defect spots in a logic IC that fails testing. In the la...
130
click to vote
EWSPT
2000
Springer
15 years 8 months ago
2000
Springer
Competitive quality is a need for the progress of the Information Technology sector. For enterprises, process is the starting point of all the approaches in the achievement of comp...