Sciweavers

1663 search results - page 124 / 333
» Scheduling techniques for media-on-demand
Sort
View
TAP
2009
Springer
178views Hardware» more  TAP 2009»
15 years 7 months 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...
90
Voted
MMS
2002
15 years 12 days 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
15 years 6 months 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 2 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
122
Voted
ATAL
2011
Springer
14 years 22 days 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...