31387 search results - page 31 / 6278 » Abstracts |
SCAM
2009
IEEE
14 years 4 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
APN
2005
Springer
14 years 3 months ago
2005
Springer
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
LPAR
2004
Springer
14 years 3 months ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...
ASPDAC
2009
ACM
14 years 2 months ago
2009
ACM
and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract Communication and Interconnect Modeling for MPSoCand Interconn...
FOCS
1993
IEEE
14 years 2 months ago
1993
IEEE
d Abstract) Peter Clote A. Ignjatovicy B. Kapronz