1999 search results - page 132 / 400 » Finding Reductions Automatically |
ESEM
2009
ACM
15 years 1 months ago
2009
ACM
Test coverage is a promising measure of test effectiveness and development organizations are interested in costeffective levels of coverage that provide sufficient fault removal w...
ISLPED
2010
ACM
14 years 10 months ago
2010
ACM
On-chip coherence directories of today's multi-core systems are not energy efficient. Coherence directories dissipate a significant fraction of their power on unnecessary loo...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
LREC
2008
14 years 11 months ago
2008
The rapid growth of the Internet means that more information is available than ever before. Multilingual multi-document summarisation offers a way to access this information even ...