Sciweavers

368 search results - page 19 / 74
» Communication Architecture Simulation on the Virtual Synchro...
Sort
View
ICAS
2008
IEEE
200views Robotics» more  ICAS 2008»
14 years 2 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
ENTCS
2008
125views more  ENTCS 2008»
13 years 7 months ago
Extending Lustre with Timeout Automata
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
Jimin Gao, Mike Whalen, Eric Van Wyk
EMSOFT
2004
Springer
14 years 1 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
WSC
2000
13 years 9 months ago
An agent-based framework for linking distributed simulations
Simulations often operate on static datasets and data sources, but many simulations would benefit from access to dynamic data. This paper describes our work developing a software ...
Linda F. Wilson, Daniel Burroughs, Jeanne Sucharit...
SIGCOMM
2009
ACM
14 years 2 months ago
A virtual platform for network experimentation
Although the diversity of platforms for network experimentation is a boon to the development of protocols and distributed systems, it is challenging to exploit its benefits. Impl...
Olaf Landsiedel, Georg Kunz, Stefan Götz, Kla...