Seguir
Michael Kirkedal Thomsen
Michael Kirkedal Thomsen
Associate Professor, University of Oslo and external lecture University of Copenhagen
E-mail confirmado em acm.org - Página inicial
Título
Citado por
Citado por
Ano
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
1332010
Optimized reversible binary-coded decimal adders
MK Thomsen, R Glück
Journal of Systems Architecture 54 (7), 697-706, 2008
622008
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
502012
White Dots do Matter: Rewriting Reversible Logic Circuits
M Soeken, MK Thomsen
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013
432013
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
412015
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
252009
: a typed functional reversible core language
PAH Jacobsen, R Kaarsgaard, MK Thomsen
International Conference on Reversible Computation, 304-321, 2018
242018
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
232014
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
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
Design of Reversible Logic Circuits Using Standard Cells-Standard Cells and Functional Programming
MK Thomsen
DIKU, 2012
142012
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
122015
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
Towards designing a reversible processor architecture
M Thomsen, R Gluck, H Axelsen
Proceedings of the Reversible Computation, 2009
92009
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20