David M. Nicol

According to our database1, David M. Nicol authored at least 221 papers between 1984 and 2019.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Awards

ACM Fellow

ACM Fellow 2005, "For contributions to discrete-event simulation.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Security risk assessment for SDN-enabled smart grids.
Computer Communications, 2019

2018
Temporal Integration of Emulation and Network Simulators on Linux Multiprocessors.
ACM Trans. Model. Comput. Simul., 2018

Toward an Internet of Battlefield Things: A Resilience Perspective.
IEEE Computer, 2018

Cyber Risk of Coordinated Attacks in Critical Infrastructures.
Proceedings of the 2018 Winter Simulation Conference, 2018

On Repeatable Emulation in Virtual Testbeds.
Proceedings of the 2018 Winter Simulation Conference, 2018

Network Coding for Critical Infrastructure Networks.
Proceedings of the 2018 IEEE 26th International Conference on Network Protocols, 2018


Analysis of Stepping Stone Attacks in Dynamic Vulnerability Graphs.
Proceedings of the 2018 IEEE International Conference on Communications, 2018

2017
An anatomy of trust in public key infrastructure.
IJCIS, 2017

Parallel discrete event simulation: The making of a field.
Proceedings of the 2017 Winter Simulation Conference, 2017

Melody: Synthesized datasets for evaluating intrusion detection systems for the smart grid.
Proceedings of the 2017 Winter Simulation Conference, 2017

A Performance Model of Composite Synchronization.
Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2017

An Approach to Incorporating Uncertainty in Network Security Analysis.
Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp, HoTSoS 2017, 2017

2016
Next-Generation Access Control for Distributed Control Systems.
IEEE Internet Computing, 2016

Emulation/simulation of PLC networks with the S3F network simulator.
Proceedings of the Winter Simulation Conference, WSC 2016, 2016

Cyber-Physical models for power grid security analysis: 8-substation case.
Proceedings of the 2016 IEEE International Conference on Smart Grid Communications, 2016

Validating resiliency in Software Defined Networks for smart grids.
Proceedings of the 2016 IEEE International Conference on Smart Grid Communications, 2016

Efficient Monte Carlo Evaluation of SDN Resiliency.
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

I Am Joe's Fridge: Scalable Identity in the Internet of Things.
Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

The Right Tool for the Job: A Case for Common Input Scenarios for Security Assessment.
Proceedings of the Graphical Models for Security - Third International Workshop, 2016

Risk Assessment of Cyber Access to Physical Infrastructure in Cyber-Physical Systems.
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.
ACM Trans. Model. Comput. Simul., 2015

Detection of x86 malware in AMI data payloads.
Proceedings of the 2015 IEEE International Conference on Smart Grid Communications, 2015

Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios.
Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Conjoining Emulation and Network Simulators on Linux Multiprocessors.
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.
J. Simulation, 2014

Designed-in Security for Cyber-Physical Systems.
IEEE Security & Privacy, 2014

Modeling and analysis of stepping stone attacks.
Proceedings of the 2014 Winter Simulation Conference, 2014

A continuous piecewise-linear NHPP intensity function estimator.
Proceedings of the 2014 Winter Simulation Conference, 2014

CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Automatic Generation of Security Argument Graphs.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

TimeKeeper: a lightweight virtual time system for linux.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2014

Evidence-based trust reasoning.
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.
Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2014

Denial-of-Service Threat to Hadoop/YARN Clusters with Multi-tenancy.
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.
Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

2013
Trust mechanisms for cloud computing.
J. Cloud Computing, 2013

Impacts of application lookahead on distributed network emulation.
Proceedings of the Winter Simulations Conference: Simulation Making Decisions in a Complex World, 2013

Prevention of malware propagation in AMI.
Proceedings of the IEEE Fourth International Conference on Smart Grid Communications, 2013

Grand challenges in modeling and simulation: expanding our horizons.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Parallel simulation of software defined networks.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Go with the flow: toward workflow-oriented security assessment.
Proceedings of the New Security Paradigms Workshop, 2013

Smart grid protocol testing through cyber-physical testbeds.
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.
Proceedings of the SEGS'13, 2013

2012
A virtual time system for virtualization-based network emulations and simulations.
J. Simulation, 2012

Validation of application behavior on a virtual time integrated network emulation testbed.
Proceedings of the Winter Simulation Conference, 2012

