Sciweavers

3130 search results - page 201 / 626
» Design Correctness of Digital Systems
Sort
View
QEST
2010
IEEE
15 years 2 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
CODES
2010
IEEE
15 years 2 months ago
Statistical approach in a system level methodology to deal with process variation
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
Concepción Sanz Pineda, Manuel Prieto, Jos&...
GLVLSI
2007
IEEE
172views VLSI» more  GLVLSI 2007»
15 years 10 months ago
The effect of temperature on cache size tuning for low energy embedded systems
Energy consumption is a major concern in embedded computing systems. Several studies have shown that cache memories account for about 40% or more of the total energy consumed in t...
Hamid Noori, Maziar Goudarzi, Koji Inoue, Kazuaki ...
101
Voted
ICASSP
2010
IEEE
15 years 4 months ago
Modulated wideband converter with non-ideal lowpass filters
We investigate the impact of using non-ideal lowpass filters in the modulated wideband (MWC) converter, which is a recent subNyquist sampling system for sparse wideband analog si...
Yilun Chen, Moshe Mishali, Yonina C. Eldar, Alfred...
JDCTA
2008
535views more  JDCTA 2008»
15 years 4 months ago
Steganography: DCT Coefficients Reparation Technique in JPEG Image
Due to the ever-growing usage of the computer, it has led to a rapid increment in the data that is being exchanged, published and stored in an assortment of digital form. This phe...
Chiew Kang Leng, Jane Labadin, Sarah Flora Samson ...