Sciweavers

9698 search results - page 150 / 1940
» models 2010
Sort
View
TVLSI
2010
15 years 1 months ago
Accurate Predictive Interconnect Modeling for System-Level Design
Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, ...
SMI
2010
IEEE
159views Image Analysis» more  SMI 2010»
15 years 4 months ago
X-maps: An Efficient Model for Non-manifold Modeling
Abstract--Many representation schemes have been proposed to deal with non-manifold and mixed dimensionalities objects. A majority of those models are based on incidence graphs and ...
David Cazier, Pierre Kraemer
ENDM
2000
174views more  ENDM 2000»
15 years 6 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
ENTCS
2010
113views more  ENTCS 2010»
15 years 6 months ago
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
Dan R. Ghica, Alex Smith