David R. Jefferson

Orcid: 0000-0002-3991-6038

According to our database1, David R. Jefferson authored at least 40 papers between 1983 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Virtual Time III, Part 2: Combining Conservative and Optimistic Synchronization.
ACM Trans. Model. Comput. Simul., October, 2022

Virtual Time III, Part 1: Unified Virtual Time Synchronization for Parallel Discrete Event Simulation.
ACM Trans. Model. Comput. Simul., October, 2022

2019
S3: the Spectrum Sharing Simulator.
Proceedings of the 2019 Workshop on Next-Generation Wireless with ns-3, 2019

2018
Generation of Reversible C++ Code for Optimistic Parallel Discrete Event Simulation.
New Gener. Comput., 2018

2017
Virtual time III: Unification of conservative and optimistic synchronization in parallel discrete event simulation.
Proceedings of the 2017 Winter Simulation Conference, 2017

Computational challenges in modeling & simulation of complex systems.
Proceedings of the 2017 Winter Simulation Conference, 2017

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

Dealing with Reversibility of Shared Libraries in PDES.
Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2017

Exploratory Modeling and Simulation of the Evolutionary Dynamics of Single-Stranded RNA Virus Populations.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

2016
Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application.
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

SPOCK: Exact Parallel Kinetic Monte-Carlo on 1.5 Million Tasks.
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

Towards PDES in a Message-Driven Paradigm: A Preliminary Case Study Using Charm++.
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

2015
Improving per processor memory use of ns-3 to enable large scale simulations.
Proceedings of the 2015 Workshop on ns-3, 2015

Pushing the envelope in distributed ns-3 simulations: one billion nodes.
Proceedings of the 2015 Workshop on ns-3, 2015

Reverse Code Generation for Parallel Discrete Event Simulation.
Proceedings of the Reversible Computation - 7th International Conference, 2015

2013
Performance of distributed <i>ns-3</i> network simulator.
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques, 2013

Integrating ns-3 model construction, description, preprocessing, execution, and visualization.
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques, 2013

Warp speed: executing time warp on 1, 966, 080 cores.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

2012
A benchmark model for parallel ns3.
Proceedings of the International ICST Conference on Simulation Tools and Techniques, 2012

Livermore computer network simulation program.
Proceedings of the International ICST Conference on Simulation Tools and Techniques, 2012

Synthesizing Loops for Program Inversion.
Proceedings of the Reversible Computation, 4th International Workshop, 2012

A New Method for Program Inversion.
Proceedings of the Compiler Construction - 21st International Conference, 2012

2011
The Backstroke framework for source level reverse computation applied to parallel discrete event simulation.
Proceedings of the Winter Simulation Conference 2011, 2011

2010
A Modular Voting Architecture ("Frog Voting").
Proceedings of the Towards Trustworthy Elections, New Directions in Electronic Voting, 2010

2008
New Research Results for Electronic Voting.
IEEE Secur. Priv., 2008

2004
Evaluation of voting systems.
Commun. ACM, 2004

Analyzing internet voting security.
Commun. ACM, 2004

1991
Selection in Massively Parallel Genetic Algorithms.
Proceedings of the 4th International Conference on Genetic Algorithms, 1991

Supercritical speedup.
Proceedings of the Proceedings 24th Annual Simulation Symposium (ANSS-24 1991), 1991

1990
An Artificial Neural Network Representation for Artificial Organisms.
Proceedings of the Parallel Problem Solving from Nature, 1st Workshop, 1990

1989
The Performance of a Distributed Combat Simulation with the Time Warp Operating System.
Concurr. Pract. Exp., 1989

Limitation of optimism in the time warp operating system.
Proceedings of the 21st Winter Simulation Conference, 1989

Case Studies in Serial and Parallel Simulation.
Proceedings of the International Conference on Parallel Processing, 1989

1988
The status of the time warp operating system.
Proceedings of the Third Conference on Hypercube Concurrent Computers and Applications, 1988

1987
Distributed Simulation and the Time Wrap Operating System.
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

Transparent Process Cloning: A Tool for Load Management of Distributed Programs.
Proceedings of the International Conference on Parallel Processing, 1987

RAM: Artificial Life for the Exploration of Complex Biological Systems.
Proceedings of the Interdisciplinary Workshop on the Synthesis and Simulation of Living Systems, 1987

1986
The Time Warp Mechanism for Database Concurrency Control.
Proceedings of the Second International Conference on Data Engineering, 1986

1985
Virtual Time.
ACM Trans. Program. Lang. Syst., 1985

1983
Parallel processing and simulation.
Proceedings of the 15th conference on Winter simulation, 1983


  Loading...