Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

3-SAT on CUDA: Towards a Massively Parallel SAT Solver (2010) Schönfeld F, Meyer Q, Stamminger M, Wanka R Conference contribution Phase smoothing in a virtually synchronized pseudolite system using stochastic clock modelling (2010) Patino-Studencki L, Thielecke J, Batzer U Conference contribution A Rapid Prototyping System for Error-Resilient Multi-Processor Systems-on-Chip (2010) May M, Wehn N, Bouajila A, Zeppenfeld J, Stechele W, Herkersdorf A, Ziener D, Teich J Conference contribution Lifetime Reliability Optimization for Embedded Systems: A System-Level Approach (2010) Glaß M, Lukasiewycz M, Haubelt C, Teich J Conference contribution Discourse on Extending Embedded Medical Image Processing Systems Using the High Speed Serial RapidIO Interconnect (2010) Schmid M, Hannig F, Teich J, Diefenbach R, Pettendorf R, Hornegger H Conference contribution Network bandwidth optimization of ethernet-based streaming applications in automotive embedded systems (2010) Kern A, Schmutzler C, Streichert T, Hübner M, Teich J Conference contribution, Conference Contribution Modeling and synthesis of communication subsystems for loop accelerator pipelines (2010) Dutta H, Hannig F, Schmid M, Keinert J Conference contribution, Conference Contribution Towards scalable system-level reliability analysis (2010) Glaß M, Lukasiewycz M, Haubelt C, Teich J Conference contribution, Conference Contribution Symbolic system level reliability analysis (2010) Glaß M, Lukasiewycz M, Reimann F, Haubelt C, Teich J Conference contribution, Conference Contribution ReCoNets-design methodology for embedded systems consisting of small networks of reconfigurable nodes and connections (2010) Haubelt C, Koch D, Reimann F, Streichert T, Teich J Authored book, other