Peter Kilpatrick

Massimiliano Meneghin

Massimo Torquati

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

2010

Accelerating sequential programs using FastFlow and self-offloading

[BibT_eX]

[DOI]

Massimiliano Meneghin

Massimo Torquati

CoRR, 2010

Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung.

[BibT_eX]

[DOI]

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

A Scalable Approach to Annotate Arbitrary Modelling Languages.

[BibT_eX]

[DOI]

Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

LIBERO: A Framework for Autonomic Management of Multiple Non-functional Concerns.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010

2009

Towards Hierarchical Management of Autonomic Components: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro International Conference on Parallel, 2009

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

[BibT_eX]

[DOI]

Massimiliano Meneghin

Massimo Torquati

Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

Skeletons for multi/many-core systems.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

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

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Autonomic management of multiple non-functional concerns in behavioural skeletons.

[BibT_eX]

[DOI]

Proceedings of the Grids, 2009

Extending BPM Environments of Your Choice with Performance Related Decision Support.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 7th International Conference, 2009

2008

A Multiple Views Model for Variability Management in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 2008

Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, First International Conference, 2008

Behavioural Skeletons in GCM: Autonomic Management of Grid Components.

[BibT_eX]

[DOI]

Proceedings of the 16th Euromicro International Conference on Parallel, 2008

Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

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

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2008 Workshops, 2008

Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2008

Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA Applications.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

ALI: An Extensible Architecture Description Language for Industrial Applications.

[BibT_eX]

[DOI]

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

Analysing Orchestrations Using Risk Profiles And Angel-Daemon Games.

[BibT_eX]

[DOI]

Proceedings of the Grid Computing, 2008

From Orc Models To Distributed Grid Java Code.

[BibT_eX]

[DOI]

Proceedings of the Grid Computing, 2008

Assessing the Reliability and Cost of Web and Grid Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the The Third International Conference on Availability, 2008

2007

Challenges in the Application of Feature Modelling in Fixed Line Telecommunications.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Requirements Modelling and Design Notations for Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

A Framework for Prototyping and Reasoning about Distributed Systems.

[BibT_eX]

Proceedings of the Parallel Computing: Architectures, 2007

Management in Distributed Systems: A Semi-formal Approach.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2007, 2007

Bounded Site Failures: An Approach to Unreliable Grid Environments.

[BibT_eX]

[DOI]

Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

Adding metadata to Orc to support reasoning about grid programs.

[BibT_eX]

[DOI]

Proceedings of the Towards Next Generation Grids, 2007

Behavioural Skeletons for Component Autonomic Management on Grids.

[BibT_eX]

[DOI]

Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

2006

Weaving Behavior into Feature Models for Embedded System Families.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 10th International Conference, 2006

Managing Grid Computations: An ORC-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing and Applications, 2006

Towards More Flexible Architecture Description Languages for Industrial Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, Third European Workshop, 2006

2005

Feature-Guided Architecture Development for Embedded System Families.

[BibT_eX]

[DOI]

Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

ADLARS: An Architecture Description Language for Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

A generic reference software architecture for load balancing over mirrored Web servers: NaSr case study.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

A Network Architectural Style for Real-time Systems: NaSr.

[BibT_eX]

[DOI]

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Using the NaSr architectural style to solve the broken hyperlink problem.

[BibT_eX]

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Towards an automated evaluation process for software architectures.

[BibT_eX]

Proceedings of the IASTED International Conference on Software Engineering, 2004

2003

A Relational Architecture Description Language for Software Families.

[BibT_eX]

[DOI]

T. John Brown

Ivor T. A. Spence

Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

2002

Adaptable Components for Software Product Line Engineering.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, Second International Conference, 2002

Mixin programming in Java with reflection and dynamic invocation.

[BibT_eX]

[DOI]

T. John Brown

Ivor T. A. Spence

Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

2001

Towards a Semantics For Multidimensional Array Assignment in Fortran 95.

[BibT_eX]

[DOI]

N. Reid

Maurice Clint

Proceedings of the 5th Irish Workshop on Formal Methods, 2001

1998

A Case Study on Proving Transformations Correct: Data-Parallel Conversion.

[BibT_eX]

[DOI]

Stephen Kilpatrick

Maurice Clint

Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998

1996

The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation.

[BibT_eX]

[DOI]

Comput. J., 1996

1994

A Family of Data-Parallel Derivations.

[BibT_eX]

[DOI]

Proceedings of the High-Performance Computing and Networking, 1994

1993

Deriving Processing on SYDAMA-2: Concept and Realization of the Software.

[BibT_eX]

Proceedings of the Parallel Computing: Trends and Applications, 1993

1991

A Specification of a Complex Programming Language Statement.

[BibT_eX]

[DOI]

P. McParland