Sciweavers

12659 search results - page 414 / 2532
» The distributed breakout algorithms
Sort
View
FMSD
2006
140views more  FMSD 2006»
15 years 7 months ago
Dealing with practical limitations of distributed timed model checking for timed automata
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
Víctor A. Braberman, Alfredo Olivero, Ferna...
CEC
2009
IEEE
15 years 5 months ago
Optimisation of the Beer Distribution Game with complex customer demand patterns
This paper examines a simulation of the Beer Distribution Game and a number of optimisation approaches to this game. This well known game was developed at MIT in the 1960s and has ...
Hongliang Liu, Enda Howley, Jim Duggan
EGC
2005
Springer
16 years 1 months ago
Optimising Parallel Applications on the Grid Using Irregular Array Distributions
In this paper we propose a new approach for scheduling data parallel applications on the Grid using irregular array distributions. We implement the scheduler as a new case study fo...
Radu Prodan, Thomas Fahringer
IPPS
2002
IEEE
16 years 15 days ago
A New Estimation Method for Distributed Java Object Activity
We introduce a new method to estimate the Java object activity in a distributed context of irregular applications. This method uses an observation mechanism which is itself a part...
Amer Bouchi, Richard Olejnik, Bernard Toursel
ERLANG
2007
ACM
15 years 11 months ago
Programming distributed Erlang applications: pitfalls and recipes
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...
Hans Svensson, Lars-Åke Fredlund