Sciweavers

5762 search results - page 709 / 1153
» R-tree: A Hardware Implementation
Sort
View
ICCAD
2002
IEEE
107views Hardware» more  ICCAD 2002»
16 years 4 months ago
Theoretical and practical validation of combined BEM/FEM substrate resistance modeling
In mixed-signal designs, substrate noise originating from the digital part can seriously influence the functionality of the analog part. As such, accurately modeling the properti...
Eelco Schrik, Patrick Dewilde, N. P. van der Meijs
ICCAD
2002
IEEE
146views Hardware» more  ICCAD 2002»
16 years 4 months ago
Conflict driven learning in a quantified Boolean Satisfiability solver
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
Lintao Zhang, Sharad Malik
ICCAD
2001
IEEE
185views Hardware» more  ICCAD 2001»
16 years 4 months ago
Application-Driven Processor Design Exploration for Power-Performance Trade-off Analysis
1 - This paper presents an efficient design exploration environment for high-end core processors. The heart of the proposed design exploration framework is a two-level simulation e...
Diana Marculescu, Anoop Iyer
ICCAD
2001
IEEE
163views Hardware» more  ICCAD 2001»
16 years 4 months ago
Predicting the Performance of Synchronous Discrete Event Simulation Systems
In this paper we propose a model to predict the performance of synchronous discrete event simulation. The model considers parameters including the number of active objects per cyc...
Jinsheng Xu, Moon-Jung Chung
TEI
2010
ACM
268views Hardware» more  TEI 2010»
16 years 1 months ago
DisplayObjects: prototyping functional physical interfaces on 3d styrofoam, paper or cardboard models
This paper introduces DisplayObjects, a rapid prototyping workbench that allows functional interfaces to be projected onto real 3D physical prototypes. DisplayObjects uses a Vicon...
Eric Akaoka, Tim Ginn, Roel Vertegaal