31387 search results - page 49 / 6278 » Abstracts |
HIPEAC
2005
Springer
14 years 3 months ago
2005
Springer
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
FOIKS
2004
Springer
14 years 3 months ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Interpretation∗ Soonho Kong http://ropas.snu.ac.kr/∼soon/ May 25, 2007 ∗ Work of P. Cousot and R.Cousot ncepts of Abstract Interpretation, 1 / 35
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
Machines Mads Sig Ager BRICS Report Series RS-04-20 ISSN 0909-0878 October 2004 04-20M.S.Ager:FromNaturalSemanticstoAbstractMachines
SEQLEARN
2001
Springer
14 years 2 months ago
2001
Springer
eed for a Neural Abstract Machine Diego Sona, Alessandro Sperduti Dipartimento di Informatica Universit`a di Pisa