Sciweavers

21 search results - page 4 / 5
» erlang 2008
Sort
View
ERLANG
2008
ACM
13 years 7 months ago
Early fault detection with model-based testing
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
Jonas Boberg
COORDINATION
2008
Springer
13 years 7 months ago
Actors with Multi-headed Message Receive Patterns
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert
CN
2006
75views more  CN 2006»
13 years 5 months ago
Dynamic online QoS routing schemes: Performance and bounds
Several dynamic QoS routing techniques have been recently proposed for new IP networks based on label forwarding. However, no extensive performance evaluation and comparison is av...
Antonio Capone, Luigi Fratta, Fabio Martignon
QUESTA
2008
89views more  QUESTA 2008»
13 years 5 months ago
The asymptotic variance rate of the output process of finite capacity birth-death queues
We analyze the output process of finite capacity birth-death Markovian queues. We develop a formula for the asymptotic variance rate of the form + vi where is the rate of outputs...
Yoni Nazarathy, Gideon Weiss
JFP
2008
72views more  JFP 2008»
13 years 5 months ago
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin ...