Research Output

2011

IO Performance Prediction in Consolidated Virtualized Environments

Kraft, S., Casale, G., Krishnamurthy, D., Greer, D. & Kilpatrick, P., 2011, ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering. New York: ACM, p. 295-306 12 p.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

18 Citations (Scopus)

IO Performance Prediction in Consolidated Virtualized Environments

Kraft, S., Casale, G., Krishnamurthy, D., Greer, D. & Kilpatrick, P., Jan 2011, p. 295-306. 12 p.

Research output: Contribution to conferencePaper

17 Citations (Scopus)

Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

Vo, A., Gopalakrishnan, G., Kirby, R. M., De Supinski, B. R., Schulz, M. & Bronevetsky, G., 2011, 2011 International Conference on Parallel Architectures and Compilation Techniques (PACT). Institute of Electrical and Electronics Engineers (IEEE), p. 330-339 10 p.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

9 Citations (Scopus)

Latent Semantic Indexing using Multiresolution Analysis

Abbes, A., Jaber, T. & Milligan, P., Mar 2011, p. 327-332. 6 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

LIBERO:A framework for autonomic management of multiple non-functional concerns

Aldinucci, M., Danelutto, M., Xhagjika, V. & Kilpatrick, P., 01 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6586 LNCS. p. 237-245 9 p.

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

4 Citations (Scopus)
11 Citations (Scopus)

Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management

Danelutto, D., Kilpatrick, P., Montangero, C. & Semini, L., Aug 2011, p. 128-138. 11 p.

Research output: Contribution to conferencePaper

Parallel Programming of General-Purpose Programs Using Task-Based Programming Models

Vandierendonck, H., Pratikakis, P. & Nikolopoulos, D., May 2011, 3rd USENIX Workshop on Hot Topics on Parallelism. Berkeley, CA, USA: USENIX, 6 p.

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

Open Access
File
74 Downloads (Pure)

Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty

Gabarro, J., Serna, M. & Stewart, A., Jul 2011, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings. Springer, Vol. 6717. p. 651-662 12 p.

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

4 Citations (Scopus)
2010

2010 CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing

Danelutto, M., Desprez, F., Fragopoulou, P. & Stewart, H., Aug 2010, p. 235-236. 2 p.

Research output: Contribution to conferencePaper

Accelerating Multiple Sequence Alignment with the Cell BE Processor

Vandierendonck, H., Rul, S. & De Bosschere, K., 2010, In : The Computer Journal. 53, 6, p. 814-826 13 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

A methodology for precise comparisons of processor core architectures for homogeneous many-core DSP platforms

Rousseau, B., Manet, P., Loiselle, I., Legat, J-D. & Vandierendonck, H., Nov 2010, p. 273-280. 8 p.

Research output: Contribution to conferencePaper

A profile-based tool for finding pipeline parallelism in sequential programs

Rul, S., Vandierendonck, H. & De Bosschere, K., Sep 2010, In : Parallel Computing. 36, 9, p. 531-551 21 p.

Research output: Contribution to journalArticle

31 Citations (Scopus)

A Scalable Approach to Annotate Arbitrary Modelling Languages

Fritzsche, M., Gilani, W., Thiele, M., Spence, I., Brown, T. J. & Kilpatrick, P., Mar 2010, p. 301-318. 18 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Autonomic management of multiple non-functional concerns in behavioural skeletons

Aldinucci, M., Danelutto, M. & Kilpatrick, P., 2010, GRIDS, P2P AND SERVICES COMPUTING. Desprez, F., Getov, Priol, T. & Yahyapour, R. (eds.). NEW YORK: Springer, p. 89-103 15 p.

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

CAD Assessment Software: The influence of UK architects in the design of an assessment tool

Humes, N., Hadjri, K. & Milligan, P., Oct 2010, p. 1-11. 11 p.

Research output: Contribution to conferencePaper

Implicit Hints: Embedding Hint Bits in Programs without ISA Changes

Vandierendonck, H. & De Bosschere, K., Oct 2010, IEEE International Conference on Computer Design. p. 364-369 6 p.

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

3 Citations (Scopus)

LIBERO: a framework for autonomic management of multiple non-functional concerns

Aldinucci, M., Danelutto, M., Kilpatrick, P. & Xhagjik, V., Aug 2010, p. 237-245. 9 p.

Research output: Contribution to conferencePaper

Programming challenges for the implementation of numerical quadrature in atomic physics on FPGA and GPU accelerators

Gillan, C., Steinke, T., Bock, J., Borchert, S., Spence, I. & Scott, S., May 2010, p. 757-762. 6 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

sgen1: A generator of small but difficult satisfiability benchmarks

Spence, I., 01 Jan 2010, In : ACM Journal of Experimental Algorithmics. 15, null, p. 1.2:1-1.2:15 15 p., 1.2.

Research output: Contribution to journalArticle

11 Citations (Scopus)
3 Downloads (Pure)

The Paralax Infrastructure: Automatic Parallelization With a Helping Hand

Vandierendonck, H., Rul, S. & De Bosschere, K., 2010, p. 389-399. 11 p.

Research output: Contribution to conferencePaper

Open Access
File
58 Citations (Scopus)
118 Downloads (Pure)

Zero-One Designs Produce Small Hard SAT Instances

Van Gelder, A. & Spence, I., Jul 2010, Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Springer, Vol. 6175 LNCS. p. 388-397 10 p.

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

11 Citations (Scopus)
2009

2DRMP: A suite of two-dimensional R-matrix propagation codes

Scott, N. S., Scott, M. P., Burke, P. G., Stitt, T., Faro-Maza, V., Denis, C. & Maniopoulou, A., Dec 2009, In : Computer Physics Communications. 180, 12, p. 2424- 2449 26 p.

Research output: Contribution to journalArticle

16 Citations (Scopus)
38 Downloads (Pure)

ADAZ_v1_1

Scott, S., Dec 2009

Research output: Non-textual formSoftware

AEEA_v1_0

Scott, S., Dec 2009

Research output: Non-textual formSoftware

Autonomic management of non-functional concerns in distributed & parallel application programming

Aldinucci, M., Danelutto, M. & Kilpatrick, P., 2009, 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5. NEW YORK: Institute of Electrical and Electronics Engineers (IEEE), p. 579-590 12 p. (International Parallel and Distributed Processing Symposium (IPDPS)).

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

18 Citations (Scopus)

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

4 Citations (Scopus)

Computer-based tools for designers to improve decision making

Humes, N., Hadjri, K. & Milligan, P., Jul 2009, In : Gerontology Review. 19 (3), p. 1-6 6 p.

Research output: Contribution to journalArticle

Decision making tools for designers to improve decision making

Humes, N. & Milligan, P., Jul 2009, In : Irish journal of medical science. 178 Supplement 8, p. 267-338 72 p.

Research output: Contribution to journalArticle

Efficient streaming applications on multi-core with FastFlow: the biosequence alignment test-bed.

Aldinucci, M., Danelutto, M., Meneghin, M., Kilpatrick, P. & Torquati, M., Sep 2009, p. 273-280. 8 p.

Research output: Contribution to conferencePaper

31 Citations (Scopus)

Enabling Science through Emerging HPC Technologies

Scott, S., Spence, I. & Gillan, C., Jul 2009, p. 177-178. 2 p.

Research output: Contribution to conferencePaper

Enabling science through emerging HPC technologies: accelerating numerical quadrature using a GPU

Spence, I., Scott, N. S. & Gillan, C. J., Nov 2009, Numerical Methods and Programming. Vol. 10. p. 385-388 4 p.

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

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, HA. (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)

Factoring out ordered sections to expose thread-level parallelism

Vandierendonck, H., Rul, S. & De Bosschere, K., 2009, 2nd Workshop on Parallel Execution of Sequential Programs on Multicore Architectures (PESPMA 2009). p. 12-19

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

FARM_2DRMP: A version of FARM for use with 2DRMP

Burke, V. M., Noble, C. J., Faro-Maza, V., Maniopoulou, A. & Scott, S., Dec 2009, In : Computer Physics Communications. 180, 12, p. 2450-2451 2 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Fetch Gating Control through Speculative Instruction Window Weighting

Vandierendonck, H. & Seznec, A., Feb 2009, In : Lecture Notes in Computer Science. 2, p. 128-148 21 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Skeletons for multi/many-core systems

Aldinucci, M., Danelutto, M. & Kilpatrick, P., Sep 2009, p. 267-272. 6 p.

Research output: Contribution to conferencePaper

6 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)

TDM modelling and evaluation of different domain transforms for LSI

Jaber, T., Amira, A. & Milligan, P., Jun 2009, In : Neurocomputing. 72, 10-12, p. 2406-2417 12 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Towards Automatic Program Partitioning

Rul, S., Vandierendonck, H. & De Bosschere, K., May 2009, p. 89-98. 10 p.

Research output: Contribution to conferencePaper

4 Citations (Scopus)

Towards hierarchical management of autonomic components: a case study

Aldinucci, M., Danelutto, M. & Kilpatrick, P., 2009, PROCEEDINGS OF THE PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING. ElBaz, D., Spies, F. & Gross, T. (eds.). LOS ALAMITOS: IEEE Computer Society, p. 3-10 8 p. (Euromicro Conference on Parallel Distributed and Network-based Processing).

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

13 Citations (Scopus)
2008

Advances in autonomic components & services

Aldinucci, M., Danelutto, M., Zoppi, G. & Kilpatrick, P., Aug 2008, p. 3-17. 15 p.

Research output: Contribution to conferencePaper

17 Citations (Scopus)

A Framework for Prototyping and Reasoning about Distributed Systems

Aldinucci, M., Danelutto, M. & Kilpatrick, P., 2008, PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS. Bischof, C., Bucker, C., Gibbon, P., Joubert, G., Lippert, T., Mohr, B. & Peters, F. (eds.). AMSTERDAM: Institute of Irish Studies Press, p. 235-242 8 p. (Advances in Parallel Computing; vol. 15).

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

ALI: An extensible Architecture Description Language for industrial applications

Bashroush, R., Spence, I., Kilpatrick, P., Brown, J., Gilani, W. & Fritzsche, M., Mar 2008, p. 297-304. 8 p.

Research output: Contribution to conferencePaper

4 Citations (Scopus)

A Multiple Views Model for Variability Management in Software Product Lines

Spence, I., Bashroush, R., Kilpatrick, P., Gillan, C. & Brown, J., Jan 2008, p. 101-110. 10 p.

Research output: Contribution to conferencePaper

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

A Study of Load Hit/Miss Predictors

Vandierendonck, H. & Premillieu, N., 04 Sep 2008, 21 p.

Research output: Working paper

Behavior-Based branch prediction by dynamically clustering branch instructions

Vandierendonck, H., Desmet, V. & De Bosschere, K., May 2008, In : JOURNAL OF INFORMATION SCIENCE AND ENGINEERING. 24, 3, p. 919-931 13 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Behavioural skeletons for component autonomic management on grids

Aldinucci, M., Campa, S., Danelutto, M., Dazzi, P., Laforenza, D., Tonellotto, N. & Kilpatrick, P., Jun 2008, p. 3-15. 13 p.

Research output: Contribution to conferencePaper

17 Citations (Scopus)