Home
News
Vacancies
People
Projects
Publications
PCS Software
Contact
C. Grelck
Latest
Change of plans: optimizing for power, reliability and timeliness for cost-conscious real-time systems
GCN-based reinforcement learning approach for scheduling DAG applications
Lifetime Estimation for Core-Failure Resilient Multi-Core Processors
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
Towards Facilitating Resilience in Cyber-physical Systems using Coordination Languages
Active Resource Management for Multi-Core Runtime Systems Serving Malleable Applications
A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections
Active Resource Management for Declarative Data-Flow Processing
An Efficient Scalable Work-Stealing Runtime for Macro Data Flow Processing Using S-Net
Draft proceedings of the 7th International Symposium on High-Level Parallel Programming and Applications
Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code
SaC/C formulations of the all-pairs N-body problem and their performance on SMPs and GPGPUs
Selected Issues in Persistent Asynchronous Adaptive Specialization for Generic Functional Array Programming
Towards Hybrid Array Types in SAC
Towards Truly Boolean Arrays in Data-Parallel Array Processing
A Data-Flow Based Coordination Approach to Concurrent Software Engineering
FD-COMA 2013: 2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures: 8th International Conference on High-Performance and Embedded Architectures and Compilers: HIPEAC 2013: Berlin, Germany, January 21-23, 2013
Persistent Asynchronous Adaptive Specialisation for Data-Parallel Array Processing in SAC
S+Net: extending functional coordination with extra-functional semantics
Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net
Task Migration for S-Net/LPEL
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming
Towards Heterogeneous Computing without Heterogeneous Programming
Towards Persistent and Parallel Asynchronous Adaptive Specialisation for Data-Parallel Array Processing in SAC
User-Defined Shape Constraints in SAC
An infrastructure for multi-level optimisation through property annotation and aggregation
Combining high productivity and high performance in image processing using single assignment C on multi-core CPUs and many-core GPUs
Distributed S-Net: Cluster and Grid Computing without the Hassle
Engineering Concurrent Software Guided by Statistical Performance Analysis
FD-COMA 2012: Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures: 7th International Conference on High-Performance and Embedded Architectures and Compilers: HIPEAC 2012: Paris, France, January 25, 2012
GPU-Based Image Processing Use Cases: A High-Level Approach
Lazy reference counting for the Microgrid
Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems: a Dataflow-driven Approach Using S-Net
SAC on a Niagara T3-4 server: lessons and experiences
SAC on a Niagara T3-4 Server: Lessons and Experiences
Single Assignment C (SAC): High Productivity meets High Performance
User-Defined Shape Constraints in SAC
Asynchronous Adaptive Optimisation for Generic Data-Parallel Array Programming and Beyond
Concurrent non-deferred reference counting on the Microgrid: first experiences
Descriptor-free representation of arrays with dependent types
Design and Implementation of CAOS: an implicitly parallel language for the high-performance simulation of cellular automata
Efficient memory copy operations on the 48-core Intel SCC processor
Implementation architecture and multithreaded runtime system of S-Net
On mapping distributed S-Net to the 48-core Intel SCC processor
The essence of synchronisation in asynchronous data flow
Parallel signal processing with S-Net
An adaptive compilation framework for generic data-parallel array programming
An adaptive compilation framework for generic data-parallel array programming
An operational semantics for S-Net
Asynchronous stream processing with S-Net
Cluster computing as an assembly process: coordination with S-Net
Distributed S-Net: High-level message passing without the hassle
Hardware virtualisation for heterogeneous many-core systems
Message driven programming with S-Net: methodology and performance
On the compilation of a language for general concurrent target architectures
Resource-agnostic programming for many-core microgrids
S-Net for multi-memory multicores
S-Net language report: Version 2.0
S-Net: High-level coordination for the many-core era
SaC 1.0 — Single Assignment C — Tutorial
Single Assignment C: HP^2 programming for heterogeneous concurrent architectures
The essence of synchronisation in asynchronous data flow programming
Compiling the functional data-parallel language SaC for Microgrids of Self-Adaptive Virtual Processors
Concurrency engineering with S-Net
Controlling chaos: On safe side-effects in data-parallel operations
Controlling Chaos: On Safe Side-Effects in Data-Parallel Operations
Dependently typed array programs don’t go wrong
Distributed S-Net: design and implementation
S-Net language report: Version 1.0
Truly nested data-parallelism: compiling SaC for the Microgrid architecture
Dependently typed array programs don't go wrong
Descriptor-free representation of arrays with dependent types
From contracts towards dependent types: proofs by partial evaluation
Towards reconfiguration and self-adaptivity in S-Net
Cite
×