Michael Kirkedal Thomsen
Michael Kirkedal Thomsen
Associate Professor, University of Oslo and external lecture University of Copenhagen
E-mail confirmado em - Página inicial
Citado por
Citado por
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
Optimized reversible binary-coded decimal adders
MK Thomsen, R Glück
Journal of Systems Architecture 54 (7), 697-706, 2008
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
White Dots do Matter: Rewriting Reversible Logic Circuits
M Soeken, MK Thomsen
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013
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
A functional language for describing reversible logic
MK Thomsen
Proceeding of the 2012 Forum on Specification and Design Languages, 135-142, 2012
Parallelization of Reversible Ripple-Carry Adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
: a typed functional reversible core language
PAH Jacobsen, R Kaarsgaard, MK Thomsen
International Conference on Reversible Computation, 304-321, 2018
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
Reversible implementation of a discrete linear transformation
A De Vos, S Burignat, M Thomsen
2nd Workshop on Reversible Computation (RC 2010), 107-110, 2010
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
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
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
Design of Reversible Logic Circuits Using Standard Cells-Standard Cells and Functional Programming
MK Thomsen
DIKU, 2012
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
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
Describing and optimising reversible logic using a functional language
MK Thomsen
International Symposium on Implementation and Application of Functional …, 2011
MicroPower: towards low-power microprocessors with reversible computing
HB Axelsen, R Glück, A De Vos, MK Thomsen
ERCIM NEWS, 20, 2009
Towards designing a reversible processor architecture
M Thomsen, R Gluck, H Axelsen
Proceedings of the Reversible Computation, 2009
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20