Sciweavers

3335 search results - page 261 / 667
» A Unified Approach to Modeling and Programming
Sort
View
CASES
2006
ACM
16 years 21 days ago
Automatic performance model construction for the fast software exploration of new hardware designs
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
John Cavazos, Christophe Dubach, Felix V. Agakov, ...
TCAD
2008
136views more  TCAD 2008»
15 years 6 months ago
A Geometric Programming-Based Worst Case Gate Sizing Method Incorporating Spatial Correlation
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...
Jaskirat Singh, Zhi-Quan Luo, Sachin S. Sapatnekar
CBSE
2010
Springer
15 years 10 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten
ER
2003
Springer
142views Database» more  ER 2003»
15 years 12 months ago
An OPM-Based Metamodel of System Development Process
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
Dov Dori, Iris Reinhartz-Berger
WSC
2004
15 years 8 months ago
Parallel Discrete Event Simulation of Space Shuttle Operations
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
José A. Sepúlveda, Luis C. Rabelo, M...