336 search results - page 24 / 68 » Simulation Approaches for Strongly Coupled Interconnect Syst... |
CONCUR
2007
Springer
15 years 1 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...
OSDI
2004
ACM
15 years 10 months ago
2004
ACM
Chain replication is a new approach to coordinating clusters of fail-stop storage servers. The approach is intended for supporting large-scale storage services that exhibit high t...
JCNS
2006
14 years 9 months ago
2006
"Equation-free modelling" is a recently-developed technique for bridging the gap between detailed, microscopic descriptions of systems and macroscopic descriptions of the...
DEDS
2002
14 years 9 months ago
2002
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
SIAMAM
2008
14 years 9 months ago
2008
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...