3742 search results - page 491 / 749 » On the Use of Formal Techniques for Validation |
196
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
200
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Microarray techniques are one of the main methods used to investigate thousands of gene expression profiles for enlightening complex biological processes responsible f...
184
click to vote
LISA
2003
15 years 8 months ago
2003
This paper presents three simple techniques for improving network service using relatively unknown features of many existing networks. The resulting system provides greater reliab...
228
click to vote
PC
2006
15 years 6 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...
280
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...