4074 search results - page 647 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
147
click to vote
ICCAD
2006
IEEE
16 years 13 days ago
2006
IEEE
In addition to wirelength, modern placers need to consider various constraints such as preplaced blocks and density. We propose a high-quality analytical placement algorithm consi...
190
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
240
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Molecular database search tools need statistical models to assess the significance for the resulting hits. In the classical approach one asks the question how probable...
193
click to vote
3DIM
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper presents a new registration algorithm of a 2D image and a 3D geometrical model, which is robust for initial registration errors, for reconstructing a realistic 3D model...
188
click to vote
IEEEPACT
2006
IEEE
16 years 12 days ago
2006
IEEE
As chip multiprocessors (CMPs) become increasingly mainstream, architects have likewise become more interested in how best to share a cache hierarchy among multiple simultaneous t...