2607 search results - page 392 / 522 » Complete Functional Synthesis |
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
—We present in this paper a fast and stable global router called NTHU-Route 2.0 that improves the solution quality and runtime of a state-of-the-art router, NTHU-Route, by the fo...
117
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we propose a novel analog design optimization methodology to address two key aspects of top-down system-level design: (1) how to optimally compare and select analog ...
118
Voted
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
We investigate appropriate regimes for transmission line propagation of signals on digital integrated circuits. We start from exact solutions to the transmission line equations pr...
190
Voted
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
94
Voted
HYBRID
2009
Springer
15 years 9 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...