5180 search results - page 164 / 1036 » Concurrency, Time, and Constraints |
147
click to vote
IJCAI
2003
15 years 8 months ago
2003
Many optimization problems can be expressed us ing some form of soft constraints, where different measures of desirability arc associated with differ ent combinations of domai...
181
click to vote
INFORMS
2010
15 years 3 months ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
194
click to vote
CHARME
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
173
click to vote
RTAS
2007
IEEE
16 years 24 days ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
194
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...