6 research outputs found
Software and Reversible Systems: A Survey of Recent Activities
Get PDFInternational audienceSoftware plays a central role in all aspects of reversible computing. We survey the breadth of topics and recent activities on reversible software and systems including behavioural types, recovery, debugging, concurrency, and object-oriented programming. These have the potential to provide linguistic abstractions and tools that will lead to safer and more reliable reversible computing applications
Review of Neurobiological Influences on Externalizing and Internalizing Pathways to Alcohol Use Disorder
No full textAdolescents' Neural Processing of Risky Decisions: Effects of Sex and Behavioral Disinhibition
No full textSex Differences in Adolescent Neurobiological Risk for Substance Use and Substance Use Disorders
No full textFoundations of reversible computation
Get PDFReversible computation allows computation to proceed not only in the standard, forward direction, but also backward, recovering past states. While reversible computation has attracted interest for its multiple applications, covering areas as different as low-power computing, simulation, robotics and debugging, such applications need to be supported by a clear understanding of the foundations of reversible computation. We report below on many threads of research in the area of foundations of reversible computing, giving particular emphasis to the results obtained in the framework of the European COST Action IC1405, entitled “Reversible Computation - Extending Horizons of Computing”, which took place in the years 2015–2019
