Sciweavers

2379 search results - page 129 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
ATAL
2006
Springer
15 years 8 months ago
Multi-agent coordination and control testbed for planning and scheduling strategies
The Multi-Agent Coordination and Control (MACC) testbed is a modelling and simulation environment for manufacturing control. It provides benefits to both the research community an...
Paul Verstraete, Paul Valckenaers, Hendrik Van Bru...
DSRT
2008
IEEE
15 years 6 months ago
RTPROC: A System for Rapid Real-Time Prototyping in Audio Signal Processing
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
Hauke Krüger, Peter Vary
ENTCS
2006
137views more  ENTCS 2006»
15 years 4 months ago
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
Morgan Magnin, Didier Lime, Olivier H. Roux
SIMULATION
2002
142views more  SIMULATION 2002»
15 years 4 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...
121
Voted
PDP
2007
IEEE
15 years 10 months ago
RealPeer--A Framework for Simulation-Based Development of Peer-to-Peer Systems
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
Dieter Hildebrandt, Ludger Bischofs, Wilhelm Hasse...