Search results for "discrete event"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Nasser Kalantery	Parallel discrete event processing of sequential computations. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	parallel discrete event processing, discrete event methods, sequential software parallelization, optimistic execution strategy, temporal coordinate system, logical time mechanism, adaptive synchronisation, data dependent parallelism, conditional parallelism, coherency violation, coarse grain mapping, parallel discrete event simulation, program control structures, program control structure, sequential computations
4	Stephanie Geist, Dmitry Gromov, Jörg Raisch	Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Multirate timed automata, Parallel production lines, Scheduling, Verification, Hybrid systems, Discrete event control
4	Sarah-Jane Whittaker, Karen Rudie	Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Supervisor reduction, Automata, Discrete-event systems, Supervisory control
4	Yin Wang, Tae-Sic Yoo, Stéphane Lafortune	Diagnosis of Discrete Event Systems Using Decentralized Architectures.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Diagnosis, Discrete event systems, Decentralized systems
4	Jianfeng Mao, Christos G. Cassandras	Optimal Control of Two-Stage Discrete Event Systems with Real-Time Constraints.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Optimal control, Discrete event system, Real-time constraint
4	Benoit Gaudin, Hervé Marchand	An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems
4	Eric Fabre, Albert Benveniste	Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Distributed systems, Diagnosis, Partial orders, Discrete event systems, Unfoldings, Fault management, Alarm correlation
4	Gilbert Arbez, Louis G. Birta	ABCmod: a conceptual modelling framework for discrete event dynamic systems.	SCSC	2007	DBLP DOI BibTeX RDF	discrete event world views, conceptual modelling, discrete event simulation
4	Shigemasa Takai, Toshimitsu Ushio	A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Timed discrete event system, Forcible event, Supervisory control, Partial observation
4	Lenko Grigorov, Karen Rudie	Near-Optimal Online Control of Dynamic Discrete-Event Systems.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	On-line control, Optimal control, Discrete-event systems, Control algorithms, Time-varying systems, Uncertain systems, Dynamic behaviour
4	Ahmed Khoumsi	A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	real-time discrete event systems (RTDES), conformance relation tioco, Set-Exp-Automata, timed automata, supervisory control
4	Emilio García Moreno, Antonio Correcher Salvador, Francisco José Morant Anglada, Eduardo Quiles Cucarella, Ramón Blasco Giménez	Modular Fault Diagnosis Based on Discrete Event Systems.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	fault diagnosis, discrete event systems, large scale systems
4	Max H. Queiroz, José E. R. Cury, W. Murray Wonham	Multitasking Supervisory Control of Discrete-Event Systems.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	control system synthesis, automata, tasks, discrete-event systems, supervisory control
4	Shigemasa Takai, Toshimitsu Ushio	Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	Concurrent discrete event system, concurrent well-posedness, controllability, observability, supervisory control
4	Kai C. Wong, W. Murray Wonham	On the Computation of Observers in Discrete-Event Systems.	Discrete Event Dynamic Systems	2004	DBLP DOI BibTeX RDF	causal reporter maps, natural projections, observers, discrete-event systems
4	Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis	On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems.	Discrete Event Dynamic Systems	2003	DBLP DOI BibTeX RDF	decentralized information, diagnostic protocols, discrete event systems, communication delays, failure diagnosis
4	Mauricio Marín	Comparative Analysis of a Parallel Discrete-Event Simulator.	SCCC	2000	DBLP DOI BibTeX RDF	simulation running times, optimistic synchronization protocol, bulk-synchronous parallel model, parallel processing, protocols, benchmarks, discrete event simulation, synchronisation, software performance evaluation, parallel discrete-event simulator, large scale systems, protocol performance
4	Robert Rönngren, Michael Liljenstam, Rassul Ayani, Johan Montagnat	A comparative study of state saving mechanisms for time warp synchronized parallel discrete event simulation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	state saving mechanisms, time warp synchronized simulation, state saving overhead, cellular communication simulation, state restoration mechanism, performance, parallel processing, discrete event simulation, synchronisation, error, software performance evaluation, parallel discrete event simulation, telecommunication computing, cellular radio, time warp simulation, PDES
4	José Miguel-Alonso, Agustin Arruabarrena, Ramón Beivide, José A. B. Fortes	An Empirical Evaluation of Techniques for Parallel Discrete-Event Simulation of Interconnection Networks.	PDP	1996	DBLP DOI BibTeX RDF	interconnnection networks, synchronous simulation, Intel Paragon multicomputer, model decomposition, collaborative logical processes, process synchronization overhead, causal restrictions, message-passing network models, performance threshold, load level, scalability, parallel programming, virtual machines, message passing, multiprocessor interconnection networks, discrete event simulation, synchronisation, software performance evaluation, workload, empirical evaluation, parallel discrete-event simulation, optimistic simulation, network size, model parameters, simulator performance, message length, conservative simulation, processor number
4	Ilham Benyahia	Using a discrete event simulation to test a generic architecture for complex real-time systems.	ICECCS	1996	DBLP DOI BibTeX RDF	generic architecture test, dependent parameters, interconnected components, systems interaction environments, discrete event simulation, discrete event simulation, complex real-time systems, object-oriented techniques
4	Mauricio Marín, Patricio Cordero	An object oriented C++ approach for discrete event simulation of complex and large systems of many moving objects.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	public interface, C++ class library, application-independent object-oriented environment, modelling, user interfaces, object-oriented programming, object oriented programming, C++, discrete event simulation, discrete event simulation, moving objects, object-oriented languages, software libraries, class library
4	Hatem Sellami, Sudhakar Yalamanchili	Time scale combining of conservative parallel discrete event simulations. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	time scale combining, inter-processor communication messages, distinct simulations, simulation trials, parallel processing, parallel architectures, discrete event simulation, discrete event simulations, parallel discrete event simulations
4	Bradley L. Noble, Gregory D. Peterson, Roger D. Chamberlain	Performance of synchronous parallel discrete-event simulation.	HICSS	1995	DBLP DOI BibTeX RDF	synchronous parallel discrete-event simulation algorithms, global clock algorithm, conservative lookahead algorithm, execution platforms, shared computational resources, torus topology, performance, parallel algorithms, synchronization, resource allocation, discrete event simulation, local area networks, queueing theory, network topology, synchronisation, shared-memory multiprocessor, shared memory systems, queueing network, software performance evaluation, granularity, workstation network, load imbalance, speculative computation
4	Jürgen Teich, Lothar Thiele, Edward A. Lee	Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model.	ISSS	1995	DBLP DOI BibTeX RDF	Ptolemy design system, deterministic discrete event model, heterogeneous real-time systems, mixed asynchronous/synchronous systems, schedule constraints, synchronously clocked systems, timed marked graphs, simulation, modeling, real-time systems, discrete event simulation, timing analysis, finite buffering, self-timed systems
4	Rajive Bagrodia, Wen-Toh Liao	Maisie: A Language for the Design of Efficient Discrete-Event Simulations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	Maisie, C-based discrete-event simulation language, simulation model/algorithm separation, sequential simulation algorithm, parallel conservative algorithm, parallel optimistic algorithm, recomputation overheads, state saving overheads, semantic rollback, lookahead optimization, interrogative simulation, optimizations, parallel algorithms, optimisation, discrete event simulation, synchronisation, distributed simulation, C language, run-time system, simulation languages, language constructs, synchronization overheads
4	Ashvin Radiya, Robert G. Sargent	A Logic-based Foundation of Discrete Event Modeling and Simulation.	ACM Trans. Model. Comput. Simul.	1994	DBLP DOI BibTeX RDF	logic of events and actions, logic of procedural programming, quantifiers logic, simulation procedure, time flow mechanism, temporal logic, discrete event simulation, logic, model-theoretic semantics, discrete event modeling
4	Gregory L. Heileman, Michael Georgiopoulos, William D. Roome	A General Framework for Concurrent Simulation of Neural Network Models.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	discrete event nonlinear dynamical systems, continuous-time differential equations, discrete-time difference equations, concurrent object-oriented discrete event simulation, data structures, object-oriented programming, parallel architectures, discrete event simulation, neural nets, object-oriented language, nonlinearities, parallel languages, data abstraction, neural network models, concurrent simulation, general-purpose parallel computer
3	Peter Lendermann, Leon F. McGinnis, Lars Mönch, Arnd Schirrmann	10102 Abstracts Collection -- Grand Challenges for Discrete Event Logistics Systems.	Grand Challenges for Discrete Event Logistics Systems	2010	DBLP BibTeX RDF
3	Peter Lendermann	Grand Challenges in Discrete Event Logistics Systems.	Grand Challenges for Discrete Event Logistics Systems	2010	DBLP BibTeX RDF
3	Peter Lendermann, Leon F. McGinnis, Lars Mönch, Arnd Schirrmann	10102 Executive Summary -- Grand Challenges for Discrete Event Logistics Systems.	Grand Challenges for Discrete Event Logistics Systems	2010	DBLP BibTeX RDF
3	Martin Grunow	10102 Position Statement -- Grand Challenges for Discrete Event Logistics Systems.	Grand Challenges for Discrete Event Logistics Systems	2010	DBLP BibTeX RDF
3	Donato Di Paola, David Naso, Biagio Turchiano, Grazia Cicirelli, Arcangelo Distante	Matrix-Based Discrete Event Control for Surveillance Mobile Robotics.	Journal of Intelligent and Robotic Systems	2009	DBLP DOI BibTeX RDF	Planning, Mobile robots, Surveillance, Discrete event systems, Supervisory control
3	Christoforos E. Economakos, Fotis N. Koumboulis	Efficient robust supervisors for discrete event systems.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	robust supervisory control, uncertain discrete event systems, modular supervisory control, on-line supervisory controller
3	Gianfranco Lamperti, Marina Zanella	Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations.	ICEIS	2009	DBLP DOI BibTeX RDF	Uncertain temporal observation, Monitoring, Diagnosis, Discrete-event system
3	Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi	PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description.	Petri Nets	2009	DBLP DOI BibTeX RDF	Stochastic discrete-event systems, SDES description, PDETool, Petri nets
3	Bevin Thomas, Syed Sajjad Rizvi, Khaled M. Elleithy	Reducing null messages using grouping and status retrieval for a conservative discrete-event simulation system.	SpringSim	2009	DBLP DOI BibTeX RDF	null message algorithm, discrete event simulation, parallel systems, conservative algorithms
3	Matthew R. Hosking, Ferat Sahin	An XML based system of systems discrete event simulation communications framework.	SpringSim	2009	DBLP DOI BibTeX RDF	GroundScout robots, swarm behavior, XML, discrete event simulation, DEVS, system of systems
3	Aaron E. Bair, Wheyming Tina Song, Yi-chun Chen, Beth A. Morris	The impact of inpatient boarding on emergency department crowding: a discrete-event simulation study.	SpringSim	2009	DBLP DOI BibTeX RDF	emergency department overcrowding, discrete-event simulation
3	Winfried K. Grassmann	When, and when not to use warm-up periods in discrete event simulation.	SimuTools	2009	DBLP DOI BibTeX RDF	initialization bias, time averages, discrete event simulation, estimation, queues, initialization, agent-based systems
3	Alfred Park, Richard M. Fujimoto	Efficient Master/Worker Parallel Discrete Event Simulation.	PADS	2009	DBLP DOI BibTeX RDF	Master/worker, simulation, grid computing, caching, parallel discrete event simulation, metacomputing, desktop grids, volunteer computing, conservative synchronization, PDES
3	Mikhail Kondratyev, Maxim Garifullin	Parallel Discrete Event Simulation with AnyLogic.	PaCT	2009	DBLP DOI BibTeX RDF	AnyLogic, agent based simulation, Time Warp, parallel discrete event simulation, Java RMI, epidemic
3	Jürgen Dingel, Karen Rudie, Christopher Dragert	Bridging the gap: Discrete-Event Systems for software engineering (short position paper).	C3S2E	2009	DBLP DOI BibTeX RDF	concurrency, model-driven development, control theory, discrete-event systems, automatic code generation
3	Manh Tung Pham, Kiam Tian Seow	On-line coordination among discrete-event agents.	AAMAS	2009	DBLP DOI BibTeX RDF	discrete-event modeling, multiagent coordination
3	James J. Nutaro	On constructing optimistic simulation algorithms for the discrete event system specification.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	discrete-event simulation, parallel simulation, DEVS, Time Warp
3	Syed Sajjad Rizvi, Khaled M. Elleithy, Aasia Riasat	A new mathematical model for optimizing the performance of parallel and discrete event simulation systems.	SpringSim	2008	DBLP DOI BibTeX RDF	null message algorithm, discrete event simulation, parallel and distributed systems
3	Reggie Davidrajuh	Developing a New Petri Net Tool for Simulation of Discrete Event Systems.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	GPenSIM, XML, modeling and simulation, discrete event system
3	David A. Holland	Using Data Mining to Build Integrated Discrete Event Simulations.	ICDM	2008	DBLP DOI BibTeX RDF	code re-factoring, minimum description length, subgraph isomorphism, discrete event modeling
3	Sarah-Jane Whittaker, Mohammad Zulkernine, Karen Rudie	Towards Incorporating Discrete-Event Systems in Secure Software Development.	ARES	2008	DBLP DOI BibTeX RDF	anomaly detection, Software security, discrete-event systems, finite-state automata
3	Christopher Dragert, Jürgen Dingel, Karen Rudie	Generation of concurrency control code using discrete-event systems theory.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	concurrency, model-driven development, control theory, discrete-event systems, automatic code generation
3	Thomas Huining Feng, Edward A. Lee	Real-Time Distributed Discrete-Event Execution with Fault Tolerance.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	fault tolerance, distributed system, real time, discrete event
3	Weilin Wang, Stéphane Lafortune, Feng Lin	On the Minimization of Communication in Networked Systems with a Central Station.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Minimum communication, Distributed control, Discrete-event systems, Distributed diagnosis
3	Andrea Paoli, Stéphane Lafortune	Diagnosability Analysis of a Class of Hierarchical State Machines.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser
3	Fei Xue, Lu Yan	Formal approach to fault diagnosis in distributed discrete event systems with OBDD.	ISSE	2007	DBLP DOI BibTeX RDF	Petri net, Fault diagnosis, Discrete event system, OBDD
3	Guillaume Feuillade, Sophie Pinchinat	Modal Specifications for the Control Theory of Discrete Event Systems.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Conjunctive nu-calculus, Modal specifications, Maximally permissive solutions, Logics, Reactive systems, Control theory, Mu-calculus
3	David Thorsley, Demosthenis Teneketzis	Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Measurement scheduling, Sensor optimization, Supervisory control, Failure diagnosis
3	Fuchun Liu, Daowen Qiu	Lyapunov Stability of Fuzzy Discrete Event Systems.	ICIC	2007	DBLP DOI BibTeX RDF	fuzzy finite automata, metric space, Discrete event systems, asymptotical stability, Lyapunov stability
3	Hernán P. Dacharry, Norbert Giambiasi	Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.	SpringSim	2007	DBLP DOI BibTeX RDF	DEVS modeling methodology, multi-formalisms approach, discrete event modeling
3	Yaocheng Zhang, Ge Li, Kedi Huang	Optimizing model interoperability in parallel discrete event simulation for cluster environment.	SCSC	2007	DBLP DOI BibTeX RDF	DDM optimization, model interoperability, cluster computing, parallel discrete event simulation, data distribution management, high performance simulation
3	P. J. Byrne	An analysis of semiconductor reticle management using discrete event simulation.	SCSC	2007	DBLP DOI BibTeX RDF	photolithography, reticle management, decision support systems, discrete event simulation
3	Kalyan S. Perumalla	Scaling time warp-based discrete event execution to 104 processors on a Blue Gene supercomputer.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	mixed-mode simulation, time warp, parallel discrete event simulation, reverse computation, state saving
3	Henk Jan Pels, Jan Goossenaerts	A Conceptual Modeling Technique for Discrete Event Simulation of Operational Processes.	APMS	2007	DBLP DOI BibTeX RDF	Computer Independent Model, UML, Petri Nets, Conceptual Modeling, Discrete Event Simulation
3	Shigeki Umeda	Supply-chain Simulation Integrated Discrete-event Modeling with System-Dynamics Modeling.	APMS	2007	DBLP DOI BibTeX RDF	System-dynamics simulation, Discrete-event simulation, Supply-chain management, Enterprise modeling, Production control
3	Ahmed Al-Emran, Dietmar Pfahl, Günther Ruhe	DynaReP: A Discrete Event Simulation Model for Re-planning of Software Releases.	ICSP	2007	DBLP DOI BibTeX RDF	Software release planning, re-planning, discrete event simulation model, process simulation, operational planning
3	Paul Pukite, Luke Ludwig	Generic discrete event simulations using DEGAS: application to logic design and digital signal processing.	SIGAda	2007	DBLP DOI BibTeX RDF	scheduling, ada, concurrency, discrete-event simulation, logic design, behavioral modeling, design automation, GNAT
3	Ion Necoara, Bart De Schutter, Ton J. J. van den Boom, Hans Hellendoorn	Stable Model Predictive Control for Constrained Max-Plus-Linear Systems.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Max-plus-linear systems, Input-state constraints, Positively invariant sets, Stability, Discrete-event systems, Model predictive control
3	Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson	Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.	Discrete Event Dynamic Systems	2007	DBLP DOI BibTeX RDF	Controllability, Synthesis, Discrete event systems, Supervisory control, Model reduction, Finite state automata, Nonblocking
3	Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis	Diagnosability of Discrete Event Systems with Modular Structure.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Common events, Distributed systems, Modularity, Diagnosability
3	Emilio García Moreno, Antonio Correcher Salvador, Francisco José Morant Anglada, Eduardo Quiles Cucarella, Ramón Blasco Giménez	Centralized Modular Diagnosis and the Phenomenon of Coupling.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Modular diagnosers, Coupling, Discrete event systems, Failure diagnosis
3	Jan Komenda, Jan H. van Schuppen	Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction.	Discrete Event Dynamic Systems	2005	DBLP DOI BibTeX RDF	bisimulation, supervisory control, coalgebra, coinduction, partial observations
3	Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki	A Discrete Event Control Based on EVALPSN Stable Model Computation.	RSFDGrC	2005	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), control deadlock, paraconsistent logic program, stable model, discrete event control
3	Roger Curry, Cameron Kiddle, Rob Simmonds, Brian Unger	Sequential Performance of Asynchronous Conservative PDES Algorithms.	PADS	2005	DBLP DOI BibTeX RDF	Sequential Discrete Event Simulation, Parallel Discrete Event Simulation, Conservative Synchronization
3	Jean Claude Carmona, Norbert Giambiasi, Aziz Naamane	Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator.	Journal of Intelligent and Robotic Systems	2004	DBLP DOI BibTeX RDF	discrete event model: DEVS, G-DEVS, hybrid continuous systems, piecewise linear trajectory, discrete systems
3	Marc Le Goc, Claudia S. Frydman	The Discrete Event Concept as a Paradigm for the "Perception-Based Diagnosis" of Sachem.	Journal of Intelligent and Robotic Systems	2004	DBLP DOI BibTeX RDF	monitored control systems, artificial intelligence, fault diagnosis, knowledge-based systems, discrete event systems
3	Jinsheng Xu, Moon-Jung Chung	Predicting the Performance of Synchronous Discrete Event Simulation.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF	performance evaluation, Parallel discrete event simulation
3	Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki	A Paraconsistent Logic Program Based Control for a Discrete Event Cat and Mouse.	KES	2004	DBLP DOI BibTeX RDF	paraconsistent logic program, discrete event control, EVALPSN, defeasible deontic reasoning
3	T. Makino	A Discrete-Event Neural Network Simulator for General Neuron Models.	Neural Computing and Applications	2003	DBLP DOI BibTeX RDF	Incremental partitioning method, Neural network simulator, Punnets, Discrete-event simulation, Event-driven simulation, Pulsed neural network
3	A. A. Al-Falou, Jan H. van Schuppen	Aggregation in Hierarchical Discrete-Event Systems.	Discrete Event Dynamic Systems	2003	DBLP DOI BibTeX RDF	aggregation, automation, supervisory control, hierarchical control
3	Jean-Luc Paillet, Norbert Giambiasi	DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems.	Journal of Intelligent and Robotic Systems	2002	DBLP DOI BibTeX RDF	formal specifications, control systems, production systems, discrete event dynamic systems
3	Slavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky	Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach.	Discrete Event Dynamic Systems	2002	DBLP DOI BibTeX RDF	Petri nets, ASIC, DES, event-driven, programmable controller
3	Laurence Rozé, Marie-Odile Cordier	Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks.	Discrete Event Dynamic Systems	2002	DBLP DOI BibTeX RDF	generic model, telecommunication networks, model based approach, real-time monitoring, communicating finite state machine
3	Tae-Sic Yoo, Stéphane Lafortune	A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems.	Discrete Event Dynamic Systems	2002	DBLP DOI BibTeX RDF	supervisor synthesis, computational complexity, supervisory control, decision fusion, decentralized architectures
3	Russell Bradford, Rob Simmonds, Brian Unger	A Parallel Discrete Event IP Network Emulator. (PDF / PS)	MASCOTS	2000	DBLP DOI BibTeX RDF	Parallel Discrete Event Simulation (PDES), Computer Network Emulation, Internet Protocol (IP), Real-Time Simulation
3	Rob Simmonds, Russell Bradford, Brian Unger	Applying parallel discrete event simulation to network emulation.	PADS	2000	DBLP DOI BibTeX RDF	computer network emulation, conservative protocol, critical channel traversing, parallel discrete event simulation (PDES), Internet protocol (IP), real-time simulation
3	Mauricio Marín	Towards Automated Performance Prediction in Bulk-Synchronous Parallel Discrete-Event Simulation.	SCCC	1999	DBLP DOI BibTeX RDF	Parallel Computing, Discrete-event simulation
3	CongDuc Pham, Rajive Bagrodia	HLA Support in a Discrete Event Simulation Language.	DIS-RT	1999	DBLP DOI BibTeX RDF	Discrete Event Simulation, High Level Architecture, Simulation Language
3	Peter Martin	The Development of an Object-Oriented, Discrete-Event Simulation Language Using Java.	APSEC	1997	DBLP DOI BibTeX RDF	Simulation, Java, Modeling, Animation, Gaming, Object-oriented, Discrete-event
3	James B. Hiller, Thomas C. Hartrum	Conservative Synchronization in Object-Oriented Parallel Battlefield Discrete Event Simulations.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF	execution time savings, generic simulation attributes, logical correctness, null message algorithm, parallel battlefield discrete event simulations, simulation system design, spatially decomposed simulation, deadlock, military computing, performance gain, object-oriented simulation, load imbalance, conservative synchronization
3	Ewa Deelman, Boleslaw K. Szymanski	Breadth-First Rollback in Spatially Explicit Simulations.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF	antimessage, breadth-first rollback, causal relationship recovery, incremental state saving, rollback overhead, rollback processing, simulation objects, spatially explicit simulations, straggler, discrete event simulation, speedup, parallel discrete event simulations, optimistic protocol
3	Mauricio Marín	Billiards and Related Systems on the Bulk-Synchronous Parallel Model.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF	billiards, bulk-synchronous parallel model, colliding hard-spheres, homogeneous large-scale systems, ising-spin models, discrete event simulation, discrete-event simulation, scalable computation, general purpose parallel computing
3	Tarek M. Sobh, Ruzena Bajcsy	A discrete event framework for autonomous observation under uncertainty.	Journal of Intelligent and Robotic Systems	1996	DBLP DOI BibTeX RDF	autonomous observation, Robotics, uncertainty, observation, observers, vision, discrete event systems
3	Edward J. Williams, Igal Ahitov	Scheduling analysis using discrete event simulation.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	production shop, macro planning level, product mix requirements adaptation, optimal in-process buffer sizing, throughput targets, scheduling, planning, discrete event simulation, discrete event simulation, scheduling analysis, production control, proposals, manufacturing data processing
3	V. Sanchez, Alfredo Bautista, Francisco Tirado	Deblocking Event Algorithm: A New Approach to Conservative Parallel Discrete Event Simulation.	PDP	1996	DBLP DOI BibTeX RDF	conservative parallel discrete event simulation, distributed event driven simulation, deblocking event algorithm, simulation network structural properties, overhead reduction, network activity, parallel algorithms, discrete event simulation, synchronisation
3	Paul Wonnacott, David Bruce	The APOSTLE Simulation Language: Granularity Control and Performance Data.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	discrete event simulation languages, granularity control, Parallel discrete event simulation
3	Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz	Distributed Simulation of ECATNets: A Conservative Approach.	PDP	1996	DBLP DOI BibTeX RDF	ECATNets, conservative approach, extended concurrent algebraic term nets, high-level algebraic nets, distributed systems specification, parallel systems specification, parallel simulation techniques, distributed discrete event simulation, partitioned model, connected subnets, distributed algorithms, discrete event simulation, process algebra, logical processes
3	Alois Ferscha, James Johnson	N-MAP: a virtual processor discrete event simulation tool for performance prediction in the CAPSE environment.	HICSS	1995	DBLP DOI BibTeX RDF	virtual processor discrete event simulation tool, CAPSE environment, N-MAP, CAPSE, Computer Aided Parallel Software Engineering, performance oriented parallel program development, simulation based performance analysis, coding phase, N-MAP tool, automatic parse, performance critical program parts, simulated execution, linear system solver, formal specification, testing, parallel programming, specification, virtual machines, monitoring, software tools, programming environments, discrete event simulation, performance prediction, correction, software performance evaluation, CM-5
3	Kevin Lano, S. J. Goldsack	Discrete event process controller synthesis using VDM/sup ++/.	ICECCS	1995	DBLP DOI BibTeX RDF	ignition, control system synthesis, heat systems, discrete event process controller synthesis, VDM/sup ++/, controller specification, gas burner system, systematic method, declarative requirement statements, abstract VDM/sup ++/ specifications, concrete VDM/sup ++/ specifications, formalised requirements, refinement process, real-time systems, formal specification, temporal logic, timing, specification languages, timing analysis, object-oriented languages, process control, parallel languages, discrete event systems, programmable controllers, controller design, Vienna development method, control system CAD, Ada95, real-time temporal logic, combustion
3	Roman Blasko	Simulation based performance prediction by PEPSY.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	simulation based performance prediction, VFCS, Vienna Fortran Compilation System, PEPSY, performance prediction system, monitoring modes, parallel program behavior, monitoring facilities, performance analysis, parallel programming, parallel programs, compiler, virtual machines, software tools, discrete event simulation, discrete-event simulation, performance prediction, software performance evaluation, system monitoring, simulation tool, parallelising compilers, supercompiler
3	Sajal K. Das, Falguni Sarkar	A hypercube algorithm for GVT computation and its application in optimistic parallel simulation.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	GVT computation, optimistic parallel simulation, global virtual time, distributed memory hypercube architecture, 3N messages, logical processors, simulation system, spanning binomial tree, GVT manager, physical processor, hierarchical load balancing, transient messages, parallel algorithms, computational complexity, discrete event simulation, discrete event simulation, memory management, hypercube networks, distributed memory systems, tree data structures, hypercube algorithm
3	Alois Ferscha, Johannes Lüthi	Estimating rollback overhead for optimism control in Time Warp.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	rollback overhead, adaptive optimism control mechanism, performance pitfall, Time Warp distributed discrete event simulation protocol, DDES protocol, overoptimistic progression, event execution, simulated future, premature event execution, causality violations, performance inefficiencies, observed model parallelism, local virtual time, LVT progression per unit CPU time, arriving messages, simulation engine, optimal CPU delay interval, rollback probability, synchronization behavior, iPSC/860, protocols, virtual machines, discrete event simulation, adaptive systems, optimal control, cost model, distributed memory multiprocessor, time warp simulation, logical processes
3	Celso Massaki Hirata, Jeff Kramer	An implementation of a technique for sharing variables in Time Warp.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	full replication strategy, causal effects, tie breaks, aggressive cancellation, lazy cancellation, optimised scheme of rollback, parallel programming, discrete event simulation, distributed memory systems, distributed memory systems, Time Warp, parallel discrete event simulation, time warp simulation, shared variables