Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Lektor

ORCID: 0000-0003-0922-3609

Udgivelsesår:
Alle
21 - 30 ud af 31Pr. side: 10
Sortering: Udgivelsesdato
  1. 2012
  2. Udgivet

    Describing and optimizing reversible logic using a functional language

    Thomsen, Michael Kirkedal, 2012, Implementation and Application of Functional Languages, IFL 2011: 23rd International Symposium, IFL 2011, Lawrence, Kansas, USA, October 2011, Revised Papers. Gill, A. & Hage, J. (red.). Springer, s. 148–163 16 s. (Lecture notes in computer science, Bind 7257).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

    Design of Reversible Computing Systems: Logic, Languages, and Circuits

    Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 s.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  4. Udgivet

    Design of reversible logic circuits using standard cells: standard cells and functional programming

    Thomsen, Michael Kirkedal, 2012, Department of Computer Science, University of Copenhagen. 28 s. (Koebenhavns Universitet. Datalogisk Institut. Rapport; Nr. 2012-03).

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

  5. Udgivet

    Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits

    Burignat, S., Thomsen, Michael Kirkedal, Klimczak, M., Olczak, M. & De Vos, A., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 112-122 11 s. (Lecture notes in computer science, Bind 7165).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  6. Udgivet

    Reversible implementation of a discrete integer linear transformation

    De Vos, A., Burignat, S. & Thomsen, Michael Kirkedal, 2012, I: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, s. 25-35 11 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  7. 2010
  8. Udgivet

    Reversible arithmetic logic unit for quantum arithmetic

    Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, I: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 s., 382002.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  9. 2009
  10. Udgivet

    MicroPower - Towards Low-power Microprocessors with Reversible Computing

    Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, I: ERCIM News. 79, s. 20-21 2 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

  11. Udgivet

    Parallelization of Reversible Ripple-carry Adders

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2009, I: Parallel Processing Letters. 19, 2, s. 205-222 18 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  12. 2008
  13. Udgivet

    Optimized Reversible Binary-Coded Decimal Adders

    Thomsen, Michael Kirkedal & Glück, Robert, 2008, I: Journal of Systems Architecture. 54, 7, s. 697-706 9 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  14. Udgivet

    Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2008, Unconventional Computing: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, proceedings. Calude, C. S., Costa, J. F., Freund, R., Oswald, M. & Rozenberg, G. (red.). Springer, s. 228-241 14 s. (Lecture notes in computer science; Nr. 5204).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1 2 3 4 Næste

ID: 12085624