Dear All,
This weeks research day on Tuesday will be at the Electrical Engineering
Builidng, room ETF C109. The room will be opened at 9:30 am by Patrick
so we can work there the whole day.
There is also a talk at IFW (for the interested ones).
Speaker: Robert Glück, University of Copenhagen, Denmark
Title: Reversible Machine Code and its Abstract Processor Architecture
Date: Tuesday, June 17, 2008
Time: 11.00-11.45
Room: IFW E42
Abstract:
A reversible abstract machine architecture and its reversible machine
code are presented and formalized. For machine code to be reversible,
both the underlying control logic and each instruction must be
reversible. A general class of machine instruction sets is proven to be
reversible, building on our concept of reversible updates. The
presentation is abstract and can serve as a guideline for a family of
reversible processor designs. By example, we illustrate programming
principles for the abstract machine architecture formalized in this
paper. Joint work with Holger Bock Axelsen (U Copenhagen, Denmark) and
Tetsuo Yokoyama (U Nagoya, Japan).
Cheers,
Dejan