3584 search results - page 246 / 717 » Parallel Computing of Thermoelasticity Problems |
116
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
We introduce a new method to estimate the Java object activity in a distributed context of irregular applications. This method uses an observation mechanism which is itself a part...
111
Voted
IPPS
1998
IEEE
15 years 6 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...
109
Voted
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
112
Voted
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
104
click to vote
PPSN
2000
Springer
15 years 6 months ago
2000
Springer
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...