David M. Nicol

Proceedings of the 2nd ACM International Workshop on Cyber-Physical System Security, 2016

2015

Parallel Simulation and Virtual-Machine-Based Emulation of Software-Defined Networks.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2015

Detection of x86 malware in AMI data payloads.

[BibT_eX]

[DOI]

Vignesh Babu

Proceedings of the 2015 IEEE International Conference on Smart Grid Communications, 2015

Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios.

[BibT_eX]

[DOI]

Zbigniew T. Kalbarczyk

William H. Sanders

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Conjoining Emulation and Network Simulators on Linux Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, London, United Kingdom, June 10, 2015

2014

A parallel network simulation and virtual time-based network emulation testbed.

[BibT_eX]

[DOI]

J. Simulation, 2014

Designed-in Security for Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2014

Modeling and analysis of stepping stone attacks.

[BibT_eX]

[DOI]

Vikas Mallapura

Proceedings of the 2014 Winter Simulation Conference, 2014

A continuous piecewise-linear NHPP intensity function estimator.

[BibT_eX]

[DOI]

Lawrence M. Leemis

Proceedings of the 2014 Winter Simulation Conference, 2014

CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Automatic Generation of Security Argument Graphs.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

TimeKeeper: a lightweight virtual time system for linux.

[BibT_eX]

[DOI]

Jereme Lamps

Matthew Caesar

Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2014

Evidence-based trust reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

Enabling Collaborative Research for Security and Resiliency of Energy Cyber Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2014

Denial-of-Service Threat to Hadoop/YARN Clusters with Multi-tenancy.

[BibT_eX]

[DOI]

Roy H. Campbell

Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

Knowledge Discovery from Big Data for Intrusion Detection Using LDA.

[BibT_eX]

[DOI]

Zbigniew T. Kalbarczyk

Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

2013

Trust mechanisms for cloud computing.

[BibT_eX]

[DOI]

J. Cloud Comput., 2013

Impacts of application lookahead on distributed network emulation.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulations Conference: Simulation Making Decisions in a Complex World, 2013

Prevention of malware propagation in AMI.

[BibT_eX]

[DOI]

Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013

Grand challenges in modeling and simulation: expanding our horizons.

[BibT_eX]

[DOI]

Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Parallel simulation of software defined networks.

[BibT_eX]

[DOI]

Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Go with the flow: toward workflow-oriented security assessment.

[BibT_eX]

[DOI]

Proceedings of the New Security Paradigms Workshop, 2013

Smart grid protocol testing through cyber-physical testbeds.

[BibT_eX]

[DOI]

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2013

A distributed monitoring architecture for AMIs: minimizing the number of monitoring nodes and enabling collided packet recovery.

[BibT_eX]

[DOI]

Proceedings of the SEGS'13, 2013

2012

A virtual time system for virtualization-based network emulations and simulations.

[BibT_eX]

[DOI]

J. Simulation, 2012

Validation of application behavior on a virtual time integrated network emulation testbed.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2012

Exploiting Uncertainty and Error to Accelerate Simulations.

[BibT_eX]

Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

A framework integrating attribute-based policies into role-based access control.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

Virtual Time Integration of Emulation and Parallel Simulation.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2012

Security and provenance in M3GS for cross-domain information sharing.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Military Communications Conference, 2012

