2488 search results - page 214 / 498 » Distributed Non-binary Constraints |
179
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
148
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper addresses a novel coordination problem for distributed agents in a discrete-event setting. We introduce and study a predicate coordination problem as the problem of dist...
169
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
171
Voted
EDO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we describe a new approach for increasing the reliability of ubiquitous software systems. This is achieved by executing tests at run-time. The individual software co...
154
click to vote
EUROPAR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. The serialization constraints induced by the detection and enforcement of true data dependences have always been regarded as requirements for correct execution. We propos...