Sciweavers

314 search results - page 1 / 63
» Concurrently Decomposable Constraint Systems
Sort
View
MATES
2009
Springer
13 years 11 months ago
Concurrently Decomposable Constraint Systems
In constraint satisfaction, decomposition is a common technique to split a problem in a number of parts in such a way that the global solution can be efficiently assembled from th...
Cees Witteveen, Wiebe van der Hoek, Nico Roos
ATAL
2011
Springer
12 years 4 months ago
Decomposing constraint systems: equivalences and computational properties
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
Wiebe van der Hoek, Cees Witteveen, Michael Wooldr...
HASE
1997
IEEE
13 years 8 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
CONSTRAINTS
2008
114views more  CONSTRAINTS 2008»
13 years 4 months ago
Modeling Biological Systems in Stochastic Concurrent Constraint Programming
Luca Bortolussi, Alberto Policriti
ESTIMEDIA
2007
Springer
13 years 10 months ago
Run-time Task Overlapping on Multiprocessor Platforms
Today’s embedded applications often consist of multiple concurrent tasks. These tasks are decomposed into subtasks which are in turn assigned and scheduled on multiple different...
Zhe Ma, Daniele Paolo Scarpazza, Francky Catthoor