Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems.

Marc Theisen, Felix C. Grtner

Browse the full GI paper archive.