245 search results - page 19 / 49 » Programming Autonomic Systems with Multiple Constraint Store... |
116
click to vote
SAC
2006
ACM
14 years 10 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
89
Voted
IPPS
2002
IEEE
15 years 3 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
103
click to vote
IJCAI
2001
15 years 7 days ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
DSD
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper we present an approach for the mapping optimization of fault-tolerant embedded systems for safetycritical applications. Processes and messages are statically schedul...
IPPS
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a scalable, hierarchical control system for the dynamic resource management of a distributed real-time embedded (DRE) system. This DRE is inspired by the DARPA Adaptive...