1743 search results - page 215 / 349 » Generalized Modal Satisfiability |
127
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
151
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...
119
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
105
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
115
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. This paper proposes a method of characterizing correlation of signal tra...