6192 search results - page 218 / 1239 » Structure benefits all |
112
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
161
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
In this work we try to bridge the gap often encountered by researchers who find themselves with few or no labeled examples from their desired target domain, yet still have access ...
133
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
162
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
The ability to locate random relays is a key challenge for peer-to-peer (P2P) anonymous communication systems. Earlier attempts like Salsa and AP3 used distributed hash table look...
148
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Comprehensively understanding corticosteroid pharmacogenomic effects is an essential step towards an insight into the underlying molecular mechanisms for both benefici...