CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
87
Voted
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
111
click to vote
FOCS
2004
IEEE
15 years 7 months ago
2004
IEEE
We consider the problem of selecting threshold times to transition a device to low-power sleep states during an idle period. The two-state case in which there is a single active a...
112
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
114
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...