The object library for parallel simulation (OLPS), Proceedings of the 20th conference on Winter simulation (WSC '88, pp.210-219, 1988. ,
MIDAS: integrated design and simulation of distributed systems, IEEE Transactions on Software Engineering, vol.17, issue.10, pp.1042-1058, 1991. ,
DOI : 10.1109/32.99192
Reducing Rollback Overhead In Time-warp Based Distributed Simulation With Optimized Incremental State Saving, [1993] Proceedings 26th Annual Simulation Symposium, pp.12-20, 1993. ,
DOI : 10.1109/SIMSYM.1993.639048
Seven-O'Clock: A New Distributed GVT Algorithm Using Network Atomic Operations, Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation (PADS '05, pp.39-48, 2005. ,
WCET analysis of probabilistic hard real-time systems, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., p.279, 2002. ,
DOI : 10.1109/REAL.2002.1181582
A multi-robot cooperative task achievement system, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065), pp.2716-2721, 2000. ,
DOI : 10.1109/ROBOT.2000.846438
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.3053
Efficient optimistic parallel simulations using reverse computation, ACM Trans. Model. Comput. Simul, vol.9, issue.3, pp.224-253, 1999. ,
Christophe Aussaguès OASIS. A Chain of Development for Safety-Critical Real-Time Systems, Embedded Real-Time Systems (, p.p, 2004. ,
Rendezvous, Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology , ACE '05, pp.15-17, 2005. ,
DOI : 10.1145/1178477.1178534
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. Software Engineering, IEEE Transactions on, vol.5, issue.5, pp.440-452, 1979. ,
Asynchronous distributed simulation via a sequence of parallel computations, Communications of the ACM, vol.24, issue.4, pp.198-206, 1981. ,
DOI : 10.1145/358598.358613
Lookback: a new way of exploiting parallelism in discrete event simulation, PADS '02: Proceedings of the sixteenth workshop on Parallel and distributed simulation, pp.153-162, 2002. ,
Causality information and fossil collection in timewarp simulations, Proceedings of the 38th conference on Winter simulation (WSC '06, ). Winter Simulation Conference, pp.987-994, 2006. ,
Priority inversion in Ada, ACM SIGAda Ada Letters, vol.VII, issue.7, pp.30-32, 1987. ,
DOI : 10.1145/36072.36073
SIMULA: an ALGOL-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966. ,
DOI : 10.1145/365813.365819
Fault-tolerant distributed simulation, ACM SIGSIM Simulation Digest, vol.28, issue.1, pp.38-45, 1998. ,
DOI : 10.1145/278009.278014
GTW: a time warp system for shared memory multiprocessors Society for Computer Simulation International, Proceedings of the 26th conference on Winter simulation (WSC '94, pp.1332-1339, 1994. ,
An efficient, incremental, automatic garbage collector, Communications of the ACM, vol.19, issue.9, pp.552-526, 1976. ,
DOI : 10.1145/360336.360345
Vers la synthèse automatique de circuits à partir de graphes algorithmiques factorisés, Actes du 5ème Workshop AAA sur l'Adéquation Algorithme Architecture, p.p, 2000. ,
SRADS with Local Rollback, 1990. ,
Cooperating sequential processes Programming Languages, p.p, 1968. ,
A framework for fault-tolerance in HLA-based distributed simulations, Proceedings of the 37th conference on Winter simulation (WSC '05, ). Winter Simulation Conference, pp.1182-1189, 2005. ,
GVT and scheduling in space time memory based techniques, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155), pp.54-61, 1999. ,
DOI : 10.1109/PADS.1999.766161
Estimating rollback overhead for optimism control in Time Warp, Proceedings of Simulation Symposium, pp.2-12, 1995. ,
DOI : 10.1109/SIMSYM.1995.393563
Probabilistic adaptive direct optimism control in Time Warp, PADS '95: Proceedings of the ninth workshop on Parallel and distributed simulation, pp.120-129, 1995. ,
Comparative analysis of periodic state saving techniques in time warp simulators. Parallel and Distributed Simulation, PADS'95), Proceedings., Ninth Workshop on (Cat. No.95TB8096), pp.50-58, 1995. ,
State saving for interactive optimistic simulation, SIGSIM Simul. Dig, vol.27, issue.1, pp.72-79, 1997. ,
Parallel discrete event simulation, Communications of the ACM, vol.33, issue.10, pp.30-53, 1990. ,
DOI : 10.1145/84537.84545
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.8064
Time warp on a shared memory multiprocessor, Trans. Soc. Comput. Simul. Int, vol.6, pp.211-239, 1990. ,
Computing global virtual time in shared-memory multiprocessors, ACM Transactions on Modeling and Computer Simulation, vol.7, issue.4, pp.425-446, 1997. ,
DOI : 10.1145/268403.268404
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.5956
Rollback mechanisms for optimistic distributed simulation systems, In SCS Multiconference on Distributed Simulation, pp.61-67, 1988. ,
Eventdriven programming with logical execution times, Seventh International Workshop on Hybrid Systems: Computation and Control (HSCC), pp.357-371, 2004. ,
Time Warp simulation in time constrained systems, ACM SIGSIM Simulation Digest, vol.23, issue.1, pp.163-166, 1993. ,
DOI : 10.1145/174134.158481
PORTS: a parallel, optimistic, real-time simulator, PADS '94: Proceedings of the eighth workshop on Parallel and distributed simulation, pp.24-31, 1994. ,
A fast asynchronous GVT algorithm for shared memory multiprocessor architectures, Proceedings of the ninth workshop on Parallel and distributed simulation (PADS '95, pp.203-208, 1995. ,
DOI : 10.1145/214283.214350
A general purpose systems simulation program, eastern joint computer conference: computers -key to total systems control (AFIPS '61 (Eastern), Proceedings of the, pp.87-104, 1961. ,
Contrôle de combustion en transitoires des moteurs à combustion interne, 2009. ,
Optimistic Computations In Virtual Environments, Proceedings of the Virtual Worlds and Simulation Conference (VWSIM'99, pp.39-44, 1999. ,
Cloning parallel simulations, ACM Transactions on Modeling and Computer Simulation, vol.11, issue.4, pp.378-407, 2001. ,
DOI : 10.1145/508366.508370
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.3439
Latency Hiding with Optimistic Computations, Journal of Parallel and Distributed Computing, vol.62, issue.3, pp.427-445, 2002. ,
DOI : 10.1006/jpdc.2001.1801
Virtual time, ACM Trans. Program. Lang. Syst, vol.7, issue.3, pp.404-425, 1985. ,
Event-triggered versus time-triggered real-time systems, Proceedings of the International Workshop on Operating Systems of the 90s and Beyond, pp.87-101, 1991. ,
DOI : 10.1007/BFb0024530
The time-triggered architecture, Proceedings of the IEEE, vol.91, issue.1, pp.112-126, 2003. ,
DOI : 10.1109/JPROC.2002.805821
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
Le siècle de la voiture intelligente. Mines ParisTech, 2009. ,
Modèle unifié pour la conception conjointe logiciel-matériel, pp.569-578, 1997. ,
Reinventing Computing for Real Time, Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms, pp.1-25, 2005. ,
DOI : 10.1007/978-3-540-71156-8_1
The Problem with Threads, Computer, vol.39, issue.5, pp.33-42, 2006. ,
DOI : 10.1109/MC.2006.180
Selecting the checkpoint interval in time warp simulation, ACM SIGSIM Simulation Digest, vol.23, issue.1, pp.3-10, 1993. ,
DOI : 10.1145/174134.158460
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973. ,
DOI : 10.1145/321738.321743
Timed multitasking for real-time embedded software, IEEE Control Systems Magazine, pp.65-75, 2003. ,
An analysis of rollback-based simulation, ACM Transactions on Modeling and Computer Simulation, vol.1, issue.2, pp.154-193, 1991. ,
DOI : 10.1145/116890.116912
SIMSCRIPT: A Simulation Programming Language, 1962. ,
Predictable time management for real-time distributed simulation, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings., p.89, 2003. ,
DOI : 10.1109/PADS.2003.1207424
Le langage SystemVerilog, Synthèse et vérification des circuits numériques complexes, 2009. ,
The time and state relationships in simulation modeling, Communications of the ACM, vol.24, issue.4, pp.173-179, 1981. ,
DOI : 10.1145/358598.358601
A history of discrete event simulation programming languages, pp.369-427, 1996. ,
An analytical comparison of periodic checkpointing and incremental state saving, ACM SIGSIM Simulation Digest, vol.23, issue.1, pp.127-134, 1993. ,
DOI : 10.1145/174134.158475
Parallel and Distributed Simulation: Traditional Techniques and Recent Advances, Proceedings of the 2006 Winter Simulation Conference, pp.84-95, 2006. ,
DOI : 10.1109/WSC.2006.323041
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.3631
The basics of GASP II, Proceedings of the 5th conference on Winter simulation , WSC '71, pp.405-408, 1971. ,
DOI : 10.1145/800294.811464
Guest Editorial, Real-Time Systems, vol.30, issue.1-2, pp.115-128, 2000. ,
DOI : 10.1007/s11241-005-0501-2
A spectrum of options for parallel simulation, WSC '88: Proceedings of the 20th conference on Winter simulation (, pp.325-332, 1988. ,
Adaptive checkpointing in Time Warp, SIGSIM Simul. Dig, vol.24, pp.110-117, 1994. ,
Real Time Scheduling Theory: A Historical Perspective. Real-Time Syst, pp.101-155, 2004. ,
DOI : 10.1023/b:time.0000045315.61234.1e
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.336.2890
Applying parallel discrete event simulation to network emulation, Proceedings Fourteenth Workshop on Parallel and Distributed Simulation, pp.15-22, 2000. ,
DOI : 10.1109/PADS.2000.847140
MTW: an empirical performance study, 1991 Winter Simulation Conference Proceedings., pp.557-563, 1991. ,
DOI : 10.1109/WSC.1991.185659
A probabilistic event scheduling policy for optimistic parallel discrete event simulation, SIGSIM Simul. Dig, vol.28, issue.1, pp.56-63, 1998. ,
SPEEDES: Synchronous parallel environment for emulation and discrete event simulation Advances in Parallel and Distributed Simulation, SCS Simulation Series, vol.23, pp.95-103, 1991. ,
Interactive SPEEDES, ACM SIGSIM Simulation Digest, vol.21, issue.3, pp.149-158, 1991. ,
DOI : 10.1145/106073.306852
Discrete-event simulation and the event horizon, PADS '94: Proceedings of the eighth workshop on Parallel and distributed simulation, pp.39-49, 1994. ,
Global Virtual Time and distributed synchronization, ACM SIGSIM Simulation Digest, vol.25, issue.1, pp.139-148, 1995. ,
DOI : 10.1145/214283.214324
RTMaps, un environnement logiciel dédié à la conception d'applications embarquées temps-réel. Utilisation pour la détection automatique de véhicules par fusion radar / vision, 2001. ,
tinySLAM : a SLAM Algorithm in less than 200 lines of C code, International Conference on Control, Automation, Robotics and Vision (ICARCV), p.p, 2010. ,
Optimistic Parallel Discrete Event Simulations of Physical Systems Using Reverse Computation, Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation (PADS '05, pp.26-35, 2005. ,
A comparison of simulation event list algorithms, Communications of the ACM, vol.18, issue.4, pp.223-230, 1975. ,
DOI : 10.1145/360715.360758
Optimizing Time Warp: Lazy rollback and lazy reevaluation, 1988. ,
Stenstr\"{o}m, Per. The worstcase execution-time problem\?overview of methods and survey of tools ,
Scheduling critical channels in conservative parallel discrete event simulation, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155), pp.20-28, 1999. ,
DOI : 10.1109/PADS.1999.766157
The dependence list in time warp, Proceedings of the fifteenth workshop on Parallel and distributed simulation (PADS '01, pp.35-45, 2001. ,
Programming temporally integrated distributed embedded systems, pp.2006-82, 2006. ,
A Programming Model for Time-Synchronized Distributed Real-Time Systems, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07), pp.259-268, 2007. ,
DOI : 10.1109/RTAS.2007.5