Sciweavers

1316 search results - page 127 / 264
» Analytic performance models for bounded queueing systems
Sort
View
TCOM
2010
80views more  TCOM 2010»
14 years 12 months ago
A Relay Assisted Cooperative Transmission Protocol for Wireless Multiple Access Systems
Abstract—In this paper, we propose a spectrally efficient cooperative transmission protocol for multiple access scenarios. The key feature is to utilize multi-user diversity and...
Zhiguo Ding, Kin K. Leung, Dennis Goeckel, Donald ...
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
15 years 5 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
COMCOM
2007
78views more  COMCOM 2007»
15 years 1 months ago
On TCP performance over asymmetric satellite links with real-time constraints
Real-time transmission over asymmetric satellite IP links is challenging, since satellite systems commonly exhibit long propagation delays, while bandwidth asymmetry often enforce...
Panagiotis Papadimitriou, Vassilis Tsaoussidis
JMS
2006
90views more  JMS 2006»
15 years 1 months ago
Healthcare Informatics Research: From Data to Evidence-Based Management
Healthcare informatics research is a scientific endeavor that applies information science, computer technology, and statistical modeling techniques to develop decision support syst...
Thomas T. H. Wan
118
Voted
RTSS
2002
IEEE
15 years 6 months ago
A Fast Resource Synthesis Technique for Energy-Efficient Real-Time System
We consider a resource synthesis technique for realtime systems where the energy budget is limited and the performance of the system depends on how resources and energy are used. ...
Dong-In Kang, Stephen P. Crago, Jinwoo Suh