Sciweavers

12032 search results - page 763 / 2407
» Simulation of Manufacturing Systems
Sort
View
ICCD
2007
IEEE
98views Hardware» more  ICCD 2007»
16 years 4 months ago
Priority-monotonic energy management for real-time systems with reliability requirements
Considering the impact of the popular energy management technique Dynamic Voltage and Frequency Scaling (DVFS) on system reliability, the Reliability-Aware Power Management (RA-PM...
Dakai Zhu, Xuan Qi, Hakan Aydin
VMCAI
2009
Springer
16 years 2 months ago
Model-Checking the Linux Virtual File System
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
Andy Galloway, Gerald Lüttgen, Jan Tobias M&u...
GLOBECOM
2009
IEEE
16 years 2 months ago
A Two-Stage Precoding Method Based on Interference Alignment for Interference Channel Systems
— It was shown by Cadambe and Jafar that the interference alignment (IA) algorithm achieves the theoretical bound on degrees of freedom (DOF) for interference channel systems. Ho...
Hakjea Sung, Seokhwan Park, Kyoung-Jae Lee, Inkyu ...
GLOBECOM
2009
IEEE
16 years 2 months ago
Slepian-Based Serial Estimation of Time-Frequency Variant Channels for MIMO-OFDM Systems
Abstract—This paper proposes a low-complexity twodimensional channel estimator for MIMO-OFDM systems derived from a time-frequency variant channel estimator previously proposed. ...
Pierluigi Salvo Rossi, Ralf R. Muller, Ove Edfors
ICC
2009
IEEE
135views Communications» more  ICC 2009»
16 years 2 months ago
Linear Precoding for Multiuser MIMO Systems with Multiple Base Stations
Abstract—Linear precoding for multiuser multiple input multiple output (MIMO) cellular systems has generally focused on a single isolated cell. A crucial tool in algorithm develo...
Imad H. Azzam, Raviraj Adve