MRG-Mobile Resource Guarantees

Search results

  • 2008

    Prediction of linear memory usage for first-order functional programs

    Campbell, B., 2008, Proceedings of the Nineth Symposium on Trends in Functional Programming, TFP 2008, Nijmegen, The Netherlands, May 26-28, 2008.. p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2006

    Mobile Resource Guarantees and Policies

    Aspinall, D. & MacKenzie, K., 2006, Mobile Resource Guarantees and Policies: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices. Barthe, G., Grégoire, B., Huisman, M. & Lanet, J-L. (eds.). Springer Berlin Heidelberg, p. 16-36 21 p. (Lecture Notes in Computer Science; vol. 3956).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File