Sciweavers

1917 search results - page 3 / 384
» The York Abstract Machine
Sort
View
FPCA
1991
15 years 1 months ago
Making Abstract Machines Less Abstract
Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages
John Hannan
AC
1998
Springer
14 years 9 months ago
Cellular Automata Models of Self-Replicating Systems
Abstract: Since von Neumann's seminal work around 1950, computer scientists and others have studied the algorithms needed to support self-replicating systems. Much of this wor...
James A. Reggia, Hui-Hsien Chou, Jason D. Lohn
151
Voted
AMTA
2004
Springer
15 years 3 months ago
The Georgetown-IBM Experiment Demonstrated in January 1954
The public demonstration of a Russian-English machine translation system in New York in January 1954 – a collaboration of IBM and Georgetown University – caused a great deal of...
W. John Hutchins
ICFP
2010
ACM
14 years 10 months ago
Abstracting abstract machines
David Van Horn, Matthew Might
SAS
2009
Springer
162views Formal Methods» more  SAS 2009»
15 years 10 months ago
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
Antoine Miné, Ji Wang, Liqian Chen, Patrick...