Research Program
Application Domains
New Software and Platforms
New Results
- Simplification and Run-time Resolution of Data Dependence Constraints for Loop Transformations
- A bounded memory allocator for software-defined global address spaces
- On Fusing Recursive Traversals of K-d Trees
- Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses
- PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs
- Modularizing Crosscutting Concerns in Component-Based Systems
- Predictive runtime enforcement
- Third International Competition on Runtime Verification
- Monitoring Multi-threaded Component-Based Systems
- Decentralized Enforcement of Artifact Lifecycles
- Runtime enforcement of regular timed properties by suppressing and delaying events
- Organising LTL monitors over distributed systems with a global clock
- Decentralised LTL monitoring
- Using data dependencies to improve task-based scheduling strategies on NUMA architectures
- Description, Implementation and Evaluation of an Affinity Clause for Task Directives
- Design methodology for workload-aware loop scheduling strategies based on genetic algorithm and simulation
- The Mont-Blanc prototype: An Alternative Approach for HPC Systems
- Control of Autonomid Parallelism on Software Transactional Memory
- Evaluating the SEE sensitivity of a 45nm SOI Multi-core Processor due to 14 MeV Neutrons
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Research Program
Application Domains
New Software and Platforms
New Results
- Simplification and Run-time Resolution of Data Dependence Constraints for Loop Transformations
- A bounded memory allocator for software-defined global address spaces
- On Fusing Recursive Traversals of K-d Trees
- Effective Padding of Multidimensional Arrays to Avoid Cache Conflict Misses
- PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs
- Modularizing Crosscutting Concerns in Component-Based Systems
- Predictive runtime enforcement
- Third International Competition on Runtime Verification
- Monitoring Multi-threaded Component-Based Systems
- Decentralized Enforcement of Artifact Lifecycles
- Runtime enforcement of regular timed properties by suppressing and delaying events
- Organising LTL monitors over distributed systems with a global clock
- Decentralised LTL monitoring
- Using data dependencies to improve task-based scheduling strategies on NUMA architectures
- Description, Implementation and Evaluation of an Affinity Clause for Task Directives
- Design methodology for workload-aware loop scheduling strategies based on genetic algorithm and simulation
- The Mont-Blanc prototype: An Alternative Approach for HPC Systems
- Control of Autonomid Parallelism on Software Transactional Memory
- Evaluating the SEE sensitivity of a 45nm SOI Multi-core Processor due to 14 MeV Neutrons
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Previous | 
Home