1914 search results - page 166 / 383 » Verification by Abstract Interpretation |
128
Voted
PDPTA
2007
15 years 2 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
112
Voted
AAAI
2012
13 years 3 months ago
2012
Pre-symptomatic drought stress prediction is of great relevance in precision plant protection, ultimately helping to meet the challenge of “How to feed a hungry world?”. Unfor...
129
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
123
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
132
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...