8828 search results - page 1165 / 1766 » Formal methods in practice |
178
click to vote
DFT
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper proposes a new fault model and its modeling and analysis methods in a clockless asynchronous wave pipeline for extensive yield evaluation and assurance. It is highly de...
196
click to vote
HICSS
2003
IEEE
16 years 22 days ago
2003
IEEE
Supply chain management is a demanding and complicated task due to its broad scope and the strong connectedness of its objects and issues. In order to make theoretical investigati...
165
click to vote
ITCC
2003
IEEE
16 years 21 days ago
2003
IEEE
As large main memory becomes more and more available at reasonable prices, processing speed of large data sets becomes more important than reducing main memory usage of internal d...
173
click to vote
IWPSE
2003
IEEE
16 years 21 days ago
2003
IEEE
It is remarkable to think that even without any interest in finding suitable methods and concepts that would allow complex software systems to evolve and remain manageable, the e...
175
click to vote
VTS
2003
IEEE
16 years 21 days ago
2003
IEEE
Delay faults are an increasingly important test challenge. Traditional open and bridge fault models are incomplete because only the functional fault or a subset of delay fault are...