6514 search results - page 848 / 1303 » Low-Knowledge Algorithm Control |
130
click to vote
ICCAD
1993
IEEE
15 years 8 months ago
1993
IEEE
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...
130
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
At the intersection of robotics, computational geometry, and manufacturingengineering, we have identifieda collection of research problems with near-term industrial applications. ...
164
click to vote
CSCW
1994
ACM
15 years 8 months ago
1994
ACM
The need to merge different versions of an object toa common state arises in collaborative computing due to several reasons including optimistic concurrency control, asynchronous ...
134
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
161
click to vote
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper addresses the design of multi-mode architectures for digital signal processing applications. We present a dedicated design flow and its associated high-level synthesis t...