1422 search results - page 1 / 285 » Complementation in Abstract Interpretation |
SAS
1995
Springer
13 years 8 months ago
1995
Springer
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
CAV
2003
Springer
13 years 10 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
KI
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
BMCBI
2004
13 years 4 months ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
POPL
2004
ACM
14 years 5 months ago
2004
ACM
NON-INTERFERENCE rizing Non-Interference by Abstract Interpretation Roberto Giacobazzi and Isabella Mastroeni Dipartimento di Informatica Universit`a di Verona Italy POPL'04 -...