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

SAT-based techniques in system synthesis (2003) Haubelt C, Teich J, Feldmann R, Monien B Conference contribution, Conference Contribution Fault tolerance analysis of distributed reconfigurable systems using SAT-based techniques (2003) Feldmann R, Haubelt C, Monien B, Teich J Conference contribution ReCoNet: Modeling and implementation of fault tolerant distributed reconfigurable hardware (2003) Haubelt C, Koch D, Teich J Conference contribution, Conference Contribution Modellierung Rekonfigurierbarer Systemarchitekturen (2002) Haubelt C, Teich J, Richter K, Ernst R Conference contribution Generation of Distributed Loop Control (2002) Hannig F, Teich J, Bednara M Book chapter / Article in edited volumes (Self-)reconfigurable finite state machines: Theory and implementation (2002) Teich J Conference contribution, Conference Contribution Interface Synthesis for FPGA Based VLSI Processor Arrays (2002) Bednara M, Teich J Conference contribution Energy Estimation for Piecewise Regular Processor Arrays (2002) Hannig F, Teich J Conference contribution Energy Estimation of Nested Loop Programs (2002) Hannig F, Teich J Conference contribution Architecture/Compiler Co-Exploration for ASIPs (2002) Fischer D, Teich J, Thies M, Weper R Journal article