|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2519 occurrences of 1134 keywords
|
|
|
Results
Found 5691 publication records. Showing 5691 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
73 | David M. Nicol |
Discrete-Event Simulation in Performance Evaluation. |
Performance Evaluation |
2000 |
DBLP DOI BibTeX RDF |
|
69 | Nasser Kalantery |
Parallel discrete event processing of sequential computations. |
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 |
62 | 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 |
61 | 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 |
57 | Ryo Sato |
Toward a unified theory of discrete event systems. |
EUROCAST |
1995 |
DBLP DOI BibTeX RDF |
|
57 | Jeffrey S. Steinman |
Discrete-Event Simulation and the Event Horizon Part 2: Event List Management. |
Workshop on Parallel and Distributed Simulation |
1996 |
DBLP DOI BibTeX RDF |
Event List Management, SPEEDES Qheap, Event Horizon, Parallel Simulation, Priority Queues, SPEEDES |
57 | Hatem Sellami, Sudhakar Yalamanchili |
Time scale combining of conservative parallel discrete event simulations. |
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 |
53 | Gilbert Arbez, Louis G. Birta |
ABCmod: a conceptual modelling framework for discrete event dynamic systems. |
SCSC |
2007 |
DBLP BibTeX RDF |
discrete event world views, conceptual modelling, discrete event simulation |
53 | 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 |
52 | Roger Curry, Cameron Kiddle, Rob Simmonds, Brian W. Unger |
Sequential Performance of Asynchronous Conservative PDES Algorithms. |
PADS |
2005 |
DBLP DOI BibTeX RDF |
Sequential Discrete Event Simulation, Parallel Discrete Event Simulation, Conservative Synchronization |
49 | S. Laurie Ricker |
An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
49 | Thomas Brunsch, Jörg Raisch, Laurent Hardouin, Olivier Boutin |
Discrete-Event Systems in a Dioid Framework: Modeling and Analysis. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
49 | Laurent Hardouin, Olivier Boutin, Bertrand Cottenceau, Thomas Brunsch, Jörg Raisch |
Discrete-Event Systems in a Dioid Framework: Control Theory. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
49 | Jan Komenda, Tomás Masopust, Jan H. van Schuppen |
Supervisory Control of Distributed Discrete-Event Systems. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
49 | Jan Komenda, Tomás Masopust, Jan H. van Schuppen |
Coordination Control of Distributed Discrete-Event Systems. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
49 | Juan-Pablo López-Grao, José Manuel Colom |
Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
49 | 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 |
|
49 | Martin Grunow |
10102 Position Statement -- Grand Challenges for Discrete Event Logistics Systems. |
Grand Challenges for Discrete Event Logistics Systems |
2010 |
DBLP BibTeX RDF |
|
49 | 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 |
|
49 | Peter Lendermann |
Grand Challenges in Discrete Event Logistics Systems. |
Grand Challenges for Discrete Event Logistics Systems |
2010 |
DBLP BibTeX RDF |
|
47 | 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 |
47 | 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 |
47 | 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 |
47 | 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 |
47 | 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 |
47 | 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 |
47 | Bradley L. Noble, Gregory D. Peterson, Roger D. Chamberlain |
Performance of synchronous parallel discrete-event simulation. |
HICSS (2) |
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 |
47 | Rajive L. 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 |
46 | 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 |
46 | Pirooz Vakili |
Massively Parallel and Distributed Simulation of a Class of Discrete Event Systems: A Different Perspective. |
ACM Trans. Model. Comput. Simul. |
1992 |
DBLP DOI BibTeX RDF |
speedup, parallel discrete-event simulation, event-driven simulation |
46 | 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 |
44 | Shigemasa Takai, Toshimitsu Ushio |
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Concurrent discrete event system, concurrent well-posedness, controllability, observability, supervisory control |
43 | 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 |
43 | Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki |
A Discrete Event Control Based on EVALPSN Stable Model Computation. |
RSFDGrC (1) |
2005 |
DBLP DOI BibTeX RDF |
EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), control deadlock, paraconsistent logic program, stable model, discrete event control |
43 | 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 |
43 | Arturo I. Concepcion, Bernard P. Zeigler |
DEVS Formalism: A Framework for Hierarchical Model Development. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
hierarchical model development, distributed simulator architectures, Discrete Event System Specification, hierarchical model specification, top-down model development, software engineering, distributed processing, programming theory, DEVS, model representation, discrete event models |
41 | 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 |
41 | Alois Ferscha, James Johnson |
N-MAP: a virtual processor discrete event simulation tool for performance prediction in the CAPSE environment. |
HICSS (2) |
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 |
41 | Kevin Lano, Stephen J. Goldsack |
Discrete event process controller synthesis using VDM++. |
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 |
41 | Yi-Bing Lin |
Parallelism Analyzers for Parallel Discrete Event Simulation. |
ACM Trans. Model. Comput. Simul. |
1992 |
DBLP DOI BibTeX RDF |
event precedence graph, inherent parallelism parallel simulation, discrete event simulation |
41 | 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 |
41 | Jean-Luc Paillet, Norbert Giambiasi |
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems. |
J. Intell. Robotic Syst. |
2002 |
DBLP DOI BibTeX RDF |
formal specifications, control systems, production systems, discrete event dynamic systems |
41 | Rob Simmonds, Russell J. Bradford, Brian W. 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 |
41 | Tarek M. Sobh, Ruzena Bajcsy |
A discrete event framework for autonomous observation under uncertainty. |
J. Intell. Robotic Syst. |
1996 |
DBLP DOI BibTeX RDF |
autonomous observation, Robotics, uncertainty, observation, observers, vision, discrete event systems |
40 | 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 |
40 | 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 |
40 | JongSuk Ahn, SeungHyun Oh |
Dynamic Calendar Queue. |
Annual Simulation Symposium |
1999 |
DBLP DOI BibTeX RDF |
tcpsim, simulation, ATM, discrete event, calendar queue |
40 | Yafan An, Grantham Pang, J. Dwight Aplevich |
A hybrid model for intelligent control systems. |
J. Intell. Robotic Syst. |
1994 |
DBLP DOI BibTeX RDF |
modeling, Petri nets, hybrid systems, intelligent control, discrete event systems, Continuous time systems |
39 | Kazumi Nakamatsu, Hayato Komaba, Atsuyuki Suzuki, Chung-Lun Lie, Sheng-Luen Chung |
Defeasible Deontic Control for Discrete Events Based on EVALPSN. |
Rough Sets and Current Trends in Computing |
2004 |
DBLP DOI BibTeX RDF |
annotated logic program, discrete event systems, paraconsistent logic, EVALPSN, defeasible deontic reasoning |
39 | Norbert Giambiasi, Bruno Escude, Sumit Ghosh |
GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems. |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Béatrice Bérard |
An Introduction to Timed Automata. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Jorge Júlvez, Carlos Renato Vázquez, Cristian Mahulea, Manuel Silva 0001 |
Continuous Petri Nets: Controllability and Control. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Jörg Raisch |
Modelling of Engineering Phenomena by Finite Automata. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Stefan Haar, Eric Fabre |
Diagnosis with Petri Net Unfoldings. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Stefan Haar, Tomás Masopust |
Languages, Decidability, and Complexity. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | René K. Boel, George Jiroveanu |
The On-Line Diagnosis of Time Petri Nets. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Carlos Renato Vázquez, Cristian Mahulea, Jorge Júlvez, Manuel Silva 0001 |
Introduction to Fluid Petri Nets. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Eric Fabre |
Diagnosis and Automata. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Maria Paola Cabasino, Alessandro Giua, Carla Seatzu |
Structural Analysis of Petri Nets. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Jan Komenda |
Supervisory Control with Partial Observations. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Maria Paola Cabasino, Alessandro Giua, Carla Seatzu |
Introduction to Petri Nets. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Maria Paola Cabasino, Alessandro Giua, Carla Seatzu |
Diagnosis of Petri Nets. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Cristian Mahulea, Jorge Júlvez, Carlos Renato Vázquez, Manuel Silva 0001 |
Continuous Petri Nets: Observability and Diagnosis. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Tomás Masopust, Jan H. van Schuppen |
Supervisory Control with Complete Observations. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Alessandro Giua |
Supervisory Control of Petri Nets with Language Specifications. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua, Carla Seatzu |
Petri Nets with Time. |
Control of Discrete-Event Systems |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Peter Lendermann, Leon F. McGinnis, Lars Mönch, Arnd Schirrmann (eds.) |
Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010 |
Grand Challenges for Discrete Event Logistics Systems |
2010 |
DBLP BibTeX RDF |
|
38 | Daniel A. Reed, Allen D. Malony, Bradley D. McCredie |
Parallel Discrete Event Simulation Using Shared Memory. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
Chandy-Misra algorithm, parallel processing, discrete event simulation, distributed simulation, deadlock recovery |
37 | 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 |
37 | Stephanie Geist, Dmitry Gromov, Jörg Raisch |
Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs. |
Discret. Event Dyn. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Multirate timed automata, Parallel production lines, Scheduling, Verification, Hybrid systems, Discrete event control |
37 | 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 |
37 | Eric Fabre, Albert Benveniste |
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them. |
Discret. Event Dyn. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Distributed systems, Diagnosis, Partial orders, Discrete event systems, Unfoldings, Fault management, Alarm correlation |
37 | Benoit Gaudin, Hervé Marchand |
An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach. |
Discret. Event Dyn. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems |
37 | Hernán P. Dacharry, Norbert Giambiasi |
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. |
SpringSim (2) |
2007 |
DBLP BibTeX RDF |
DEVS modeling methodology, multi-formalisms approach, discrete event modeling |
37 | 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 |
37 | Fuchun Liu, Daowen Qiu |
Lyapunov Stability of Fuzzy Discrete Event Systems. |
ICIC (2) |
2007 |
DBLP DOI BibTeX RDF |
fuzzy finite automata, metric space, Discrete event systems, asymptotical stability, Lyapunov stability |
37 | Lenko Grigorov, Karen Rudie |
Near-Optimal Online Control of Dynamic Discrete-Event Systems. |
Discret. Event Dyn. Syst. |
2006 |
DBLP DOI BibTeX RDF |
On-line control, Optimal control, Discrete-event systems, Control algorithms, Time-varying systems, Uncertain systems, Dynamic behaviour |
37 | Marc Le Goc, Claudia S. Frydman |
The Discrete Event Concept as a Paradigm for the "Perception-Based Diagnosis" of Sachem. |
J. Intell. Robotic Syst. |
2004 |
DBLP DOI BibTeX RDF |
monitored control systems, artificial intelligence, fault diagnosis, knowledge-based systems, discrete event systems |
37 | T. Makino |
A Discrete-Event Neural Network Simulator for General Neuron Models. |
Neural Comput. Appl. |
2003 |
DBLP DOI BibTeX RDF |
Incremental partitioning method, Neural network simulator, Punnets, Discrete-event simulation, Event-driven simulation, Pulsed neural network |
37 | CongDuc Pham, Rajive L. Bagrodia |
HLA Support in a Discrete Event Simulation Language. |
DIS-RT |
1999 |
DBLP DOI BibTeX RDF |
Discrete Event Simulation, High Level Architecture, Simulation Language |
37 | Ernst G. Ulrich, Karen Lentz, Jack H. Arabian, Michael Gustin, Vishwani D. Agrawal, Pier Luca Montessoro |
The Comparative and Concurrent Simulation of discrete-event experiments. |
J. Electron. Test. |
1992 |
DBLP DOI BibTeX RDF |
comparative simulation, Discrete-event simulation, parallel simulation, concurrent simulation |
37 | John B. Evans |
The Devnet: a Petri Net for Discrete Event Simulation. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Circumspect token, engagement strategy, entity interaction, firing strategy, net implementation, object net, program activation, Simian language, simulation complexity, temporal expressions, parallelism, discrete-event simulation, processes, control structures |
37 | Ronald C. de Vries |
Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
null messages reduction, distributed discrete event simulation method, Misra approach, feedback networks, distributed processing, program verification, feedforward |
37 | Katerina Asdre, Stavros D. Nikolopoulos |
P-Tree Structures and Event Horizon: Efficient Event-Set Implementations. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
event set algorithms, hold model, event horizon, P-tree structures, data structures, discrete-event simulation, heap, P-tree |
37 | 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 |
37 | 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 |
37 | Ioannis A. Kakadiaris, Dimitris N. Metaxas |
3D Human Body Model Acquisition from Multiple Views. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
3D human body model acquisition, motion-based approach, human body part identification strategy, deforming silhouette, 2D shape estimation, supervisory control theory, computer vision, image sequences, multiple views, discrete event systems, discrete event systems, shape estimation, spatiotemporal analysis |
37 | Sophie Chabridon, Erol Gelenbe |
Dependable parallel computing with agents based on a task graph model. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
dependable parallel computing, task graph model, MIMD shared memory architecture, performance evaluation, parallel processing, parallel programming, parallel programs, agents, discrete event simulation, discrete-event simulator, fast Fourier transform, software performance evaluation, failure detection, application program |
37 | Karen Panetta Lentz, Elias S. Manolakos, Edward C. Czeck |
On the simulation of Multiple Stuck-at Faults using Multiple Domain Concurrent and Comparative Simulation. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
multiple stuck-at fault simulation, multiple domain simulation, comparative simulation, MDCCS, discrete event concurrent simulation, CPU time efficiency, digital logic fault simulation, fault diagnosis, logic testing, discrete event simulation, circuit analysis computing, fault location, concurrent engineering |
37 | 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 |
37 | Raghunandan Rajan, Philip A. Wilsey |
Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
aggressive cancellation, Time Warp parallel discrete event simulator, cancellation strategy, erroneous computation, lazy cancellation, straggler, previous state, anti messages, forward processing, regenerated output messages, hit/miss ratio, digital system simulation, performance, parallel programming, protocols, discrete event simulation, adaptive systems, synchronisation, LC, AC, time warp simulation, logical process, adaptive technique, PDES, adaptive approach |
37 | Sajal K. Das 0001, 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 |
37 | Jennifer Rexford, James W. Dolter, Wu-chang Feng, Kang G. Shin |
PP-MEss-SIM: a simulator for evaluating multicomputer interconnection networks. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
PP-MEss-SIM, multicomputer interconnection network evaluation, object-oriented discrete-event simulation environment, communication workloads, routing-switching algorithms, router models, low-level device specification, code decoupling, independent code development, application workloads, object-oriented programming, virtual machines, multiprocessor interconnection networks, discrete event simulation, network topology, network topologies, network design, high-level architectures, network routing |
37 | 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 |
37 | Heejo Lee, Kenji Toda, Jong Kim 0001, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi |
Performance comparison of real-time architectures using simulation. |
RTCSA |
1995 |
DBLP DOI BibTeX RDF |
real-time architectures, discrete event-driven, task-based simulator, priority-based communication, simulation, schedulability, performance evaluation, real-time systems, parallel processing, predictability, distributed processing, discrete event simulation, performance prediction, network architectures, processor, distributed real-time systems, performance comparison, scheduling policy, parallel computer systems, dedicated processor, interrupt handling |
37 | Joseph J. Martinka |
Requirements for client/server performance modeling. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
client/server performance modeling requirements, distributed application models, performance modeling, discrete event simulation, discrete event simulations, client-server systems, remote procedure calls, remote procedure calls, capacity planning, performance management, functional requirements |
37 | David W. Pritty, Duncan N. Smeed, Norman L. Lawrie |
A new class of high speed LAN access protocols based on the principle of timed packet release. |
LCN |
1995 |
DBLP DOI BibTeX RDF |
timed packet release, high speed local area network, bus structures, TPR, performance evaluation, performance, discrete event simulation, discrete event simulation, local area networks, access protocols, access protocols, comparative evaluation, high speed LAN |
37 | David W. Glazer, Carl Tropper |
On Process Migration and Load Balancing in Time Warp. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
active processmigration, simulated multiprocessor environment, PARALLEX, load balancing, resource allocation, discrete event simulation, discrete event simulation, Time Warp, process migration, resource requirements |
37 | James J. Nutaro, Phani Teja Kuruganti, Mallikarjun Shankar |
Seamless Simulation of Hybrid Systems with Discrete Event Software Packages. |
Annual Simulation Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Shafagh Jafer, Gabriel A. Wainer, Juan Carlos Maureira Bravo, Olivier Dalle |
Event behavior of discrete event simulations in CD++ vs. NS-2. |
SpringSim |
2008 |
DBLP DOI BibTeX RDF |
ELT, FES, DEVS, NS-2, CD++ |
Displaying result #1 - #100 of 5691 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|