4480 search results - page 419 / 896 » Prototyping Completion with Constraints Using Computational ... |
180
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
196
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
Painters and illustrators commonly sketch vanishing points and lines to guide the construction of perspective images. We present a tool that gives users the ability to manipulate ...
168
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
184
Voted
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— There are many applications where a timely response to an important event is needed. Often such response can require significant computation and possibly communication...
184
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
As industry moves towards many-core chips, networks-on-chip (NoCs) are emerging as the scalable fabric for interconnecting the cores. With power now the first-order design constr...