971 search results - page 102 / 195 » Approximate Satisfiability and Equivalence |
110
Voted
VLSI
2010
Springer
14 years 11 months ago
2010
Springer
—This paper proposes a novel technique to exploit the high bandwidth offered by through silicon vias (TSVs). In the proposed approach, synchronous parallel 3D links are replaced ...
93
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The paper presents a methodology to enhance the stiffness analysis of parallel manipulators with parallelogram-based linkage. It directly takes into account the influence...
84
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
In an implicit combinatorial optimization problem, the constraints are not enumerated explicitly but rather stated implicitly through equations, other constraints or auxiliary alg...
128
Voted
FOCM
2011
14 years 7 months ago
2011
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
84
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—We consider a wireless network of n nodes that communicate over a common wireless medium under some interference constraints. Our work is motivated by the need for an efficient...