Sciweavers

5707 search results - page 262 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
160
Voted
VTC
2006
IEEE
113views Communications» more  VTC 2006»
16 years 21 days ago
On the Calculation of OFDM Error Performance with Phase Noise in AWGN and Fading Channels
Oscillator phase noise (PN) in orthogonal frequency division multiplexing (OFDM) systems can cause severe performance degradation. In contrary to the assumptions made previously, r...
Himal A. Suraweera, Xiaolin Zhou, Jean Armstrong
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
15 years 11 months ago
Efficient analog circuit synthesis with simultaneous yield and robustness optimization
This paper presents an efficient statistical design methodology that allows simultaneous sizing for performance and optimization for yield and robustness of analog circuits. The s...
Geert Debyser, Georges G. E. Gielen
DAC
1994
ACM
15 years 10 months ago
Automatic Verification of Pipelined Microprocessors
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
Vishal Bhagwati, Srinivas Devadas
HCI
2007
15 years 8 months ago
Human Communication Based on Icons in Crisis Environments
In recent years, we have developed an icon-based communication interface to represent concepts and ideas. Users can create messages to communicate with others using a spatial arran...
Siska Fitrianie, Dragos Datcu, Léon J. M. R...
MCU
2004
59views Hardware» more  MCU 2004»
15 years 8 months ago
On the Complexity of Universal Programs
Abstract. This paper provides a framework enabling to define and determine the complexity of various universal programs U for various machines. The approach consists of first defin...
Alain Colmerauer