Sciweavers

621 search results - page 2 / 125
» Applying Prolog to Develop Distributed Systems
Sort
View
ICLP
2001
Springer
13 years 10 months ago
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
This paper describes the development of the PALS system, an implementation of Prolog that efficiently exploits or-parallelism on share-nothing platforms. PALS makes use of a novel ...
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, G...
ATAL
2004
Springer
13 years 11 months ago
Applying Distributed Adaptive Optimization to Digital Car Body Development
Abstract. Companies in today’s automotive industry are under immense competitive pressure to reduce the length of their product development cycle from initial concept to begin of...
Sven Brueckner, Richard Gerth
PPDP
2004
Springer
13 years 11 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
SASO
2010
IEEE
13 years 3 months ago
Experience Report in Developing and Applying a Method for Self-Organisation to Agile Manufacturing
The design and implementation of distributed, self-organising and self-adaptive systems are challenging. In this article we report on our experience gained during the development o...
Giovanna Di Marzo Serugendo, Regina Frei