Filter
Chapter

Search results

  • 2013

    An abstract annotation model for skeletons

    Aldinucci, M., Campa, S., Kilpatrick, P., Tordini, F. & Torquati, M., 01 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7542 LNCS. p. 257-276 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Managing adaptivity in parallel systems

    Aldinucci, M., Danelutto, M., Kilpatrick, P., Montangero, C. & Semini, L., 01 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7542 LNCS. p. 199-217 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Paraphrasing: Generating parallel programs using refactoring

    Brown, C., Hammond, K., Danelutto, M., Kilpatrick, P., Schöner, H. & Breddin, T., 03 Jan 2013, Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture. / Programming and Software Engineering) . Vol. 7542 LNCS. p. 237-256 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    12 Citations (Scopus)
  • Preface from the organizing chairs

    Kilpatrick, P. & Milligan, P., 01 Jan 2013, Proceedings of the 2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The ParaPhrase Project: Parallel patterns for adaptive heterogeneous multicore systems

    Hammond, K., Aldinucci, M., Brown, C., Cesarini, F., Danelutto, M., González-Vélez, H., Kilpatrick, P., Keller, R., Rossbory, M. & Shainer, G., 01 Jan 2013, Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture ... / Programming and Software Engineering) . Vol. 7542 LNCS. p. 218-236 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    34 Citations (Scopus)
  • 2009

    Co-design of Distributed Systems Using Skeleton and Autonomic Management Abstractions

    Aldinucci, M., Danelutto, M. & Kilpatrick, P., 2009, EURO-PAR 2008 WORKSHOPS - PARALLEL PROCESSING. Cesar, E., Alexander, M., Streit, A., Traff, J., Cerin, C., Knupfer, A., Kranzlmuller, D. & Jha, S. (eds.). BERLIN: Springer, p. 403-414 12 p. (Lecture Notes in Computer Science; vol. 5415).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    5 Citations (Scopus)
  • Extending BPM Environments of Your Choice with Performance Related Decision Support

    Fritzsche, M., Picht, M., Gilani, W., Spence, I., Brown, J. & Kilpatrick, P., 2009, BUSINESS PROCESS MANAGEMENT, PROCEEDINGS. Dayal, U., Eder, J., Koehler, J. & Reijers, H. (eds.). BERLIN: Springer, p. 97-112 16 p. (Lecture Notes in Computer Science; vol. 5701).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    18 Citations (Scopus)
  • Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains

    Fritzsche, M., Johannes, J., Assmann, U., Mitschke, S., Gilani, W., Spence, I., Brown, J. & Kilpatrick, P., 2009, SOFTWARE LANGUAGE ENGINEERING. Gasevic, D., Lammel, R. & VanWyk, E. (eds.). BERLIN: Springer, p. 134-150 17 p. (Lecture Notes in Computer Science; vol. 5452).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    10 Citations (Scopus)
  • 2008

    Analysing orchestrations with risk profiles and angel-daemon games

    Gabarro, J., Garia, A., Serna, M., Kilpatrick, P. & Stewart, A., Apr 2008, Grid Computing: Achievements and Prospects. Gorlatch, S., Fragopoulou, P. & Priol, T. (eds.). New York: Springer, p. 121-132 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2002

    Algebraic Rules for reasoning about BSP programs

    Stewart, H., 2002, Constructive Methods for Parallel Programming. Gorlatch, S. & Lengauer, C. (eds.). Nova Science Publishers, p. 41-57 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2001

    A neural network based tool for semi-automatic code transformation

    Corr, P. H., Milligan, P. & Purnell, V., 2001, Vector and Parallel Processing — VECPAR 2000. Springer International Publishing, Vol. 1981. p. 142-153 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2 Citations (Scopus)
  • 1996

    Abstract data types in the construction of knowledge-based quantum chemistry software

    Kilpatrick, P. & Scott, S., Mar 1996, Symposium on Recent Advances in Computational Quantum Chemistry to Honor Geerd H. F. Diercksen. Lowdin, P. O., Sabin, J. R., Zerner, M. C., Karwowski, J. & Karelson, M. (eds.). Academic Press Inc., p. 345-359 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter