Search Sciweavers | Sciweavers

1878 search results - page 16 / 376

» The Vienna Abstract Machine

click to vote

EUROPAR
1997
Springer

111views Distributed And Parallel Com...» more EUROPAR 1997»

Abstract And-Parallel Machines

14 years 2 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, Naomi Lindenstrauss

claim paper

Read More »

click to vote

EDBT
1990
ACM

79views Database» more EDBT 1990»

Abstract Machine for LDL

14 years 1 months ago

Download www.cs.uwyo.edu

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy

claim paper

Read More »

click to vote

MICRO
1989
IEEE

59views Hardware» more MICRO 1989»

Abstract computing machines

14 years 1 months ago

Download www.informatik.uni-kiel.de

Giacomo R. Sechi

claim paper

Read More »

click to vote

BIRTHDAY
2009
Springer

170views Applied Computing» more BIRTHDAY 2009»

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics

14 years 1 months ago

Download www.schemeworkshop.org

Malgorzata Biernacka, Olivier Danvy

claim paper

Read More »

click to vote

HOTOS
2009
IEEE

111views Operating System» more HOTOS 2009»

Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers