Sciweavers

628 search results - page 37 / 126
» Towards High-Level Programming for Distributed Problem Solvi...
Sort
View
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
15 years 3 months ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
SFP
2000
14 years 11 months ago
Detecting common elements of types
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
Manfred Widera, Christoph Beierle
COR
2010
177views more  COR 2010»
14 years 9 months ago
Hybridization of very large neighborhood search for ready-mixed concrete delivery problems
Companies in the concrete industry are facing the following scheduling problem on a daily basis: concrete produced at several plants has to be delivered at customers' constru...
Verena Schmid, Karl F. Doerner, Richard F. Hartl, ...
71
Voted
MMAS
2004
Springer
15 years 3 months ago
Towards Fault-Tolerant Massively Multiagent Systems
Abstract. In order to construct and deploy massively multiagent systems, we must address one of the fundamental issues of distributed systems, the possibility of partial failures. ...
Zahia Guessoum, Jean-Pierre Briot, Nora Faci
IPPS
1998
IEEE
15 years 1 months ago
Toward Embedded Development from Advanced Khoros
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...
Joe Fogler, Thomas Robey, Mark Young