2470 search results - page 74 / 494 » Liveness-Preserving Simulation Relations |
118
click to vote
HIPC
2003
Springer
15 years 5 months ago
2003
Springer
High performance computers currently under construction, such as IBM’s Blue Gene/L, consisting of large numbers (64K) of low cost processing elements with relatively small local...
97
Voted
TOMACS
2002
15 years 6 days ago
2002
In this paper we consider a two-node tandem Jackson network. Starting from a given state, we are interested in estimating the probability that the content of the second buffer exc...
84
Voted
DSRT
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes the addition of an extra piece of software, a rollback manager, to implement state saving and rollback management for optimistic federates in the High Level A...
98
Voted
JCC
2002
15 years 7 days ago
2002
: The advantage of the multicanonical (MUCA) simulation method of Berg and coworkers over the conventional Metropolis method is in its ability to move a system effectively across e...
91
Voted
JLP
2010
14 years 11 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...