Sciweavers

4 search results - page 1 / 1
» scp 2000
Sort
View
69
Voted
SCP
2000
73views more  SCP 2000»
14 years 9 months ago
Generalising monads to arrows
John Hughes
98
Voted
SCP
2000
135views more  SCP 2000»
14 years 9 months ago
A calculus of functional BSP programs
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
Frédéric Loulergue, Gaétan Ha...
105
Voted
ISN
2000
Springer
158views Communications» more  ISN 2000»
15 years 1 months ago
Load Balancing for a Distributed CORBA-Based SCP
This paper examines load balancing issues relating to a distributed CORBA-based Service Control Point. Two types of load balancing strategies are explored through simulation studie...
Conor McArdle, Niklas Widell, Christian Nyberg, Er...
109
Voted
SCP
2000
119views more  SCP 2000»
14 years 9 months ago
Automated compositional Markov chain generation for a plain-old telephone system
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
Holger Hermanns, Joost-Pieter Katoen