Folgen
Michael Kirkedal Thomsen
Michael Kirkedal Thomsen
Associate Professor, University of Oslo and external lecture University of Copenhagen
Bestätigte E-Mail-Adresse bei acm.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Reversible arithmetic logic unit for quantum arithmetic
MK Thomsen, R Glück, HB Axelsen
Journal of Physics A: Mathematical and Theoretical 43 (38), 382002, 2010
1272010
Optimized reversible binary-coded decimal adders
MK Thomsen, R Glück
Journal of Systems Architecture 54 (7), 697-706, 2008
612008
A reversible processor architecture and its reversible logic design
MK Thomsen, HB Axelsen, R Glück
Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium …, 2012
462012
White Dots do Matter: Rewriting Reversible Logic Circuits
M Soeken, MK Thomsen
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013
422013
Interpretation and programming of the reversible functional language RFUN
MK Thomsen, HB Axelsen
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
362015
A functional language for describing reversible logic
MK Thomsen
Proceeding of the 2012 Forum on Specification and Design Languages, 135-142, 2012
282012
Parallelization of Reversible Ripple-Carry Adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
242009
Reversible implementation of a discrete linear transformation
A De Vos, S Burignat, M Thomsen
2nd Workshop on Reversible Computation (RC 2010), 107-110, 2010
232010
: a typed functional reversible core language
PAH Jacobsen, R Kaarsgaard, MK Thomsen
International Conference on Reversible Computation, 304-321, 2018
202018
Upper bounds for reversible circuits based on Young subgroups
N Abdessaied, M Soeken, MK Thomsen, R Drechsler
Information Processing Letters 114 (6), 282-286, 2014
202014
Design of reversible logic circuits using standard cells
MK Thomsen
University of Copenhagen, Copenhagen, 2012
192012
Time dependent effects of two absorption enhancers on the nasal absorption of growth hormone in rabbits
C Vermehren, HS Hansen, MK Thomsen
International journal of pharmaceutics 128 (1-2), 239-250, 1996
161996
Garbageless reversible implementation of integer linear transformations
S Burignat, K Vermeirsch, A De Vos, MK Thomsen
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013
152013
Garbage-free reversible integer multiplication with constants of the form 2 k±2 l±1
HB Axelsen, MK Thomsen
Reversible Computation 7581, 171-182, 2013
142013
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
M Schordan, T Oppelstrup, MK Thomsen, R Glück
Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020
122020
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
MK Thomsen, R Kaarsgaard, M Soeken
Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015
112015
Describing and optimising reversible logic using a functional language
MK Thomsen
International Symposium on Implementation and Application of Functional …, 2011
112011
MicroPower: towards low-power microprocessors with reversible computing
HB Axelsen, R Glück, A De Vos, MK Thomsen
ERCIM NEWS, 20, 2009
102009
Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits
S Burignat, MK Thomsen, M Klimczak, M Olczak, A De Vos
Lecture Notes in Computer Science, 2012
82012
Towards designing a reversible processor architecture
M Thomsen, R Gluck, H Axelsen
Proceedings of the Reversible Computation, 2009
72009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20