Sciweavers

1663 search results - page 124 / 333
» Scheduling techniques for media-on-demand
Sort
View
TAP
2009
Springer
178views Hardware» more  TAP 2009»
16 years 26 days ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
MMS
2002
15 years 6 months ago
An adaptive video multicast scheme for varying workloads
Periodic broadcast and scheduled multicast have been shown to be very effective in reducing the demand on server bandwidth. While periodic broadcast is better for popular videos, s...
Kien A. Hua, Jung-Hwan Oh, Khanh Vu
RTSS
2006
IEEE
16 years 10 days ago
Optimal Dimensioning of a Constant Bandwidth Server
The Constant Bandwidth Server (CBS) is an effective scheduling technique frequently used to handle overruns and implement resource reservation in real-time systems where tasks hav...
Giorgio C. Buttazzo, Enrico Bini
WSC
1998
15 years 7 months ago
Combining Optimism Limiting Schemes in Time Warp Based Parallel Simulations
The Time Warp protocol is considered to be an effective synchronization mechanism for parallel discrete event simulation (PDES). However, it is widely recognized that it suffers o...
Kevin G. Jones, Samir Ranjan Das
ATAL
2011
Springer
14 years 6 months ago
AgentC: agent-based system for securing maritime transit
Recent rise in maritime piracy prompts the search for novel techniques for addressing the problem. We therefore developed AgentC, a prototype system that demonstrates how agent-ba...
Michal Jakob, Ondrej Vanek, Branislav Bosansk&yacu...