5180 search results - page 249 / 1036 » Concurrency, Time, and Constraints |
187
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
187
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
182
Voted
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Sets of multi-view images that capture plenoptic information from different viewpoints are typically related by geometric constraints. The proper analysis of these constraints is ...
161
click to vote
FSEN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
167
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In designing bus based systems with parallel and pipelined architecture, it is important to derive a real time budget (a specified execution time limit) for each task of a bus bas...