31387 search results - page 121 / 6278 » Abstracting abstract machines |
167
click to vote
DAC
1995
ACM
15 years 10 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...
149
click to vote
FOCS
1995
IEEE
15 years 10 months ago
1995
IEEE
d Abstract) Noga Alon ∗ Jeff Edmonds † Michael Luby ‡ An (n, c, , r)-erasure code consists of an encoding algorithm and a decoding algorithm with the following properties. ...
149
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
153
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
acement of Crime (extended abstract) Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and S. Waqar Jaffry and Jan Treur1 Within Criminology, the process of crime displaceme...
122
click to vote
AIM
2006
15 years 6 months ago
2006
Undergraduate Artificial Intelligence Robotics: Layers Of Abstraction Over Two Channels Frederick L. Crabbe Computer Science Department United States Naval Academy 572C Holloway Rd...