Sciweavers

909 search results - page 134 / 182
» Generic Programming: An Introduction
Sort
View
93
Voted
ICSR
2004
Springer
15 years 4 months ago
Framed Aspects: Supporting Variability and Configurability for AOP
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
Neil Loughran, Awais Rashid
101
Voted
VMCAI
2004
Springer
15 years 4 months ago
Automatic Inference of Class Invariants
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
Francesco Logozzo
104
Voted
LCN
2003
IEEE
15 years 4 months ago
Pipelining and Overlapping for MPI Collective Operations
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...
Joachim Worringen
CSMR
2002
IEEE
15 years 3 months ago
A New Approach to Software Exploration: Back-Packing with GSEE
Maintaining software is very difficult, not only because of the number of software artifacts, but also because of the large variety of artifacts. Software includes programs, but a...
Jean-Marie Favre
IPPS
2002
IEEE
15 years 3 months ago
Compile/Run-Time Support for Thread Migration
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
Hai Jiang, Vipin Chaudhary