4018 search results - page 14 / 804 » Process algebra for performance evaluation |
90
Voted
TPDS
2008
14 years 11 months ago
2008
This paper proposes a new methodology to model the distribution of finite size content to a group of users connected through an overlay network. Our methodology describes the distr...
ARTS
1999
Springer
15 years 4 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
ISHPC
2003
Springer
15 years 4 months ago
2003
Springer
Most cluster systems used in high performance computing do not allow process relocation at run-time. Finding an allocation that results in minimal completion time is NP-hard and (n...
108
click to vote
AINA
2009
IEEE
14 years 9 months ago
2009
IEEE
Improvements at the physical network layer have enabled technologies such as 10 Gigabit Ethernet. Single core end-systems are unable to fully utilise these networks, due to limite...
123
click to vote
CL
2007
Springer
14 years 11 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...