Search

S. Herhut

Lazy reference counting for the Microgrid
Asynchronous adaptive optimisation for generic data-parallel array programming
Concurrent non-deferred reference counting on the Microgrid: first experiences
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
Message driven programming with S-Net: methodology and performance
SaC 1.0 — Single Assignment C — Tutorial
Single Assignment C: HP^2 programming for heterogeneous concurrent architectures
Compiling the functional data-parallel language SaC for Microgrids of Self-Adaptive Virtual Processors
Controlling chaos: On safe side-effects in data-parallel operations
Controlling Chaos: On Safe Side-Effects in Data-Parallel Operations
Truly nested data-parallelism: compiling SaC for the Microgrid architecture
From contracts towards dependent types: proofs by partial evaluation