|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance Evaluation ![In: Performance Evaluation: Origins and Directions, pp. 443-457, 2000, Springer, 3-540-67193-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
69 | Nasser Kalantery |
Parallel discrete event processing of sequential computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 67-72, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 4(1), pp. 3-51, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(7), pp. 551-562, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 62-72, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
57 | Jeffrey S. Steinman |
Discrete-Event Simulation and the Event Horizon Part 2: Event List Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, PADS '96, Philadelphia, PA, USA, May 22-24, 1996, pp. 170-178, 1996, IEEE Computer Society, 0-8186-7539-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 599-603, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 987-995, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 4th Conference on Computing Frontiers, 2007, Ischia, Italy, May 7-9, 2007, pp. 69-76, 2007, ACM, 978-1-59593-683-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 19th Workshop on Parallel and Distributed Simulation, PADS 20055, Monterey, CA, USA, June 1-3, 2005, pp. 217-226, 2005, IEEE Computer Society, 0-7695-2383-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 127-146, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 431-450, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 451-469, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
49 | Jan Komenda, Tomás Masopust, Jan H. van Schuppen |
Supervisory Control of Distributed Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 107-126, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
49 | Jan Komenda, Tomás Masopust, Jan H. van Schuppen |
Coordination Control of Distributed Discrete-Event Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 147-167, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 257-278, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grand Challenges for Discrete Event Logistics Systems ![In: Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
49 | Martin Grunow |
10102 Position Statement -- Grand Challenges for Discrete Event Logistics Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grand Challenges for Discrete Event Logistics Systems ![In: Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grand Challenges for Discrete Event Logistics Systems ![In: Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
49 | Peter Lendermann |
Grand Challenges in Discrete Event Logistics Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grand Challenges for Discrete Event Logistics Systems ![In: Grand Challenges for Discrete Event Logistics Systems, 7.03. - 12.03.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
47 | Mauricio Marín |
Comparative Analysis of a Parallel Discrete-Event Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 20st International Conference of the Chilean Computer Science Society (SCCC 2000), 16-18 November 2000, Santiago, Chile, pp. 172-177, 2000, IEEE Computer Society, 0-7695-0810-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 219-226, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 29st Annual Simulation Symposium (SS '96), April 8-11, 1996, New Orleans, LA, USA, pp. 5-14, 1996, IEEE Computer Society, 0-8186-7432-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 68-71, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 288-, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France, pp. 156-161, 1995, ACM, 0-89791-771-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 185-186, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(4), pp. 225-238, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part II, pp. 954-960, 2004, Springer, 3-540-23206-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 2(3), pp. 214-238, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 510-517, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(1), pp. 7-32, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 2, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC (1) ![In: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I, pp. 671-681, 2005, Springer, 3-540-28653-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 518-525, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(2), pp. 228-241, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 29st Annual Simulation Symposium (SS '96), April 8-11, 1996, New Orleans, LA, USA, pp. 148-154, 1996, IEEE Computer Society, 0-8186-7432-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 276-288, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 129-136, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 2(3), pp. 239-264, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 19(1), pp. 1:1-1:21, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 34(1), pp. 27-81, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 14th Workshop on Parallel and Distributed Simulation, PADS 2000, Bologna, Italy, May 28-31, 2000, pp. 15-22, 2000, IEEE Computer Society, 0-7695-0667-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 16(4), pp. 315-385, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, PADS '97, Lockenhaus, Austria, June 10-13, 1997, pp. 164-171, 1997, IEEE Computer Society, 0-8186-7965-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 2-12, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 32nd Annual Simulation Symposium (SS '99), 11-15 April 1999, San Diego, CA, USA, pp. 20-25, 1999, IEEE Computer Society, 0-7695-0128-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 10(3), pp. 221-241, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, 4th International Conference, RSCTC 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings, pp. 310-315, 2004, Springer, 3-540-22117-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: Fifth International Symposium on Autonomous Decentralized Systems, ISADS 2001, Dallas, Texas, USA, March 26-28, 2001, pp. 464-469, 2001, IEEE Computer Society, 0-7695-1065-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Béatrice Bérard |
An Introduction to Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 169-187, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Jorge Júlvez, Carlos Renato Vázquez, Cristian Mahulea, Manuel Silva 0001 |
Continuous Petri Nets: Controllability and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 407-428, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Jörg Raisch |
Modelling of Engineering Phenomena by Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 3-22, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Stefan Haar, Eric Fabre |
Diagnosis with Petri Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 301-317, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Stefan Haar, Tomás Masopust |
Languages, Decidability, and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 23-43, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | René K. Boel, George Jiroveanu |
The On-Line Diagnosis of Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 343-364, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Carlos Renato Vázquez, Cristian Mahulea, Jorge Júlvez, Manuel Silva 0001 |
Introduction to Fluid Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 365-386, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Eric Fabre |
Diagnosis and Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 85-106, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Maria Paola Cabasino, Alessandro Giua, Carla Seatzu |
Structural Analysis of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 213-233, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Jan Komenda |
Supervisory Control with Partial Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 65-84, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Maria Paola Cabasino, Alessandro Giua, Carla Seatzu |
Introduction to Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 191-211, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Maria Paola Cabasino, Alessandro Giua, Carla Seatzu |
Diagnosis of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 279-300, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Cristian Mahulea, Jorge Júlvez, Carlos Renato Vázquez, Manuel Silva 0001 |
Continuous Petri Nets: Observability and Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 387-406, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Tomás Masopust, Jan H. van Schuppen |
Supervisory Control with Complete Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 45-64, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Alessandro Giua |
Supervisory Control of Petri Nets with Language Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 235-255, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua, Carla Seatzu |
Petri Nets with Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Control of Discrete-Event Systems ![In: Control of Discrete-Event Systems, pp. 319-341, 2013, Springer, 978-1-4471-4275-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grand Challenges for Discrete Event Logistics Systems ![Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
38 | Daniel A. Reed, Allen D. Malony, Bradley D. McCredie |
Parallel Discrete Event Simulation Using Shared Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(4), pp. 541-553, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 343-352, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 18(2), pp. 241-262, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia International Conference on Modelling and Simulation ![In: Second Asia International Conference on Modelling and Simulation, AMS 2008, Kuala Lumpur, Malaysia, May 13-15, 2008, pp. 861-866, 2008, IEEE Computer Society, 978-0-7695-3136-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(3), pp. 355-403, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(2), pp. 179-209, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 207-213, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 27-40, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 693-701, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 16(4), pp. 419-449, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 40(2), pp. 207-232, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 11(3-4), pp. 210-223, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIS-RT ![In: 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '99), 22-23 October 1999, Greenbelt, MD, USA, pp. 93-100, 1999, IEEE Computer Society, 0-7695-0459-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 3(2), pp. 107-118, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 91-125, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 82-91, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(1), pp. 19-26, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, PADS '97, Lockenhaus, Austria, June 10-13, 1997, pp. 124-131, 1997, IEEE Computer Society, 0-8186-7965-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, PADS '96, Philadelphia, PA, USA, May 22-24, 1996, pp. 114-123, 1996, IEEE Computer Society, 0-8186-7539-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 618-623, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 350-357, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 86-92, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 13-21, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 22-, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 51-, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 84-, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 28st Annual Simulation Symposium (SS '95), April 25-28, 1995, Santa Barbara, California, USA, pp. 341-350, 1995, IEEE Computer Society, 0-8186-7091-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 150-, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 108-111, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 443-452, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(3), pp. 318-327, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 26-28 March 2007, Norfolk, Virginia, USA, pp. 81-87, 2007, IEEE Computer Society, 978-0-7695-2814-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 13, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|