Sciweavers

2018 search results - page 217 / 404
» On Conceptualization as a Systematic Process
Sort
View
ACSD
2008
IEEE
114views Hardware» more  ACSD 2008»
14 years 4 months ago
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
Kyller Costa Gorgônio, Fei Xia
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
14 years 4 months ago
Model reduction for a class of input-quantized systems in the max-plus algebra
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ï¬...
Whitney Weyerman, Sean Warnick
VTC
2008
IEEE
14 years 4 months ago
A Bit-Mapping Strategy for Joint Iterative Channel Estimation and Turbo-Decoding
Abstract— In this paper, we investigate Turbo-coded transmission over a temporally correlated flat Rayleigh fading channel. Conventionally, channel estimation is performed prior...
Susanne Godtmann, Helge Lüders, Gerd Ascheid,...
CISS
2007
IEEE
14 years 4 months ago
Interference Mitigating in Wireless Networks Using Prior Knowledge
Abstract— We propose a framework to mitigate the interference in high data rate mobile wireless networking. Interference is a fundamental obstacle to achieve high data rates in w...
Kejing Liu, Stephan Bohacek, Javier Garcia-Frias
DFT
2007
IEEE
86views VLSI» more  DFT 2007»
14 years 4 months ago
Production Yield and Self-Configuration in the Future Massively Defective Nanochips
We address two problems in this work, namely, 1) the resilience challenge in the future chips made up of massively defective nanoelements and organized in replicative multicore ar...
Piotr Zajac, Jacques Henri Collet