Sciweavers

7526 search results - page 256 / 1506
» The Design and Implementation of the A2QM3 System
Sort
View
EJWCN
2010
141views more  EJWCN 2010»
15 years 1 months ago
Scheduling Heterogeneous Wireless Systems for Efficient Spectrum Access
The spectrum scarcity problem emerged in recent years, due to unbalanced utilization of RF (radio frequency) bands in the current state of wireless spectrum allocations. Spectrum a...
Lichun Bao, Shenghui Liao
TPHOL
1998
IEEE
15 years 11 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
EUROPAR
2010
Springer
15 years 7 months ago
Toward Real-Time, Many-Task Applications on Large Distributed Systems
In the age of Grid, Cloud, volunteer computing, massively parallel applications are deployed over tens or hundreds of thousands of resources over short periods of times to complete...
Sangho Yi, Derrick Kondo, David P. Anderson
EMSOFT
2005
Springer
16 years 6 days ago
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
Ernesto Wandeler, Lothar Thiele
ICDCS
1997
IEEE
15 years 11 months ago
Group Communication Support for Distributed Multimedia and CSCW Systems
The Collaborative Computing Transport Layer (CCTL) is a communication substrate consisting of a suite of multiparty protocols, providing varying service qualities among process gr...
Injong Rhee, Shun Yan Cheung, Phillip W. Hutto, Va...