C. Grelck

Latest

• FAA+RTS: Designing Fault-Aware Adaptive Real-Time Systems - From Specification to Execution
• 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