1451 search results - page 24 / 291 » Order independence and rationalizability |
158
click to vote
IPPS
2007
IEEE
16 years 18 days ago
2007
IEEE
Many large-scale production applications often have very long executions times and require periodic data checkpoints in order to save the state of the computation for program rest...
164
click to vote
EMSOFT
2007
Springer
16 years 14 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
164
click to vote
WEA
2005
Springer
15 years 11 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
146
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. For many applications, cache misses are the primary performance bottleneck. Even though much research has been performed on automatically optimizing cache behavior at the...
147
click to vote
ICCL
1998
IEEE
15 years 10 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...