Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Lektor

ORCID: 0000-0003-0922-3609

Udgivelsesår:
Alle
11 - 20 ud af 31Pr. side: 10
Sortering: Udgivelsesdato
  1. 2015
  2. Udgivet

    Interpretation and programming of the reversible functional language RFUN

    Thomsen, Michael Kirkedal & Axelsen, H. B., 14 sep. 2015, Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2015. Association for Computing Machinery, Inc., 13 s. 8. (ACM International Conference Proceeding Series, Bind 14-16-September-2015).

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

  3. 2014
  4. Udgivet

    Designing garbage-free reversible implementations of the integer cosine transform

    De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.

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

  5. Udgivet

    Upper bounds for reversible circuits based on Young subgroups

    Abdessaied, N., Soeken, M., Thomsen, Michael Kirkedal & Drechsler, R., 2014, I: Information Processing Letters. 114, 6, s. 282-286 5 s.

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

  6. 2013
  7. Udgivet

    Cleaning up: garbage-free reversible circuits by design languages

    Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2013, 2012 International Symposium on Electronic System Design (ISED). IEEE, s. 6-10 5 s.

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

  8. Udgivet

    Garbage-free reversible integer multiplication with constants of the form 2k±2l±1

    Axelsen, H. B. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (red.). Springer, s. 171-182 12 s. (Lecture notes in computer science, Bind 7581).

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

  9. Udgivet

    Garbageless reversible implementation of integer linear transformations

    Burignat, S., Vermeirsch, K., De Vos, A. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers. Glück, R. & Yokoyama, T. (red.). Springer, s. 160-170 11 s. (Lecture notes in computer science, Bind 7581).

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

  10. Udgivet

    Strength of the reversible, garbage-free 2k ± 1 multiplier

    Rotenberg, E., Cranch, J., Thomsen, Michael Kirkedal & Axelsen, H. B., 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (red.). Springer, s. 46-57 12 s. (Lecture notes in computer science, Bind 7948).

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

  11. Udgivet

    White dots do matter: rewriting reversible logic circuits

    Soeken, M. & Thomsen, Michael Kirkedal, 2013, Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Dueck, G. W. & Miller, D. M. (red.). Springer, s. 196-208 13 s. (Lecture notes in computer science, Bind 7948).

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

  12. 2012
  13. Udgivet

    A functional language for describing reversible logic

    Thomsen, Michael Kirkedal, 2012, Proceedings of the 2012 Forum on Specification and Design Languages. Morawiec, A. & Hinderscheit, J. (red.). IEEE, s. 135-142 8 s.

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

  14. Udgivet

    A reversible processor architecture and its reversible logic design

    Thomsen, Michael Kirkedal, Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 30-42 13 s. (Lecture notes in computer science, Bind 7165).

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

Forrige 1 2 3 4 Næste

ID: 12085624