Sciweavers

1294 search results - page 81 / 259
» A Conditional Scheduling Approach to Designing Real-Time Sys...
Sort
View
RTAS
2008
IEEE
15 years 10 months ago
Schedulability Analysis of MSC-based System Models
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty
RTCSA
2005
IEEE
15 years 9 months ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
DAC
2011
ACM
14 years 4 months ago
ChronOS Linux: a best-effort real-time multiprocessor Linux kernel
We present ChronOS Linux, a best-effort real-time Linux kernel for chip multiprocessors (CMPs). ChronOS addresses the intersection of three problem spaces: a) OS-support for obta...
Matthew Dellinger, Piyush Garyali, Binoy Ravindran
ICC
2007
IEEE
103views Communications» more  ICC 2007»
15 years 10 months ago
On Mobility and Cross-Layer Scheduling
— In this paper we investigate the impact of mobility on downlink scheduling in multi-user multiple antenna systems. We formulate several different designs of the cross-layer sch...
Meng Zhang, Vincent Lau, Chin-Tau Lea
ICC
2007
IEEE
116views Communications» more  ICC 2007»
15 years 10 months ago
A New Cross Layer Approach to QoS-Aware Proportional Fairness Packet Scheduling in the Downlink of OFDM Wireless Systems
—OFDM systems are the major cellular platforms for supporting ubiquitous high performance mobile applications. However, there remain a number of research challenges to be tackled...
Zhen Kong, Jiangzhou Wang, Yu-Kwong Kwok