Sciweavers

5128 search results - page 114 / 1026
» Discrete Component Analysis
Sort
View
TCS
2002
15 years 9 days ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
VTC
2008
IEEE
108views Communications» more  VTC 2008»
15 years 7 months ago
Discrete-Rate Adaptive Multiuser Scheduling for MIMO-OFDM Systems
Abstract— In this paper, we present a multiuser scheduling technique for the MIMO-OFDM system over multipath frequency-selective fading channels to exploit the multiuser, space a...
Mohammad Torabi, Wessam Ajib, David Haccoun
107
Voted
ISCAS
2007
IEEE
114views Hardware» more  ISCAS 2007»
15 years 7 months ago
On the Suitability of Discrete-Time Receivers for Software-Defined Radio
—CMOS radio receiver architectures, based on radio frequency (RF) sampling followed by discrete-time (D-T) signal processing via switched-capacitor circuits, have recently been p...
Zhiyu Ru, Eric A. M. Klumperink, Bram Nauta
76
Voted
DATE
2006
IEEE
94views Hardware» more  DATE 2006»
15 years 6 months ago
Procrastinating voltage scheduling with discrete frequency sets
This paper presents an efficient method to find the optimal intra-task voltage/frequency scheduling for single tasks in practical real-time systems using statistical workload in...
Zhijian Lu, Yan Zhang, Mircea R. Stan, John Lach, ...
118
Voted
VALUETOOLS
2006
ACM
149views Hardware» more  VALUETOOLS 2006»
15 years 6 months ago
Tail asymptotics for discrete event systems
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
Marc Lelarge