1002 search results - page 158 / 201 » Towards Graph Programs for Graph Algorithms |
111
click to vote
ECOOP
1997
Springer
15 years 6 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
100
click to vote
TCAD
2002
15 years 1 months ago
2002
Embedded hard real-time software systems often need fine-grained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel l...
112
click to vote
SIAMDM
2010
14 years 8 months ago
2010
Inspired by the convex program of Eisenberg and Gale which captures Fisher markets with linear utilities, Jain and Vazirani [STOC, 2007] introduced the class of EisenbergGale (EG)...
110
click to vote
CC
2004
Springer
15 years 7 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
146
click to vote
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents a new algorithm for distributed garbage collection and outlines its implementation within the Network Objects system. The algorithm is based on a reference list...