Splitting recursion schemes into reversible and classical interacting threads

05/11/2021
by   Armando B. Matos, et al.
0

Given a simple recursive function, we show how to extract from it a reversible and an classical iterative part. Those parts can synchronously cooperate under a Producer/Consumer pattern in order to implement the original recursive function. The reversible producer is meant to run on reversible hardware. We also discuss how to extend the extraction to a more general compilation scheme.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

02/18/2021

Interleaving classical and reversible

Given a simple recursive function, we show how to extract two interactin...
01/25/2022

Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean

Reversible Primitive Permutations (RPP) are recursively defined function...
04/22/2021

Explicit, time-reversible and symplectic integrator for Hamiltonians in isotropic uniformly curved geometries

The kinetic term of the N-body Hamiltonian system defined on the surface...
11/04/2011

Securing Biometric Images using Reversible Watermarking

Biometric security is a fast growing area. Protecting biometric data is ...
05/14/2020

Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)

The formalization of process algebras usually starts with a minimal core...
10/25/2019

CrevNet: Conditionally Reversible Video Prediction

Applying resolution-preserving blocks is a common practice to maximize i...
11/07/2018

Emerging Applications of Reversible Data Hiding

Reversible data hiding (RDH) is one special type of information hiding, ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.