Sciweavers

10585 search results - page 240 / 2117
» The Orc Programming Language
Sort
View
ICALP
1997
Springer
15 years 6 months ago
Improving Spanning Trees by Upgrading Nodes
Sven Oliver Krumke, Madhav V. Marathe, Hartmut Nol...
ICALP
1995
Springer
15 years 6 months ago
Automatic Synthesis of Real Time Systems
Jørgen H. Andersen, Kåre J. Kristoffe...
POPL
1997
ACM
15 years 6 months ago
Call by Need Computations to Root-Stable Form
The following theorem of Huet and L
Aart Middeldorp
ASPLOS
1991
ACM
15 years 6 months ago
The Interaction of Architecture and Operating System Design
Thomas E. Anderson, Henry M. Levy, Brian N. Bersha...
FPCA
1991
15 years 6 months ago
Making Abstract Machines Less Abstract
Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages
John Hannan