Scaling issues for NERC CIP electronic security perimeter compliance assessment (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

Combating Unauthorized Load Signal Analysis with Targeted Event Masking.

[BibT_eX]

[DOI]

Thomas D. Nicol

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

The Not-So-Smart Grid: Preliminary work on identifying vulnerabilities in ANSI C12.22.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the Global Communications Conference, 2012

2011

Message from the program chairs.

[BibT_eX]

[DOI]

Michael Huth

Perform. Evaluation, 2011

S3F: the Scalable Simulation Framework revisited.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference 2011, 2011

An event buffer flooding attack in DNP3 controlled SCADA systems.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference 2011, 2011

A Virtual Time System for OpenVZ-Based Network Emulations.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2011

2010

A Formal-Semantics-Based Calculus of Trust.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2010

Methodologies for evaluating game theoretic defense against DDoS attacks.

[BibT_eX]

[DOI]

Proceedings of the 2010 Winter Simulation Conference, 2010

Fast simulation of background traffic through Fair Queueing networks.

[BibT_eX]

[DOI]

Proceedings of the 2010 Winter Simulation Conference, 2010

unFriendly: Multi-party Privacy Risks in Social Networks.

[BibT_eX]

[DOI]

Kurt Thomas

Chris Grier

Proceedings of the Privacy Enhancing Technologies, 10th International Symposium, 2010

Validation of Radio Channel Models Using an Anechoic Chamber.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2010

Efficient Gigabit Ethernet Switch Models for Large-Scale Simulation.

[BibT_eX]

[DOI]

Matthew Caesar

Proceedings of the 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2010

The Koobface botnet and the rise of social malware.

[BibT_eX]

[DOI]

Kurt Thomas

Proceedings of the 5th International Conference on Malicious and Unwanted Software, 2010

Experiences Validating the Access Policy Tool in Industrial Settings.

[BibT_eX]

[DOI]

Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010

Securing the perimeter: challenges in enforcing global access control.

[BibT_eX]

[DOI]

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

Role-based differentiation for insider detection algorithms.

[BibT_eX]

[DOI]

Suraj Nellikar

Jai J. Choi

Proceedings of the 2010 ACM workshop on Insider threats, Insider Threats '10, Chicago, 2010

Discrete-Event System Simulation, 5th New Internatinal Edition.

[BibT_eX]

Pearson Education, ISBN: 978-1-292-02437-0, 2010

2009

Models of Privacy Preserving Traffic Tunneling.

[BibT_eX]

[DOI]

Nabil Schear

Simul., 2009

A testbed for power system security evaluation.

[BibT_eX]

[DOI]

Charles M. Davis

Thomas J. Overbye

Int. J. Inf. Comput. Secur., 2009

Application of trusted network technology to industrial control networks.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructure Prot., 2009

A Post-disaster Mobility Model for Delay Tolerant Networking.

[BibT_eX]

[DOI]

Md. Yusuf Sarwar Uddin

Tarek F. Abdelzaher

Robin Kravets

Proceedings of the 2009 Winter Simulation Conference, 2009

The Virtual Power System Testbed and Inter-Testbed Integration.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Cyber Security Experimentation and Test, 2009

PolicyGlobe: a framework for integrating network and operating system security policies.

[BibT_eX]

[DOI]

Ryan H. Kagin

Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, 2009

A calculus of trust and its application to PKI and identity management.

[BibT_eX]

[DOI]

Proceedings of the IDtrust 2009, 2009

TrustGraph: Trusted Graphics Subsystem for High Assurance Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual Computer Security Applications Conference, 2009

2008

Efficient simulation of Internet worms.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2008

Usable Global Network Access Policy for Process Control Systems.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2008

Performance analysis of real traffic carried with encrypted cover flows: Invited talk 2.

[BibT_eX]

[DOI]

Proceedings of the 2008 Spring Simulation Multiconference, 2008

Performance Analysis of Real Traffic Carried with Encrypted Cover Flows.

[BibT_eX]

[DOI]

Nabil Schear

Proceedings of the 22st International Workshop on Principles of Advanced and Distributed Simulation, 2008

Applying Trusted Network Technology To Process Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Critical Infrastructure Protection II, 2008

2007

Modeling and analysis of worm defense using stochastic activity networks.

[BibT_eX]

[DOI]

Proceedings of the 2007 Spring Simulation Multiconference, 2007

Analysis of Local Address Scanning by Puppetnets.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Securing Current and Future Process Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Critical Infrastructure Protection, 2007

2006

High-Performance Simulation of Low-Resolution Network Flows.

[BibT_eX]

[DOI]

Simul., 2006

RINSE: The Real-Time Immersive Network Simulation Environment for Network Security Exercises (Extended Version).

[BibT_eX]

[DOI]

Simul., 2006

Detection of nuclear material at border crossings using motion correlation.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference WSC 2006, 2006

The impact of stochastic variance on worm propagation and detection.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Workshop on Rapid Malcode, 2006

06161 Executive Summary -- Simulation and Verification of Dynamic Systems.

[BibT_eX]

[DOI]

Hanne Riis Nielson

Corrado Priami

Adelinde M. Uhrmacher

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.

[BibT_eX]

[DOI]

Corrado Priami

Hanne Riis Nielson

Adelinde M. Uhrmacher

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

2005

Empirical Validation of Wireless Models in Simulations of Ad Hoc Routing Protocols.

[BibT_eX]

[DOI]

Simul., 2005

Optimized pre-copy calibration of hard drives.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

The performance impact of BGP security.

[BibT_eX]

[DOI]

Meiyuan Zhao

Sean W. Smith

IEEE Netw., 2005

Modeling and Simulation in Security Evaluation.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2005

Performance analysis of binary code protection.

[BibT_eX]

[DOI]

Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Advanced concepts in large-scale network simulation.

[BibT_eX]

[DOI]

Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Simulation of Network Traffic at Coarse Timescales.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop on Parallel and Distributed Simulation, 2005

RINSE: The Real-Time Immersive Network Simulation Environment for Network Security Exercises.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop on Parallel and Distributed Simulation, 2005

Models and Analysis of Active Worm Defense.

[BibT_eX]

[DOI]

Proceedings of the Computer Network Security, 2005

Aggregated path authentication for efficient BGP security.

[BibT_eX]

[DOI]

Meiyuan Zhao

Sean W. Smith

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

Discrete event fluid modeling of background TCP traffic.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2004

Editorial.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2004

Model-Based Evaluation: From Dependability to Security.

[BibT_eX]

[DOI]

William H. Sanders

Kishor S. Trivedi

IEEE Trans. Dependable Secur. Comput., 2004

Evaluation of efficient security for BGP route announcements using parallel simulation.

[BibT_eX]

[DOI]

Sean W. Smith

Meiyuan Zhao

Simul. Model. Pract. Theory, 2004

Fast Model-Based Penetration Testing.

[BibT_eX]

[DOI]

Sankalp Singh

James Lyons

Proceedings of the 36th conference on Winter simulation, 2004

Simulation Analysis of Virtual Geographic Routing.

[BibT_eX]

Michael E. Goldsby

Michael M. Johnson

Proceedings of the 36th conference on Winter simulation, 2004

On-Demand Computation of Policy Based Routes for Large-Scale Network Simulation.

[BibT_eX]

[DOI]

Proceedings of the 36th conference on Winter simulation, 2004

A BGP Attack Against Traffic Engineering.

[BibT_eX]

[DOI]

Jintae Kim

Steven Y. Ko

Xenofontas A. Dimitropoulos

George F. Riley

Proceedings of the 36th conference on Winter simulation, 2004

Evaluation of Secure Peer-to-Peer Overlay Routing for Survivable SCADA Systems.

[BibT_eX]

[DOI]

Jeffrey J. Farris

Proceedings of the 36th conference on Winter simulation, 2004

Comparing Passive and Active Worm Defenses.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Simulation Validation Using Direct Execution of Wireless Ad-Hoc Routing Protocols.

[BibT_eX]

[DOI]

Proceedings of the 18th Workshop on Parallel and Distributed Simulation, 2004

Diagnostics for Causes of Packet Loss in a High Performance Data Transfer System.

[BibT_eX]

[DOI]

Jay W. Larson

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

On k-ary n-cubes: Theory and Applications.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2003

Simulation of large scale networks II: modeling and simulation best practices for wireless ad hoc networks.

[BibT_eX]

[DOI]

Yougu Yuan

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Simulation of large scale networks I: simulation of large-scale networks using SSF.

[BibT_eX]

[DOI]

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Simulation of large scale networks II: development of an internet backbone topology for large-scale network simulations.

[BibT_eX]

[DOI]

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Simulating realistic network worm traffic for worm warning system design and testing.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Workshop on Rapid Malcode, 2003

Utility Analysis of Parallel Simulation.

[BibT_eX]

[DOI]

Proceedings of the 17th Workshop on Parallel and Distributed Simulation, 2003

An Implementation of the SSF Scalable Simulation Framework on the Cray MTA.

[BibT_eX]

[DOI]

Proceedings of the 17th Workshop on Parallel and Distributed Simulation, 2003

Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluations, 2003

2002

Composite Synchronization in Parallel Discrete-Event Simulation.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2002

Network modeling and simulation: a scalable simulator for TinyOS applications.

[BibT_eX]

[DOI]

Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, 2002

Analysis of composite synchronization.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop on Parallel and Distributed Simulation, 2002

Lookahead revisited in wireless network simulations.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop on Parallel and Distributed Simulation, 2002

A Mixed Abstraction Level Simulation Model of Large-Scale Internet Worm Infestations.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Modeling, 2002

2001

Fluid simulation: discrete event fluid modeling of TCP.

[BibT_eX]

[DOI]

Proceedings of the 33nd conference on Winter simulation, 2001

Wireless: towards high performance modeling of the 802.11 Wireless protocol.

[BibT_eX]

[DOI]

Proceedings of the 33nd conference on Winter simulation, 2001

Consistent modeling of distributed mutual exclusion protocol using optimistic simulation.

[BibT_eX]

[DOI]

Yoke-Hean Low

Proceedings of the 15th Workshop on Parallel and Distributed Simulation, 2001

Lock-free scheduling of logical processes in parallel simulation.

[BibT_eX]

[DOI]

King Tan

Proceedings of the 15th Workshop on Parallel and Distributed Simulation, 2001

Learning not to share.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Parallel and Distributed Simulation, 2001

2000

A geographically distributed enterprise simulation system.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2000

Cost/benefit analysis of interval jumping in power-control simulation.

[BibT_eX]

[DOI]

Proceedings of the 32nd conference on Winter simulation, 2000

Safe timestamps and large-scale modeling.

[BibT_eX]

[DOI]

James H. Cowie

Proceedings of the 14th Workshop on Parallel and Distributed Simulation, 2000

Using N-body Algorithms for Interference Computation in Wireless Cellular Simulations.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August, 2000

Discrete-Event Simulation in Performance Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation: Origins and Directions, 2000

1999

Discrete-Event Simulation of Fluid Stochastic Petri Nets.

[BibT_eX]

[DOI]

Gianfranco Ciardo

Kishor S. Trivedi

IEEE Trans. Software Eng., 1999

Modeling the global Internet.

[BibT_eX]

[DOI]

James H. Cowie

Andrew T. Ogielski

Comput. Sci. Eng., 1999

An investigation of out-of-core parallel discrete-event simulation.

[BibT_eX]

[DOI]

Anna L. Poplawski

Proceedings of the 31st conference on Winter simulation: Simulation, 1999

Strategic directions in simulation research (panel).

[BibT_eX]

[DOI]

Proceedings of the 31st conference on Winter simulation: Simulation, 1999

Towards Realistic Million-Node Internet Simulation.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Performance Prediction of a Parallel Simulator.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Workshop on Parallel and Distributed Simulation, 1999

1998

Transformation of NS TCP Models to TED.

[BibT_eX]

[DOI]

Brian J. Premore

SIGMETRICS Perform. Evaluation Rev., 1998

Performing Out-of Core FFTs on Parallel Disk Systems.

[BibT_eX]

[DOI]

Thomas H. Cormen

Parallel Comput., 1998

Distributed State Space Generation of Discrete-State Stochastic Models.

[BibT_eX]

[DOI]

Gianfranco Ciardo

Joshua Gluckman

INFORMS J. Comput., 1998

Fluid stochastic Petri nets: Theory, applications, and solution techniques.

[BibT_eX]

[DOI]

Graham Horton

Vidyadhar G. Kulkarni

Kishor S. Trivedi

Eur. J. Oper. Res., 1998

Nops: A Conservative Parallel Simulation Engine for TeD.

[BibT_eX]

[DOI]

Anna L. Poplawski

Proceedings of the 12th Workshop on Parallel and Distributed Simulation, 1998

Rapid Simulation of Wireless Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Parallel and Distributed Simulation, 1998

Scalability, Locality, Partitioning and Synchronization PDES.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Parallel and Distributed Simulation, 1998

IDES: A Java-based Distributed Simulation Engine.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS 1998, 1998

1997

Efficient Bulk-Loading of Gridfiles.

[BibT_eX]

[DOI]

Scott T. Leutenegger

IEEE Trans. Knowl. Data Eng., 1997

Out-of-Core FFTs with Parallel Disks.

[BibT_eX]

[DOI]

Thomas H. Cormen

SIGMETRICS Perform. Evaluation Rev., 1997

Automated Parallelization of Discrete State-Space Generation.

[BibT_eX]

[DOI]

Gianfranco Ciardo

J. Parallel Distributed Comput., 1997

Balancing contention and synchronization on the Intel Paragon.

[BibT_eX]

[DOI]

Shahid H. Bokhari

IEEE Concurrency, 1997

Parallel Simulation of TCP/IP Using TeD.

[BibT_eX]

[DOI]

Brian J. Premore

Proceedings of the 29th conference on Winter simulation, 1997

The IDES Framework: A Case Study in Development of a Parallel Discrete-Event Simulation System.

[BibT_eX]

[DOI]

Michael M. Johnson

Ann S. Yoshimura

Proceedings of the 29th conference on Winter simulation, 1997

The Dark Side of Risk (what your mother never told you about Time Warp).

[BibT_eX]

[DOI]

X. Liu

Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Performance Modeling of the IDES Framework.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Multiprocessor Out-of-core FFTs with Distributed Memory and Parallel Disks (extended abstract).

[BibT_eX]

[DOI]

Thomas H. Cormen

Jake Wegmann

Proceedings of the Fifth Workshop on I/O in Parallel and Distributed Systems, 1997

Parallel Simulation: Past, Present, and Future.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 30st Annual Simulation Symposium (SS '97), April 7-9, 1997, 1997

1996

Parallelized Direct Execution Simulation of Message-Passing Parallel Programs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1996

Parallel Execution for Serial Simulators.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 1996

Analysis of Bounded Time Warp and Comparison with YAWNS.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 1996

Static Assignment of Stochastic Tasks Using Majorization.

[BibT_eX]

[DOI]

Rahul Simha

Donald F. Towsley

IEEE Trans. Computers, 1996

On Bottleneck Partitioning of k-Ary n-Cubes.

[BibT_eX]

[DOI]

Parallel Process. Lett., 1996

Isomorphic Routing on a Toroidal Mesh.

[BibT_eX]

[DOI]

INFORMS J. Comput., 1996

Principles of Conservative Parallel Simulation.

[BibT_eX]

[DOI]

Proceedings of the 28th conference on Winter simulation, 1996

Experiments in Automated Load Balancing.

[BibT_eX]

[DOI]

Linda F. Wilson

Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 1996

On Extending More Parallelism to Serial Simulators.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 1996

Parallelizable Execution-Driven Simulation of Threaded Distributed Memory Parallel Computations.

[BibT_eX]

[DOI]

J. X. Liu

Proceedings of the MASCOTS '96, 1996

Building Parallel Simulations from Serial Simulators.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS '96, 1996

Towards a Thread-Based Parallel Direct Execution Simulator.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995

A Comparative Study of Parallel Algorithms for Simulating Continuous Time Markov Chains.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 1995

Noncommittal Barrier Synchronization.

[BibT_eX]

[DOI]

Parallel Comput., 1995

Automated Parallelization of Timed Petri-Net Simulations.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1995

Footsteps: Trail-Blazing the Web.

[BibT_eX]

[DOI]

Calum Smeaton

Alan Falconer Slater

Comput. Networks ISDN Syst., 1995

Automated Load Balancing in SPEEDES.

[BibT_eX]

[DOI]

Linda F. Wilson

Proceedings of the 27th conference on Winter simulation, 1995

The fluid stochastic Petri net simulator.

[BibT_eX]

[DOI]

Andrew S. Miner

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

A Heuristic for Partitioning Parallel Computation.

[BibT_eX]

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

Global virtual time and distributed synchronization.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Parallel and Distributed Simulation, 1995

On extending parallelism to serial simulators.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Parallel and Distributed Simulation, 1995

Empirical study of parallel trace-driven LRU cache simulators.

[BibT_eX]

[DOI]

Eric Carr

Proceedings of the Ninth Workshop on Parallel and Distributed Simulation, 1995

Parallelized Network Simulators for Message-Passing Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS '95, 1995

1994

Massively Parallel Algorithms for Trace-Driven Cache Simulations.

[BibT_eX]

[DOI]

Albert G. Greenberg

Boris D. Lubachevsky

IEEE Trans. Parallel Distributed Syst., 1994

Optimal Processor Assignment for a Class of Pipelined Computations.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

Rectilinear Partitioning of Irregular Data Parallel Computations.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1994

Parallel simulation today.

[BibT_eX]

[DOI]

Richard Fujimoto

Ann. Oper. Res., 1994

Timing simulation of paragon codes using workstation clusters.

[BibT_eX]

[DOI]

Proceedings of the 26th conference on Winter simulation, 1994

Optimal Multiphase Complete Exchange on Circuit-Switched Hypercube Architectures.

[BibT_eX]

[DOI]

Shahid H. Bokhari

Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1994

Efficient massively parallel simulation of dynamic channel assignment schemes for wireless cellular communications.

[BibT_eX]

[DOI]

Proceedings of the Eighth Workshop on Parallel and Distributed Simulation, 1994

A distributed memory LAPSE: parallel simulation of message-passing programs.

[BibT_eX]

[DOI]

Proceedings of the Eighth Workshop on Parallel and Distributed Simulation, 1994

Parallel Simulation of Markovian Queueing Networks.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

1993

Conservative Parallel Simulation of Continuous Time Markov Chains Using Uniformization.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1993

Optimistic Parallel Simulation of Continuous Time Markov Chains Using Uniformization.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1993

A Sweep Algorithm for Massively Parallel Simulation of Circuit-Switched Networks.

[BibT_eX]

[DOI]

Bruno Gaujal

Albert G. Greenberg

J. Parallel Distributed Comput., 1993

The Cost of Conservative Synchronization in Parallel Discrete Event Simulations.

[BibT_eX]

[DOI]

J. ACM, 1993

The impact of adding aggressiveness to a non-aggressive windowing protocol.

[BibT_eX]

[DOI]

Proceedings of the 25th Winter Simulation Conference, 1993

Parallel Simulation of Markovian Queueing Networks Using Adaptive Uniformization.

[BibT_eX]

[DOI]

Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1993

Parallel algorithms for simulating continuous time Markov chains.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Parallel and Distributed Simulation, 1993

Global synchronization for optimistic parallel discrete event simulation.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Parallel and Distributed Simulation, 1993

Load Balancing of Complex Stochastic Tasks Using Stochastic Majorization.

[BibT_eX]

[DOI]

Rahul Simha

Donald F. Towsley

Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

1992

Estimating the Probability of Failure When Testing Reveals No Failures.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1992

Conservative Parallel Simulation of Priority Class Queuing Networks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1992

MIMD Parallel Simulation of Circuit-Switched Communication Networks.

[BibT_eX]

[DOI]

Albert G. Greenberg

Boris D. Lubachevsky

Proceedings of the 24th Winter Simulation Conference, 1992

State of the art in parallel simulation.

[BibT_eX]

[DOI]

Richard M. Fujimoto

Proceedings of the 24th Winter Simulation Conference, 1992

1991

Performance Bounds on Parallel Self-Initiating Discrete-Event Simulations.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 1991

Improved Algorithms for Mapping Pipelined and Parallel Computations.

[BibT_eX]

[DOI]

David R. O'Hallaron

IEEE Trans. Computers, 1991

Parallel simulation of timed Petri-nets.

[BibT_eX]

[DOI]

Subhas C. Roy

Proceedings of the 23th Winter Simulation Conference, 1991

1990

An Anlysis of Scatter Decomposition.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1990

Optimal Dynamic Remapping of Data Parallel Computations.

[BibT_eX]

[DOI]

Paul F. Reynolds Jr.

IEEE Trans. Computers, 1990

A Multistage Linear Array Assignment Problem.

[BibT_eX]

[DOI]

Oper. Res., 1990

Parallel Solution of Sparse One-Dimensional Dynamic Programming Problems.

[BibT_eX]

[DOI]

INFORMS J. Comput., 1990

A "conservative" approach to parallelizing the Sharks World simulation.

[BibT_eX]

[DOI]

Scott E. Riffe

Proceedings of the 22th Winter Simulation Conference, 1990

Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), 1990

1989

Optimal Partitioning of Random Programs Across two Processors.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Delay point schedules for irregular parallel computations.

[BibT_eX]

[DOI]

James C. Townsend

Int. J. Parallel Program., 1989

Efficient aggregation of multiple PLs in distributed memory parallel simulations.

[BibT_eX]

[DOI]

Chris C. Michael

Patrick Inouye

Proceedings of the 21st Winter Simulation Conference, 1989

Accurate Modeling of Parallel Scientific Computations.

[BibT_eX]

[DOI]

James C. Townsend

Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1989

1988

Dynamic Remapping of Parallel Computations with Varying Resource Demands.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

Expected Performance of m-Solution Backtracking.

[BibT_eX]

[DOI]

SIAM J. Comput., 1988

Problem Size, Parallel Architecture, and Optimal Speedup.

[BibT_eX]

[DOI]

Frank H. Willard

J. Parallel Distributed Comput., 1988

Implementation parallelized queueing network simulations using FORTRAN and data abstraction.

[BibT_eX]

[DOI]

Keith W. Miller

Proceedings of the 20th conference on Winter simulation, 1988

Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

Principles of runtime support for parallel processors.

[BibT_eX]

[DOI]

Proceedings of the 2nd international conference on Supercomputing, 1988

1987

Performance issues for distributed battlefield simulations.

[BibT_eX]

[DOI]

Proceedings of the 19th conference on Winter simulation, 1987

The PARTY Parallel Runtime System - Invited Talk.

[BibT_eX]

Proceedings of the Third SIAM Conference on Parallel Processing for Scientific Computing, 1987

1985

An optimal repartitioning decision policy.

[BibT_eX]

[DOI]

Paul F. Reynolds Jr.

Proceedings of the 17th conference on Winter simulation, 1985

Reduction of the effects of the communication delays in scientific algorithms on message passing MIMD architectures.

[BibT_eX]

Vijay K. Naik

Proceedings of the Selected Papers from the Second Conference on Parallel Processing for Scientific Computing, 1985

1984

Problem oriented protocol design.

[BibT_eX]

[DOI]