Exploiting Uncertainty and Error to Accelerate Simulations.
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.
Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 2012

Virtual Time Integration of Emulation and Parallel Simulation.
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.
Proceedings of the 31st IEEE Military Communications Conference, 2012

Scaling issues for NERC CIP electronic security perimeter compliance assessment (extended abstract).
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

Combating Unauthorized Load Signal Analysis with Targeted Event Masking.
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.
Proceedings of the Workshops Proceedings of the Global Communications Conference, 2012

2011
S3F: the Scalable Simulation Framework revisited.
Proceedings of the Winter Simulation Conference 2011, 2011

An event buffer flooding attack in DNP3 controlled SCADA systems.
Proceedings of the Winter Simulation Conference 2011, 2011

A Virtual Time System for OpenVZ-Based Network Emulations.
Proceedings of the 25th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, 2011

2010
A Formal-Semantics-Based Calculus of Trust.
IEEE Internet Computing, 2010

Methodologies for evaluating game theoretic defense against DDoS attacks.
Proceedings of the 2010 Winter Simulation Conference, 2010

Fast simulation of background traffic through Fair Queueing networks.
Proceedings of the 2010 Winter Simulation Conference, 2010

unFriendly: Multi-party Privacy Risks in Social Networks.
Proceedings of the Privacy Enhancing Technologies, 10th International Symposium, 2010

Validation of Radio Channel Models Using an Anechoic Chamber.
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.
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.
Proceedings of the 5th International Conference on Malicious and Unwanted Software, 2010

Experiences Validating the Access Policy Tool in Industrial Settings.
Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010

Discrete-Event System Simulation, 5th New Internatinal Edition.
Pearson Education, ISBN: 978-1-292-02437-0, 2010

2009
Models of Privacy Preserving Traffic Tunneling.
Simulation, 2009

A testbed for power system security evaluation.
IJICS, 2009

Application of trusted network technology to industrial control networks.
IJCIP, 2009

The Virtual Power System Testbed and Inter-Testbed Integration.
Proceedings of the 2nd Workshop on Cyber Security Experimentation and Test, 2009

PolicyGlobe: a framework for integrating network and operating system security policies.
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.
Proceedings of the IDtrust 2009, 2009

TrustGraph: Trusted Graphics Subsystem for High Assurance Systems.
Proceedings of the Twenty-Fifth Annual Computer Security Applications Conference, 2009

2008
Efficient simulation of Internet worms.
ACM Trans. Model. Comput. Simul., 2008

Usable Global Network Access Policy for Process Control Systems.
IEEE Security & Privacy, 2008

Performance analysis of real traffic carried with encrypted cover flows: Invited talk 2.
Proceedings of the 2008 Spring Simulation Multiconference, 2008

Performance Analysis of Real Traffic Carried with Encrypted Cover Flows.
Proceedings of the 22st International Workshop on Principles of Advanced and Distributed Simulation, 2008

Applying Trusted Network Technology To Process Control Systems.
Proceedings of the Critical Infrastructure Protection II, 2008

2007
Modeling and analysis of worm defense using stochastic activity networks.
Proceedings of the 2007 Spring Simulation Multiconference, 2007

Analysis of Local Address Scanning by Puppetnets.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Securing Current and Future Process Control Systems.
Proceedings of the Critical Infrastructure Protection, 2007

2006
High-Performance Simulation of Low-Resolution Network Flows.
Simulation, 2006

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

Detection of nuclear material at border crossings using motion correlation.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

The impact of stochastic variance on worm propagation and detection.
Proceedings of the 2006 ACM Workshop on Rapid Malcode, 2006

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

06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.
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.
Simulation, 2005

Optimized pre-copy calibration of hard drives.
SIGMETRICS Performance Evaluation Review, 2005

The performance impact of BGP security.
IEEE Network, 2005

Modeling and Simulation in Security Evaluation.
IEEE Security & Privacy, 2005

Performance analysis of binary code protection.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Advanced concepts in large-scale network simulation.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Simulation of Network Traffic at Coarse Timescales.
Proceedings of the 19th Workshop on Parallel and Distributed Simulation, 2005

RINSE: The Real-Time Immersive Network Simulation Environment for Network Security Exercises.
Proceedings of the 19th Workshop on Parallel and Distributed Simulation, 2005

