Sciweavers

17409 search results - page 197 / 3482
» Oblio: Design and Performance
Sort
View
198
Voted
QEST
2010
IEEE
15 years 3 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
SEAL
2010
Springer
15 years 4 months ago
Generating Sequential Space-Filling Designs Using Genetic Algorithms and Monte Carlo Methods
In this paper, the authors compare a Monte Carlo method and an optimization-based approach using genetic algorithms for sequentially generating space-filling experimental designs....
Karel Crombecq, Tom Dhaene
ICASSP
2011
IEEE
14 years 9 months ago
Optimum chip pulse shape design for timing synchronization
In this work a systematic methodology is presented to design optimum chip pulse shapes for DS-CDMA systems for timing synchronization. A nonlinear bi-objective problem with additi...
Felix Antreich, Josef A. Nossek
CHIMIT
2007
ACM
15 years 10 months ago
Design guidelines for system administration tools developed through ethnographic field studies
Information Technology system administrators (sysadmins) perform the crucial and never-ending work of maintaining the technical infrastructure on which our society depends. Comput...
Eben M. Haber, John H. Bailey
DATE
2004
IEEE
115views Hardware» more  DATE 2004»
15 years 9 months ago
Aspects of Formal and Graphical Design of a Bus System
This study shows the derivation of a local segmented bus arbiter from an original single segment bus arbiter. The operations are performed in the formal framework of action system...
Tiberiu Seceleanu, Tomi Westerlund