Sciweavers

15636 search results - page 25 / 3128
» Modelling by supersaturated designs
Sort
View
QEST
2010
IEEE
14 years 11 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
ICCAD
2008
IEEE
125views Hardware» more  ICCAD 2008»
15 years 10 months ago
A succinct memory model for automated design debugging
— In today’s complex SoC designs, verification and debugging are becoming ever more crucial and increasingly timeconsuming tasks. The prevalence of embedded memories adds to t...
Brian Keng, Hratch Mangassarian, Andreas G. Veneri...
LAWEB
2006
IEEE
15 years 7 months ago
Model-Based Design of Volatile Functionality in Web Applications
In this paper we present a model-based approach to integrate dynamic and volatile functionality in Web Applications. Our approach comprises an extension to the OOHDM design method...
Gustavo Rossi, Andres Nieto, Luciano Mengoni, Nahu...
DAC
2006
ACM
15 years 7 months ago
Modeling and minimization of PMOS NBTI effect for robust nanometer design
Negative bias temperature instability (NBTI) has become the dominant reliability concern for nanoscale PMOS transistors. In this paper, a predictive model is developed for the deg...
Rakesh Vattikonda, Wenping Wang, Yu Cao
ICCV
2007
IEEE
16 years 3 months ago
Enabling Users to Guide the Design of Robust Model Fitting Algorithms
Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge in model fitting is...
Matthias Wimmer, Freek Stulp, Bernd Radig