5898 search results - page 549 / 1180 » Parallel Computing Environments and Methods |
185
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
160
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
197
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...
156
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a generalized forward recovery checkpointing scheme, with lookahead execution and rollback validation. This method takes advantage of voting and comparison on multiple v...
252
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a new fault-tolerant scheduling algorithm for multiprocessor hard-real-time systems. The so called partitioning method is used to schedule a set of tasks in a ...