Intet billede af James Emil Avery

James Emil Avery

 https://orcid.org/0000-0001-7772-3440

  • Universitetsparken 5

    2100 København Ø

20032021

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2019

    Lossy channels in Bohrium

    Kristensen, M. R. B. & Avery, J. E., 2019, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). Pedersen, J. B., Chalmers, K., Broenink, J. F., Vinter, B., Vella, K., Welch, P. H., Smith, M. L. & Skovhede, K. (red.). IMIA and IOS Press, s. 347-360 14 s. (Concurrent Systems Engineering Series, Bind 70).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  • 2016

    Fusion of parallel array operations

    Kristensen, M. R. B., Lund, S. A. F., Blum, T. & Avery, J. E., 2016, PACT' 16: Proceedings of the 2016 International Conference on Parallel Architectures and Compilation. Association for Computing Machinery, s. 71-85 15 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    Fil
    14 Citationer (Scopus)
  • 2010

    Static complexity analysis of higher order programs

    Avery, J. E., Kristiansen, L. & Moyen, J-Y., 2010, Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. van Eekelen, M. & Shkaravska, O. (red.). Springer, s. 84-99 16 s. (Lecture notes in computer science, Bind 6324).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    2 Citationer (Scopus)
  • 2009

    Static Complexity Analysis of Higher Order Programs

    Avery, J. E., Kristiansen, L. & Moyen, J-Y., 2009, FOPARA 2009: Preliminary Proceedings. van Eekelen, M. & Olha, S. (red.). s. 34-49 16 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  • 2006

    Size-change termination and bound analysis

    Avery, J. E., 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings. Hagiya, M. & Wadler, P. (red.). Springer, s. 192-207 16 s. (Lecture notes in computer science, Bind 3945).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

    18 Citationer (Scopus)