Utilization-Based Admission Control for Scalable Real-Time Communication

Authors:
Byung-Kyu Choi;Dong Xuan;Riccardo Bettati;Wei Zhao;Chengzhi Li
Affiliations:
Department of Computer Science, Michigan Technological University, Houghton, MI 49931-1295, USA bkchoi@mtu.edu;Department of Computer and Information Science, The Ohio State University, Columbus, OH 43210-1277, USA xuan@cis.ohio-state.edu;Department of Computer Science, Texas A&M University, College Station, TX 77843-3112, USA bettati@cs.tamu.edu;Department of Computer Science, Texas A&M University, College Station, TX 77843-3112, USA zhao@cs.tamu.edu;Department of Computer Science, University of Virginia, Charlottesville, VA 22904-4740, USA c14v@cs.virginia.edu
Venue:
Real-Time Systems
Year:
2003

Citing 16
Cited 4

VirtualClock: a new traffic control algorithm for packet-switched networks

ACM Transactions on Computer Systems (TOCS)
A generalized processor sharing approach to flow control in integrated services networks: the single-node case

IEEE/ACM Transactions on Networking (TON)
A generalized processor sharing approach to flow control in integrated services networks: the multiple node case

IEEE/ACM Transactions on Networking (TON)
An upper bound on delay for the VirtualClock service discipline

IEEE/ACM Transactions on Networking (TON)
Exact admission control for networks with a bounded delay service

IEEE/ACM Transactions on Networking (TON)
Providing guaranteed services without per flow management

Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Connection Establishment for Multi-Party Real-Time Communication

NOSSDAV '95 Proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video
Determining End-to-End Delay Bounds in Heterogeneous Networks

NOSSDAV '95 Proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video
Static priority scheduling for ATM networks

RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Rate-Function Scheduling

INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Efficient Admission Control for EDF Schedulers

INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Utilization-Based Admission Control for Real-Time Applications

ICPP '00 Proceedings of the Proceedings of the 2000 International Conference on Parallel Processing
Guaranteeing end-to-end deadlines in ATM networks

ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
Network delay analysis of a class of fair queueing algorithms

IEEE Journal on Selected Areas in Communications
Statistical analysis of the generalized processor sharing scheduling discipline

IEEE Journal on Selected Areas in Communications

Edge-limited scalable QoS flow set-up

Journal of Network and Computer Applications
VoIP: A comprehensive survey on a promising technology

Computer Networks: The International Journal of Computer and Telecommunications Networking
Sink tree-based bandwidth allocation for scalable qos flow set-up

ICOIN'06 Proceedings of the 2006 international conference on Information Networking: advances in Data Communications and Wireless Networks
Dynamic scheduling for scalable media transmission over cdma2000 1xEV-DO broadcast and multicast networks

NETWORKING'05 Proceedings of the 4th IFIP-TC6 international conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The formal verification of a real-time system requires either a proof theoretic or model theoretic approach. Both being applicable to a model of the proposed behavior of the concurrent real-time system. This paper evaluates the use model checking and ...