1743 search results - page 156 / 349 » Generalized Modal Satisfiability |
107
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper we generate gaits for dynamics systems that are subject to non-holonomic velocity constraints. These systems are referred to as mixed non-holonomic systems. The m...
106
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
105
Voted
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
139
click to vote
DSD
2005
IEEE
15 years 9 months ago
2005
IEEE
1 This paper presents a method for power-constrained system-on-chip test scheduling in an abort-on-first-fail environment where the test is terminated as soon as a fault is detecte...
130
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...