Models and Analysis of Active Worm Defense.
Proceedings of the Computer Network Security, 2005

Aggregated path authentication for efficient BGP security.
Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004
Discrete event fluid modeling of background TCP traffic.
ACM Trans. Model. Comput. Simul., 2004

Editorial.
ACM Trans. Model. Comput. Simul., 2004

Model-Based Evaluation: From Dependability to Security.
IEEE Trans. Dependable Sec. Comput., 2004

Evaluation of efficient security for BGP route announcements using parallel simulation.
Simulation Modelling Practice and Theory, 2004

Fast Model-Based Penetration Testing.
Proceedings of the 36th conference on Winter simulation, 2004

Simulation Analysis of Virtual Geographic Routing.
Proceedings of the 36th conference on Winter simulation, 2004

On-Demand Computation of Policy Based Routes for Large-Scale Network Simulation.
Proceedings of the 36th conference on Winter simulation, 2004

A BGP Attack Against Traffic Engineering.
Proceedings of the 36th conference on Winter simulation, 2004

Evaluation of Secure Peer-to-Peer Overlay Routing for Survivable SCADA Systems.
Proceedings of the 36th conference on Winter simulation, 2004

Comparing Passive and Active Worm Defenses.
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.
Proceedings of the 18th Workshop on Parallel and Distributed Simulation, 2004

Diagnostics for Causes of Packet Loss in a High Performance Data Transfer System.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003
On k-ary n-cubes: Theory and Applications.
Discrete Applied Mathematics, 2003

Simulation of large scale networks II: modeling and simulation best practices for wireless ad hoc networks.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Simulation of large scale networks I: simulation of large-scale networks using SSF.
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.
Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Simulating realistic network worm traffic for worm warning system design and testing.
Proceedings of the 2003 ACM Workshop on Rapid Malcode, 2003

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

An Implementation of the SSF Scalable Simulation Framework on the Cray MTA.
Proceedings of the 17th Workshop on Parallel and Distributed Simulation, 2003

Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure.
Proceedings of the Computer Performance Evaluations, 2003

2002
Composite Synchronization in Parallel Discrete-Event Simulation.
IEEE Trans. Parallel Distrib. Syst., 2002

Network modeling and simulation: a scalable simulator for TinyOS applications.
Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, 2002

Analysis of composite synchronization.
Proceedings of the 16th Workshop on Parallel and Distributed Simulation, 2002

Lookahead revisited in wireless network simulations.
Proceedings of the 16th Workshop on Parallel and Distributed Simulation, 2002

A Mixed Abstraction Level Simulation Model of Large-Scale Internet Worm Infestations.
Proceedings of the 10th International Workshop on Modeling, 2002

2001
Fluid simulation: discrete event fluid modeling of TCP.
Proceedings of the 33nd conference on Winter simulation, 2001

Wireless: towards high performance modeling of the 802.11 Wireless protocol.
Proceedings of the 33nd conference on Winter simulation, 2001

Consistent modeling of distributed mutual exclusion protocol using optimistic simulation.
Proceedings of the 15th Workshop on Parallel and Distributed Simulation, 2001

Lock-free scheduling of logical processes in parallel simulation.
Proceedings of the 15th Workshop on Parallel and Distributed Simulation, 2001

Learning not to share.
Proceedings of the 15th Workshop on Parallel and Distributed Simulation, 2001

2000
A geographically distributed enterprise simulation system.
Future Generation Comp. Syst., 2000

Cost/benefit analysis of interval jumping in power-control simulation.
Proceedings of the 32nd conference on Winter simulation, WSC 2000, 2000

Safe timestamps and large-scale modeling.
Proceedings of the 14th Workshop on Parallel and Distributed Simulation, 2000

Using N-body Algorithms for Interference Computation in Wireless Cellular Simulations.
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.
Proceedings of the Performance Evaluation: Origins and Directions, 2000

1999
Modeling the global Internet.
Computing in Science and Engineering, 1999

An investigation of out-of-core parallel discrete-event simulation.
Proceedings of the 31st conference on Winter simulation: Simulation, 1999

Strategic directions in simulation research (panel).
Proceedings of the 31st conference on Winter simulation: Simulation, 1999

Towards Realistic Million-Node Internet Simulation.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Performance Prediction of a Parallel Simulator.
Proceedings of the Thirteenth Workshop on Parallel and Distributed Simulation, 1999

1998
Transformation of NS TCP Models to TED.
SIGMETRICS Performance Evaluation Review, 1998

Performing Out-of Core FFTs on Parallel Disk Systems.
Parallel Computing, 1998

Distributed State Space Generation of Discrete-State Stochastic Models.
INFORMS Journal on Computing, 1998

Fluid stochastic Petri nets: Theory, applications, and solution techniques.
European Journal of Operational Research, 1998

Nops: A Conservative Parallel Simulation Engine for TeD.
Proceedings of the 12th Workshop on Parallel and Distributed Simulation, 1998

Rapid Simulation of Wireless Systems.
Proceedings of the 12th Workshop on Parallel and Distributed Simulation, 1998

Scalability, Locality, Partitioning and Synchronization PDES.
Proceedings of the 12th Workshop on Parallel and Distributed Simulation, 1998

IDES: A Java-based Distributed Simulation Engine.
Proceedings of the MASCOTS 1998, 1998

1997
Editorial.
ACM Trans. Model. Comput. Simul., 1997

Efficient Bulk-Loading of Gridfiles.
IEEE Trans. Knowl. Data Eng., 1997

Out-of-Core FFTs with Parallel Disks.
SIGMETRICS Performance Evaluation Review, 1997

Automated Parallelization of Discrete State-Space Generation.
J. Parallel Distrib. Comput., 1997

Balancing contention and synchronization on the Intel Paragon.
IEEE Concurrency, 1997

Parallel Simulation of TCP/IP Using TeD.
Proceedings of the 29th conference on Winter simulation, 1997

The IDES Framework: A Case Study in Development of a Parallel Discrete-Event Simulation System.
Proceedings of the 29th conference on Winter simulation, 1997

Discrete-event simulation of fluid stochastic Petri nets.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

The Dark Side of Risk (what your mother never told you about Time Warp).
Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Performance Modeling of the IDES Framework.
Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

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

Parallel Simulation: Past, Present, and Future.
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.
IEEE Trans. Parallel Distrib. Syst., 1996

Parallel Execution for Serial Simulators.
ACM Trans. Model. Comput. Simul., 1996

Analysis of Bounded Time Warp and Comparison with YAWNS.
ACM Trans. Model. Comput. Simul., 1996

Static Assignment of Stochastic Tasks Using Majorization.
IEEE Trans. Computers, 1996

On Bottleneck Partitioning of k-Ary n-Cubes.
Parallel Processing Letters, 1996

Isomorphic Routing on a Toroidal Mesh.
INFORMS Journal on Computing, 1996

Principles of Conservative Parallel Simulation.
Proceedings of the 28th conference on Winter simulation, 1996

Experiments in Automated Load Balancing.
Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 1996

On Extending More Parallelism to Serial Simulators.
Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, 1996

Parallelizable Execution-Driven Simulation of Threaded Distributed Memory Parallel Computations.
Proceedings of the MASCOTS '96, 1996

Building Parallel Simulations from Serial Simulators.
Proceedings of the MASCOTS '96, 1996

Towards a Thread-Based Parallel Direct Execution Simulator.
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.
ACM Trans. Model. Comput. Simul., 1995

Noncommittal Barrier Synchronization.
Parallel Computing, 1995

Automated Parallelization of Timed Petri-Net Simulations.
J. Parallel Distrib. Comput., 1995

Footsteps: Trail-Blazing the Web.
Computer Networks and ISDN Systems, 1995

Automated Load Balancing in SPEEDES.
Proceedings of the 27th conference on Winter simulation, 1995

The fluid stochastic Petri net simulator.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

A Heuristic for Partitioning Parallel Computation.
Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

Global virtual time and distributed synchronization.
Proceedings of the Ninth Workshop on Parallel and Distributed Simulation, 1995

On extending parallelism to serial simulators.
Proceedings of the Ninth Workshop on Parallel and Distributed Simulation, 1995

Empirical study of parallel trace-driven LRU cache simulators.
Proceedings of the Ninth Workshop on Parallel and Distributed Simulation, 1995

Efficient Massively Parallel Simulation of Dynamic Channel Assignment Schemes for Wireless Cellular Communications.
Proceedings of the MASCOTS '95, 1995

