Michael Kirkedal Thomsen
Michael Kirkedal Thomsen
Assistant Professor, DIKU, Department of Computer Science, University of Copenhagen
Geverifieerd e-mailadres voor acm.org - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1042010
Optimized reversible binary-coded decimal adders
MK Thomsen, R Glück
Journal of Systems Architecture 54 (7), 697-706, 2008
512008
White Dots do Matter: Rewriting Reversible Logic Circuits
M Soeken, MK Thomsen
International Conference on Reversible Computation, 196-208, 2013
352013
A reversible processor architecture and its reversible logic design
MK Thomsen, HB Axelsen, R Glück
International Workshop on Reversible Computation, 30-42, 2011
352011
A functional language for describing reversible logic
MK Thomsen
Proceeding of the 2012 Forum on Specification and Design Languages, 135-142, 2012
262012
Reversible implementation of a discrete linear transformation
A De Vos, S Burignat, M Thomsen
2nd Workshop on Reversible Computation (RC 2010), 107-110, 2010
222010
Parallelization of Reversible Ripple-Carry Adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
212009
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
192015
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
182014
Design of Reversible Logic Circuits using Standard Cells
MK Thomsen
University of Copenhagen, Copenhagen, 2012
152012
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
Garbageless reversible implementation of integer linear transformations
S Burignat, K Vermeirsch, A De Vos, MK Thomsen
International Workshop on Reversible Computation, 160-170, 2012
142012
Describing and optimising reversible logic using a functional language
MK Thomsen
International Symposium on Implementation and Application of Functional …, 2011
102011
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
MK Thomsen, R Kaarsgaard, M Soeken
International Conference on Reversible Computation, 200-215, 2015
82015
MicroPower: towards low-power microprocessors with reversible computing
HB Axelsen, R Glück, A De Vos, MK Thomsen
ERCIM NEWS, 20, 2009
82009
: A Typed Functional Reversible Core Language
PAH Jacobsen, R Kaarsgaard, MK Thomsen
International Conference on Reversible Computation, 304-321, 2018
72018
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
72012
Towards designing a reversible processor architecture
M Thomsen, R Gluck, H Axelsen
Proceedings of the Reversible Computation, 2009
72009
Parallel optimization of a reversible (quantum) ripple-carry adder
MK Thomsen, HB Axelsen
Unconventional Computing, 228-241, 2008
72008
Interpretation and programming of the reversible functional language
MK Thomsen, HB Axelsen
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
52015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20