Sciweavers

5128 search results - page 114 / 1026
» Discrete Component Analysis
Sort
View
120
Voted
TCS
2002
15 years 3 months 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 10 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
130
Voted
ISCAS
2007
IEEE
114views Hardware» more  ISCAS 2007»
15 years 10 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
98
Voted
DATE
2006
IEEE
94views Hardware» more  DATE 2006»
15 years 9 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, ...
134
Voted
VALUETOOLS
2006
ACM
149views Hardware» more  VALUETOOLS 2006»
15 years 9 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