Sciweavers

674 search results - page 107 / 135
» A method proposal for architectural reliability evaluation
Sort
View
ISVLSI
2005
IEEE
115views VLSI» more  ISVLSI 2005»
15 years 3 months ago
High Speed Max-Log-MAP Turbo SISO Decoder Implementation Using Branch Metric Normalization
The authors present a turbo soft-in soft-out (SISO) decoder based on Max-Log maximum a posteriori (ML-MAP) algorithm implemented with sliding window (SW) method. A novel technique...
J. H. Han, Ahmet T. Erdogan, Tughrul Arslan
DATE
2003
IEEE
154views Hardware» more  DATE 2003»
15 years 3 months ago
Packetized On-Chip Interconnect Communication Analysis for MPSoC
Interconnect networks play a critical role in shared memory multiprocessor systems-on-chip (MPSoC) designs. MPSoC performance and power consumption are greatly affected by the pac...
Terry Tao Ye, Luca Benini, Giovanni De Micheli
ICMI
2010
Springer
196views Biometrics» more  ICMI 2010»
14 years 7 months ago
Component-based high fidelity interactive prototyping of post-WIMP interactions
In order to support interactive high-fidelity prototyping of postWIMP user interactions, we propose a multi-fidelity design method based on a unifying component-based model and su...
Jean-Yves Lionel Lawson, Mathieu Coterot, Cyril Ca...
IEEESCC
2010
IEEE
14 years 7 months ago
BPEL Remote Objects: Integrating BPEL Processes into Object-Oriented Applications
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
Marvin Ferber, Thomas Rauber, Sascha Hunold
DAC
2003
ACM
15 years 10 months ago
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Br...