2586 search results - page 12 / 518 » Automatic Abstraction for Congruences |
SAS
2010
Springer
13 years 5 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
CI
2005
13 years 7 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
AIL
1998
13 years 7 months ago
1998
automatic abstracting of legal cases for effective access to court decisions 47-58 Caroline Uyttendaele, Marie-Francine Moens, Jos Dumortier The publisher is aware that, in spite o...
DAC
1995
ACM
13 years 11 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
IWOMP
2009
Springer
14 years 1 months ago
2009
Springer