9370 search results - page 65 / 1874 » An Abstract Notion of Application |
COMPGEOM
2005
ACM
14 years 1 months ago
2005
ACM
Order Type Extension and New Results ectilinear Crossing Number - Extended Abstract Oswin Aichholzer∗ Hannes Krasser† We provide a complete data base of all realizable order t...
TPHOL
1998
IEEE
14 years 3 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
DAC
1995
ACM
14 years 2 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...
IWFM
1998
14 years 15 days ago
1998
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
MOZ
2004
Springer
14 years 4 months ago
2004
Springer
1) the Warren’s Abstract Machine and (2) constraints on finite set.