2470 search results - page 74 / 494 » Liveness-Preserving Simulation Relations |
148
click to vote
HIPC
2003
Springer
15 years 9 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...
134
click to vote
TOMACS
2002
15 years 3 months 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...
115
click to vote
DSRT
2000
IEEE
15 years 8 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...
121
click to vote
JCC
2002
15 years 3 months 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...
131
click to vote
JLP
2010
15 years 2 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...