Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …

Software plays a central role in all aspects of reversible computing systems, and a variety of
reversible programming languages have been developed. This presentation highlights the …

Historically, scientific computing efforts have demonstrated the clear need for, and effective
use of, supercomputing with traditional time-stepped simulations. Nevertheless, there are …

Reversible programming languages guarantee that their programs are invertible at the cost
of restricting the permissible operations to those which are locally invertible. However …

In the area of discrete event simulation (DES), event simultaneity occurs when any two
events are scheduled to happen at the same point in simulated time. Since events in DES …

Training a multilayered neural network involves execution of the network on the training
data, followed by calculating the error between the predicted and actual output, and then …

Program synthesis is an active research field in academia, national labs, and industry. Yet,
work directly applicable to scientific computing, while having some impressive successes …

In this paper, we discuss a tie-breaking strategy based on a bitwise comparison of event
payload that allows parallel and distributed discrete-event simulations to observe a …

In this thesis, the traditional concepts of risk and aggressiveness associated with speculative
parallel/distributed execution of discrete-event simulations are revisited and re-examined …

In the area of discrete event simulation (DES), event simultaneity occurs when any two
events are scheduled to happen at the same point in simulated time. Simulation determinism …