ICS
2004
Tsinghua U.
14 years 1 months ago
2004
Tsinghua U.
ICS
2004
Tsinghua U.
14 years 1 months ago
2004
Tsinghua U.
ICS
2004
Tsinghua U.
14 years 1 months ago
2004
Tsinghua U.
Given the scale of massively parallel systems, occurrence of faults is no longer an exception but a regular event. Periodic checkpointing is becoming increasingly important in the...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
We first consider infinite two-player games on pushdown graphs. In previous work, Cachat, Duparc and Thomas [4] have presented a winning decidable condition that is Σ3-complete ...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
Consider the classical online scheduling problem where jobs that arrive one by one are assigned to identical parallel machines with the objective of minimizing the makespan. We gen...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...