1795 search results - page 34 / 359 » On the Complexity of Circuit Satisfiability |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...
DAC
1994
ACM
14 years 23 days ago
1994
ACM
Asynchronous circuits are crucial in designing low power and high performance digital systems. In this paper, we present an ecient modular partitioning approach for asynchronous c...
ISCAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper proposes a novel multiscroll chaotic system, which is different from Chua’s circuit and all its variants in most aspects of the algebraic form, circuit des...
ASPDAC
2001
ACM
14 years 9 days ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
APPROX
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies th...