174 search results - page 18 / 35 » The AllDifferent Constraint with Precedences |
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
This paper studies a general class of formations of unicycle robots. One of the robots plays the role of the leader and the formation is induced through a constraint function F tha...
AUSSOIS
2001
Springer
13 years 12 months ago
2001
Springer
We discuss fast exponential time solutions for NP-complete problems. We survey known results and approaches, we provide pointers to the literature, and we discuss several open prob...
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...
CAGD
2008
13 years 7 months ago
2008
In the present paper we give account of an effort that aimed at the unification of the whole geometric preprocessing that preceded the wind tunnel readings with a realistic airpla...
RTAS
2010
IEEE
13 years 5 months ago
2010
IEEE
While most prior work on multiprocessor real-time scheduling focuses on independent tasks, dependencies due to non-preemptive sections, suspensions, and pipelinebased precedence c...