Robert Glück

Robert Glück

Professor

ORCID: 0000-0001-6990-3935

Udgivelsesår:
Alle
51 - 60 ud af 133Pr. side: 10
Sortering: Udgivelsesdato
  1. 2010
  2. Udgivet

    Self-generating program specializers

    Glück, Robert, 2010, I: Information Processing Letters. 110, 17, s. 787-793 7 s.

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

  3. 2009
  4. Udgivet

    Implementation of an experimental system for automatic program transformation based on generalized partial computation

    Futamura, Y., Konishi, Z. & Glück, Robert, 2009. 10 s.

    Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

  5. Udgivet

    International Workshop on Program Understanding. Proceedings

    Bulyonkov, M. A. (red.) & Glück, Robert (red.), 2009, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 63 s.

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

  6. Udgivet

    Is there a fourth Futamura projection?

    Glück, Robert, 2009, PEPM´09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 51-60 10 s.

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

  7. 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

  8. 2008
  9. Udgivet

    An investigation of Jones optimality and BTI-universal specializers

    Glück, Robert, 2008, I: Higher-Order and Symbolic Computation. 21, 3, s. 283-309

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

  10. 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 › fagfællebedømt

  11. Udgivet

    Principles of a reversible programming language

    Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Conference on Computing Frontiers, CF 2008: Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italy May 5-7, 2008. Association for Computing Machinery, s. 43-54

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

  12. Udgivet

    Reversible flowchart languages and the structured reversible program theorem

    Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Automata, Languages and Programming: 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings. Part II. Aceto, L., Damgaard, I., Goldberg, L. A., Halldorsson, M. M., Ingolfsdottir, A. & Walukiewicz, I. (red.). Springer, s. 258-270 (Lecture notes in computer science; Nr. 5126).

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

  13. Udgivet

    Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Proceedings

    Glück, Robert (red.) & Moor, O. D. (red.), 2008, New York: Association for Computing Machinery. 204 s.

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

Forrige 12 3 4 5 6 7 8 9 ...14 Næste

ID: 9668