Sciweavers

1312 search results - page 60 / 263
» A Software Process Scheduling Simulator
Sort
View
SIMULATION
2002
142views more  SIMULATION 2002»
15 years 3 months ago
Agent-based Planning and Simulation of Combined Rail/Road Transport
A simulation model of the flow of Intermodal Terminal Units (ITUs) among inland intermodal terminals is presented. The intermodal terminals are inter-connected by rail corridors. ...
Luca Maria Gambardella, Andrea Emilio Rizzoli, Pet...
MM
2000
ACM
217views Multimedia» more  MM 2000»
15 years 8 months ago
Design and implementation of the parallel multimedia file system based on message distribution
The two-layered distributed clustered server architecture consisting of a control server and a group of storage servers has been widely used to support multimedia file systems. Wi...
Seung-Ho Park, Si-Yong Park, Gwang Moon Kim, Ki-Do...
EMSOFT
2008
Springer
15 years 5 months ago
Energy efficient streaming applications with guaranteed throughput on MPSoCs
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
Jun Zhu, Ingo Sander, Axel Jantsch
ICSE
2000
IEEE-ACM
15 years 7 months ago
Verification of time partitioning in the DEOS scheduler kernel
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
John Penix, Willem Visser, Eric Engstrom, Aaron La...
EMSOFT
2008
Springer
15 years 5 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss