Sciweavers

6102 search results - page 490 / 1221
» Modelling Environments for Distributed Simulation
Sort
View
IAJIT
2010
166views more  IAJIT 2010»
15 years 5 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
ENTCS
2006
154views more  ENTCS 2006»
15 years 6 months ago
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
Gul A. Agha, José Meseguer, Koushik Sen
ISCAS
2006
IEEE
108views Hardware» more  ISCAS 2006»
16 years 25 days ago
Design methodology for global resonant H-tree clock distribution networks
Abstract—Design guidelines for resonant H-tree clock distribution networks are presented in this paper. A distributed model of a two-level resonant H-tree structure is described,...
Jonathan Rosenfeld, Eby G. Friedman
ICDCS
2006
IEEE
16 years 26 days ago
Reputation-Based Scheduling on Unreliable Distributed Infrastructures
This paper presents a design and analysis of scheduling techniques to cope with the inherent unreliability and instability of worker nodes in large-scale donation-based distribute...
Jason D. Sonnek, Mukesh Nathan, Abhishek Chandra, ...
SIGMETRICS
2002
ACM
107views Hardware» more  SIGMETRICS 2002»
15 years 6 months ago
Passage time distributions in large Markov chains
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
Peter G. Harrison, William J. Knottenbelt