Sciweavers

3130 search results - page 217 / 626
» Design Correctness of Digital Systems
Sort
View
ISCA
2010
IEEE
305views Hardware» more  ISCA 2010»
15 years 9 months ago
Rethinking DRAM design and organization for energy-constrained multi-cores
DRAM vendors have traditionally optimized the cost-perbit metric, often making design decisions that incur energy penalties. A prime example is the overfetch feature in DRAM, wher...
Aniruddha N. Udipi, Naveen Muralimanohar, Niladris...
ICDCSW
2002
IEEE
15 years 9 months ago
Separating Introspection and Intercession to Support Metamorphic Distributed Systems
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
Eric P. Kasten, Philip K. McKinley, Seyed Masoud S...
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 8 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
GLOBECOM
2008
IEEE
15 years 10 months ago
Numerical Performance Evaluation of OFDM Systems Affected by Transmitter Nonlinearities, Phase Noise and Channel Estimation Erro
Abstract—In this contribution we present a numerical approach to evaluate the bit error rate and mutual information of OFDM links affected by transmitter nonlinearities, phase no...
Steffen Bittner, Marco Krondorf, Gerhard Fettweis
ASPDAC
2004
ACM
169views Hardware» more  ASPDAC 2004»
15 years 9 months ago
Design of real-time VGA 3-D image sensor using mixed-signal techniques
— We have developed the first real-time 3-D image sensor with VGA pixel resolution using mixed-signal techniques to achieve high-speed and high-accuracy range calculation based ...
Yusuke Oike, Makoto Ikeda, Kunihiro Asada