Sciweavers

11215 search results - page 214 / 2243
» Skeleton - Easy Simulation System
Sort
View
CONCUR
2004
Springer
15 years 6 months ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada
135
Voted
ICAS
2008
IEEE
200views Robotics» more  ICAS 2008»
15 years 7 months ago
Connectivity of Thetis, a Distributed Hybrid Simulator, with a Mixed Control Architecture
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
Olivier Parodi, Abdellah El Jalaoui, David Andreu
104
Voted
FPGA
2004
ACM
174views FPGA» more  FPGA 2004»
15 years 6 months ago
A compiled accelerator for biological cell signaling simulations
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
John F. Keane, Christopher Bradley, Carl Ebeling
92
Voted
WSC
2004
15 years 2 months ago
Simulation-Based Optimization for Material Dispatching in a Retailer Network
This paper presents preliminary work done on simulationbased optimization of a stochastic material-dispatching system in a retailer network. The problem we consider is one of dete...
Ganesh Subramaniam, Abhijit Gosavi
QEST
2008
IEEE
15 years 7 months ago
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth...