Sciweavers

6677 search results - page 187 / 1336
» Distributed Simulation of MAS
Sort
View
HPCN
1995
Springer
15 years 5 months ago
Mermaid: modelling and evaluation research in MIMD architecture design
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
Andy D. Pimentel, J. van Brummen, T. Papathanassia...
125
Voted
SPIN
2001
Springer
15 years 6 months ago
Transformations for Model Checking Distributed Java Programs
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...
Scott D. Stoller, Yanhong A. Liu
ACSD
2008
IEEE
107views Hardware» more  ACSD 2008»
15 years 4 months ago
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
Jasen Markovski, Erik P. de Vink
156
Voted
ICC
2009
IEEE
171views Communications» more  ICC 2009»
15 years 7 hour ago
An Accurate Approximation to the Distribution of the Sum of Equally Correlated Nakagami-m Envelopes and Its Application in Equal
We present a novel and accurate approximation for the distribution of the sum of equally correlated Nakagami-m variates. Ascertaining on this result we study the performance of Equ...
Zoran Hadzi-Velkov, Nikola Zlatanov, George K. Kar...
CCGRID
2005
IEEE
15 years 7 months ago
A grid-based problem solving environment for GECEM
Grid-enabled portals are becoming increasingly popular as a means to create Grid-based problem-solving environments (PSEs) that allow scientists to access distributed resources, a...
Maria Lin, David W. Walker, Yu Chen, Jason W. Jone...