2584 search results - page 313 / 517 » On the Forward Checking Algorithm |
147
Voted
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
114
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
147
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
139
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
Designing custom-extensible instructions for Extensible Processors1 is a computationally complex task because of the large design space. The task of automatically matching candida...
142
click to vote
DFT
2008
IEEE
15 years 4 months ago
2008
IEEE
Side-channel attacks are nowadays a serious concern when implementing cryptographic algorithms. Powerful ways for gaining information about the secret key as well as various count...