Sciweavers

393 search results - page 20 / 79
» Physical design: mathematical models and methods
Sort
View
VLSID
2002
IEEE
138views VLSI» more  VLSID 2002»
14 years 10 months ago
ETAM++: Extended Transition Activity Measure for Low Power Address Bus Designs
Interconnection networks in Systems-On-Chip begin to have a non-negligible impact on the power consumption of a whole system. This is because of increasing inter-wire capacitances...
Haris Lekatsas, Jörg Henkel
SEDE
2007
13 years 11 months ago
BeLearning: Designing accessible web applications
Flexibility and adaptivity are two of the outstanding characteristics of new media and new technologies. These properties allow new methods to provide physically challenged people...
Helmut Vieritz, Sabina Jeschke
JOC
2011
104views more  JOC 2011»
13 years 24 days ago
On the Security of Oscillator-Based Random Number Generators
Physical random number generators (a.k.a. TRNGs) appear to be critical components of many cryptographic systems. Yet, such building blocks are still too seldom provided with a form...
Mathieu Baudet, David Lubicz, Julien Micolod, Andr...
WSC
2008
14 years 7 days ago
Designing simulation experiments with controllable and uncontrollable factors
In this study we propose a new method for designing computer experiments inspired by the split plot designs used in physical experimentation. The basic layout is that each set of ...
Christian Dehlendorff, Murat Kulahci, Klaus K. And...
VSTTE
2005
Springer
14 years 3 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger