Paul F. Reynolds Jr.

Proceedings of the Winter Simulation Conference, 2012

Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

Reducing confounding bias in predicate-level statistical debugging metrics.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Towards a methodological approach to identify future M&S standard needs.

[BibT_eX]

[DOI]

Hessam S. Sarjoughian

Bernard P. Zeigler

Proceedings of the Winter Simulation Conference 2011, 2011

Applying enhanced fault localization technology to Monte Carlo simulations.

[BibT_eX]

[DOI]

David Kamensky

Proceedings of the Winter Simulation Conference 2011, 2011

Statistical debugging with elastic predicates.

[BibT_eX]

[DOI]

David Kamensky

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

INSIGHT: understanding unexpected behaviours in agent-based simulations.

[BibT_eX]

[DOI]

J. Simulation, 2010

Improved methods and measures for computing dynamic program slices in stochastic simulations.

[BibT_eX]

[DOI]

Proceedings of the 2010 Winter Simulation Conference, 2010

Lock-Free Multiway Search Trees.

[BibT_eX]

[DOI]

Michael Spiegel

Proceedings of the 39th International Conference on Parallel Processing, 2010

2009

Program Slice Distribution Functions.

[BibT_eX]

[DOI]

Proceedings of the 2009 Winter Simulation Conference, 2009

Causal Program Slicing.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Principles of Advanced and Distributed Simulation, 2009

2008

Applying causal inference to understand emergent behavior.

[BibT_eX]

[DOI]

Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

2007

Agile optimization for coercion.

[BibT_eX]

[DOI]

Lingjia Tang

Proceedings of the Winter Simulation Conference, 2007

An exploration-based taxonomy for emergent behavior analysis in simulations.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2007

Using flexible points in a developing simulation of selective dissolution in alloys.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference, 2007

Explanation Exploration: Exploring Emergent Behavior.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation, 2007

Validating Evolving Simulations in COERCE.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2007

2006

Grand challenge case studies in a simulation curriculum.

[BibT_eX]

[DOI]

Michael Spiegel

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Requirements for DDDAS flexible point support.

[BibT_eX]

[DOI]

Joseph C. Carnahan

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Using Abstraction in the Verification of Simulation Coercion.

[BibT_eX]

[DOI]

Xinyu Liu

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

Capturing Scientists' Insight for DDDAS.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2006

2005

A case study of model context for simulation composability and reusability.

[BibT_eX]

[DOI]

Michael Spiegel

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

Simulation-specific characteristics and software reuse.

[BibT_eX]

[DOI]

Joseph C. Carnahan

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

The computational complexity of component selection in simulation reuse.

[BibT_eX]

[DOI]

Robert G. Bartholet

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

Semi-automated Simulation Transformation for DDDAS.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2005

2004

Exploring the Constraints of Human Behavior Representation.

[BibT_eX]

[DOI]

John C. Giordano

Proceedings of the 36th conference on Winter simulation, 2004

Approximating Component Selection.

[BibT_eX]

[DOI]

Michael Roy Fox

Proceedings of the 36th conference on Winter simulation, 2004

Visualizing Coercible Simulations.

[BibT_eX]

[DOI]

Joseph C. Carnahan

Proceedings of the 36th conference on Winter simulation, 2004

Simulation Coercion Applied to Multiagent DDDAS.

[BibT_eX]

[DOI]

Yannick Loitière

Proceedings of the Computational Science, 2004

2002

Optimization and response surfaces: an optimization-based multi-resolution simulation methodology.

[BibT_eX]

[DOI]

Darren T. Drewry

William R. Emanuel

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

2001

The Grandest Challenge in Distributed Simulation.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2001), 2001

A New Look at Timestamp Ordering Concurrency Control.

[BibT_eX]

[DOI]

Rashmi Srinivasa

Proceedings of the Database and Expert Systems Applications, 12th International Conference, 2001

2000

Delta coherence protocols.

[BibT_eX]

[DOI]

Bronis R. de Supinski

IEEE Concurr., 2000

1999

Resolving Concurrent Interactions.

[BibT_eX]

[DOI]

Anand Natrajan

Proceedings of the 3rd International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '99), 1999

1998

Elastic Time.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 1998

Implementation of Reductions in Support of PDES on a Network of Workstations.

[BibT_eX]

[DOI]

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

1997

Isotach Networks.

[BibT_eX]

[DOI]

Raymond R. Wagner Jr.

IEEE Trans. Parallel Distributed Syst., 1997

Consistency Maintenance in Multiresolution Simulations.

[BibT_eX]

[DOI]

Anand Natrajan

ACM Trans. Model. Comput. Simul., 1997

MRE: A Flexible Approach to Multi-Resolution Modeling.

[BibT_eX]

[DOI]

Anand Natrajan

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

Fast reductions on a network of workstations.

[BibT_eX]

[DOI]

Proceedings of the Fourth International on High-Performance Computing, 1997

1996

Analysis of Bounded Time Warp and Comparison with YAWNS.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 1996

1995

Combining Atomic Actions.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1995

Adaptive Algorithms vs. Time Warp: An Analytical Comparison.

[BibT_eX]

[DOI]

Proceedings of the 27th conference on Winter simulation, 1995

NPSI Adaptive Synchronization Slgorithms for PDES.

[BibT_eX]

[DOI]

Proceedings of the 27th conference on Winter simulation, 1995

Super-criticality revisited.

[BibT_eX]

[DOI]

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

1993

Design and Performance Analysis of Hardware Support for Parallel Simulations.

[BibT_eX]

[DOI]

Carmen M. Pancerella

J. Parallel Distributed Comput., 1993

Commentary - The Silver Bullet.

[BibT_eX]

[DOI]

INFORMS J. Comput., 1993

Non-interfering GVT computation via asynchronous global reductions.

[BibT_eX]

[DOI]

Proceedings of the 25th Winter Simulation Conference, 1993

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

[BibT_eX]

[DOI]

Proceedings of the 25th Winter Simulation Conference, 1993

Disseminating critical target-specific synchronization information in parallel discrete event simulations.

[BibT_eX]

[DOI]

Carmen M. Pancerella

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

1992

Making Parallel Simulations go Fast.

[BibT_eX]

[DOI]

Carmen M. Pancerella

Proceedings of the 24th Winter Simulation Conference, 1992

1991

A performance model for parallel simulation.

[BibT_eX]

[DOI]

Phillip M. Dickens

Proceedings of the 23th Winter Simulation Conference, 1991

1990

Optimal Dynamic Remapping of Data Parallel Computations.

[BibT_eX]

[DOI]

David M. Nicol

IEEE Trans. Computers, 1990

1989

Comparative analyses of parallel simulation protocols.

[BibT_eX]

[DOI]

Christopher F. Weight

J. Robert Fidler

Proceedings of the 21st Winter Simulation Conference, 1989

1988

A spectrum of options for parallel simulation.

[BibT_eX]

[DOI]

Proceedings of the 20th conference on Winter simulation, 1988

Heterogenous distributed simulation.

[BibT_eX]

[DOI]

Proceedings of the 20th conference on Winter simulation, 1988

1987

The Geometry of Semaphore Programs.

[BibT_eX]

[DOI]

Scott D. Carson

ACM Trans. Program. Lang. Syst., 1987

1985

An optimal repartitioning decision policy.

[BibT_eX]

[DOI]

David M. Nicol

Proceedings of the 17th conference on Winter simulation, 1985

1984

Problem oriented protocol design.

[BibT_eX]

[DOI]

David M. Nicol

Proceedings of the 16th conference on Winter simulation, 1984

1983

Active logical processes and distributed simulation: An analysis.

[BibT_eX]

[DOI]

Proceedings of the 15th conference on Winter simulation, 1983

Performance analysis of a distributed simulation algorithm based on active logical processes.

[BibT_eX]

[DOI]

David L. Davidson

Proceedings of the 15th conference on Winter simulation, 1983

1982

A shared resource algorithm for distributed simulation.

[BibT_eX]

[DOI]