813 search results - page 46 / 163 » Pipeline-centric provenance model |
MSWIM
2004
ACM
14 years 2 months ago
2004
ACM
In case of natural disasters or intentional attacks, telecommunication networks often get heavily damaged and current resilience schemes have proven to be insufficient for rapid r...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
ISVLSI
2002
IEEE
14 years 1 months ago
2002
IEEE
Retiming has been shown to be a powerful technique for improving the performance of synchronous circuits. However, even though retiming algorithms of polynomial time complexity ha...
TACAS
2001
Springer
14 years 1 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
FMCAD
2008
Springer
13 years 10 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...