440 search results - page 46 / 88 » A challenge for atomicity verification |
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
115
click to vote
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
A key challenge facing the designers of serviceoriented applications is ensuring that the autonomous services that make up these distributed applications always finish in consiste...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
Built-In Self-Test (BIST) becomes important also for more complex structures like complete front-ends. In order to bring down the costs for the test overhead, Spectral Signature A...
CASCON
1996
15 years 1 months ago
1996
Most research on objectoriented(OO) paradigms has been focused on analysis, design, and programming fundamentals. Testing the systems that are created with these paradigms has bee...