Browse by Organisational Unit

Subcategories: There are no further subcategories

23 Results for this Organisational Unit

Subscribe to RSS feed for this result set

6. Applying the roofline model

Steinmann, Ruedi (2012)


Master and Bachelor Theses

9. EDT - Eiffel development toolkit

Ohnsorg, Reto (2009)


Master and Bachelor Theses

14. Formal background and algorithms

Biere, Armin (2001)


Conference Contributions

16. Modular derby

Kowalski, Pawel (2009)


Master and Bachelor Theses

18. Optimizing MathZonnon using OpenCL

Ernst, Benjamin (2011)


Master and Bachelor Theses