Department Informatik

Finitary Corecursion for the Infinitary Lambda Calculus (2015) Milius S, Wißmann T Conference contribution Bridging Algorithm and ESL Design: MATLAB/Simulink Model Transformation and Validation (2015) Zhang L, Glaß M, Ballmann N, Teich J Book chapter / Article in edited volumes Compact Code Generation and Throughput Optimization for Coarse-Grained Reconfigurable Arrays (2015) Teich J, Boppu S, Hannig F, Lari V Book chapter / Article in edited volumes Energy corrected schemes in flow problems for optimal control (2015) Rüde U, Wohlmuth BI, John L, Pustejovska P, Egger H Conference contribution, Conference Contribution Insights on the Configuration and Performances of SOME/IP Service Discovery (2015) Seyler J, Navet N, Fejoz L, Teich J Journal article FPGA-Based Dynamically Reconfigurable SQL Query Processing (2015) Ziener D, Bauer F, Becher A, Dennl C, Meyer-Wegener K, Schürfeld U, Teich J, et al. Journal article Runtime adaptation of application execution under thermal and power constraints in massively parallel processor arrays (2015) Sousa É, Hannig F, Teich J, Schlichtmann U, Chen Q Conference contribution, Conference Contribution Formal analysis of the startup delay of SOME/IP service discovery (2015) Seyler J, Streichert T, Glaß M, Navet N, Teich J Conference contribution, Conference Contribution Execution-driven parallel simulation of PGAS applications on heterogeneous tiled architectures (2015) Roloff S, Schafhauser D, Hannig F, Teich J Conference contribution, Conference Contribution Automatic communication-driven virtual prototyping and design for networked embedded systems (2015) Falk J, Schwarzer T, Zhang L, Glaß M, Teich J Journal article, Original article