Sciweavers

1824 search results - page 137 / 365
» Practices and Techniques for Engineering Process Capability ...
Sort
View
EMSOFT
2007
Springer
15 years 10 months ago
Methods for multi-dimensional robustness optimization in complex embedded systems
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
Arne Hamann, Razvan Racu, Rolf Ernst
RE
2001
Springer
15 years 9 months ago
A Requirements Negotiation Model Based on Multi-Criteria Analysis
Many software projects have failed because their requirements were poorly negotiated among stakeholders. Requirements negotiation is more critical than other factors such as tools...
Hoh In, David Olson, Tom Rodgers
VMV
2000
167views Visualization» more  VMV 2000»
15 years 5 months ago
Voxelisation: Modelling for Volume Graphics
Voxelisation is the term given to the process of converting data from one source type into a three dimensional volume of data values. The techniques known collectively as volume v...
Mark W. Jones, Richard Satherley
ICCAD
2007
IEEE
125views Hardware» more  ICCAD 2007»
16 years 1 months ago
A methodology for timing model characterization for statistical static timing analysis
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
Zhuo Feng, Peng Li
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 10 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff