Department Informatik

Representing mapping and scheduling decisions within dataflow graphs (2013) Zebelein C, Haubelt C, Falk J, Schwarzer T, Teich J Conference contribution, Conference Contribution On robust task-accurate performance estimation (2013) Xu Y, Wang B, Hasholzner R, Rosales R, Teich J Conference contribution, Conference Contribution Services for Numerical Simulations and Optimizations in Grids (2013) Limmer S, Fey D Conference contribution Different Scenarios of Concatenation at Aggregate Scheduling of Multiple Nodes (2013) Klehmet U, Hielscher KS Conference contribution, Conference Contribution Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software (2013) Meitner M, Saglietti F Conference contribution, Conference Contribution Coalgebraic Predicate Logic: Equipollence Results and Proof Theory (2013) Litak TM, Pattinson D, Sano K Conference contribution Nutzenpotenziale maßgetreuer 3D Avatare aus Low-cost Bodyscannern (2013) Zagel C, Süßmuth J Journal article Measurement of Individual Changes in the Performance of Human Stereoscopic Vision for Disparities at the Limits of the Zone of Comfortable Viewing (2013) Schmidt M, Hornegger J, Eskofier B, Barkowsky M, Paulus J Journal article Wie viel Unbekannte hat das größte Gleichungssystem, das man heute lösen kann? (2013) Gmeiner B, Köstler H, Rüde U Journal article Testen in der Cloud - Automatisiertes Testen in virtualisierten Umgebungen (2013) Ditter A, Pruksch M, Limmer S, Fey D Journal article, Report