Parallelized Network Simulators for Message-Passing Parallel Programs.
Proceedings of the MASCOTS '95, 1995

1994
Massively Parallel Algorithms for Trace-Driven Cache Simulations.
IEEE Trans. Parallel Distrib. Syst., 1994

Optimal Processor Assignment for a Class of Pipelined Computations.
IEEE Trans. Parallel Distrib. Syst., 1994

Rectilinear Partitioning of Irregular Data Parallel Computations.
J. Parallel Distrib. Comput., 1994

Parallel simulation today.
Annals OR, 1994

Timing simulation of paragon codes using workstation clusters.
Proceedings of the 26th conference on Winter simulation, 1994

Optimal Multiphase Complete Exchange on Circuit-Switched Hypercube Architectures.
Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1994

Parallel Simulation of Markovian Queueing Networks.
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.
IEEE Trans. Parallel Distrib. Syst., 1993

Optimistic Parallel Simulation of Continuous Time Markov Chains Using Uniformization.
J. Parallel Distrib. Comput., 1993

A Sweep Algorithm for Massively Parallel Simulation of Circuit-Switched Networks.
J. Parallel Distrib. Comput., 1993

The Cost of Conservative Synchronization in Parallel Discrete Event Simulations.
J. ACM, 1993

The impact of adding aggressiveness to a non-aggressive windowing protocol.
Proceedings of the 25th Winter Simulation Conference, 1993

Parallel Simulation of Markovian Queueing Networks Using Adaptive Uniformization.
Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1993

Load Balancing of Complex Stochastic Tasks Using Stochastic Majorization.
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.
IEEE Trans. Software Eng., 1992

Conservative Parallel Simulation of Priority Class Queuing Networks.
IEEE Trans. Parallel Distrib. Syst., 1992

MIMD Parallel Simulation of Circuit-Switched Communication Networks.
Proceedings of the 24th Winter Simulation Conference, 1992

State of the art in parallel simulation.
Proceedings of the 24th Winter Simulation Conference, 1992

1991
Performance Bounds on Parallel Self-Initiating Discrete-Event Simulations.
ACM Trans. Model. Comput. Simul., 1991

Improved Algorithms for Mapping Pipelined and Parallel Computations.
IEEE Trans. Computers, 1991

Parallel simulation of timed Petri-nets.
Proceedings of the 23th Winter Simulation Conference, 1991

1990
An Anlysis of Scatter Decomposition.
IEEE Trans. Computers, 1990

Optimal Dynamic Remapping of Data Parallel Computations.
IEEE Trans. Computers, 1990

Parallel Solution of Sparse One-Dimensional Dynamic Programming Problems.
INFORMS Journal on Computing, 1990

A "conservative" approach to parallelizing the Sharks World simulation.
Proceedings of the 22th Winter Simulation Conference, 1990

Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations.
Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), 1990

1989
Optimal Partitioning of Random Programs Across two Processors.
IEEE Trans. Software Eng., 1989

Delay point schedules for irregular parallel computations.
International Journal of Parallel Programming, 1989

Efficient aggregation of multiple PLs in distributed memory parallel simulations.
Proceedings of the 21st Winter Simulation Conference, 1989

Accurate Modeling of Parallel Scientific Computations.
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.
IEEE Trans. Computers, 1988

Expected Performance of m-Solution Backtracking.
SIAM J. Comput., 1988

Implementation parallelized queueing network simulations using FORTRAN and data abstraction.
Proceedings of the 20th conference on Winter simulation, 1988

Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks.
Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

Principles of runtime support for parallel processors.
Proceedings of the 2nd international conference on Supercomputing, 1988

1987
Performance issues for distributed battlefield simulations.
Proceedings of the 19th conference on Winter simulation, 1987

The PARTY Parallel Runtime System - Invited Talk.
Proceedings of the Third SIAM Conference on Parallel Processing for Scientific Computing, 1987

Problem Size, Parallel Architecture, and Optimal Speedup.
Proceedings of the International Conference on Parallel Processing, 1987

1985
An optimal repartitioning decision policy.
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.
Proceedings of the Selected Papers from the Second Conference on Parallel Processing for Scientific Computing, 1985

1984
Problem oriented protocol design.
Proceedings of the 16th conference on Winter simulation, 1984


  Loading...