Universität Paderborn

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 Multi-domain finite element - Spectral Chebyshev parallel Navier-Stokes solver for viscous flow problems (2003) Borchers W, Kräutle S, Pasquetti R, Peyret R, Rautmann R Book chapter / Article in edited volumes Spherical Unitary Highest Weight Representations (2002) Krötz B, Neeb KH Journal article, Original article Architecture/Compiler Co-Exploration for ASIPs (2002) Fischer D, Teich J, Thies M, Weper R Journal article Comparison of data structures for storing Pareto-sets in MOEAs (2002) Mostaghim S, Teich J, Tyagi A Conference contribution, Conference Contribution Tradeoff Analysis of FPGA Based Elliptic Curve Cryptography (2002) Bednara M, Daldrup M, J. Shokrollahi J, Teich J, von zur Gathen J Conference contribution Reconfigurable Implementation of Elliptic Curve Crypto Algorithms (2002) Bednara M, J. Shokrollahi J, Teich J, Daldrup M, von zur Gathen J Conference contribution Efficient Architecture/Compiler Co-Exploration for ASIPs (2002) Fischer D, Teich J, Thies M, Weper R Conference contribution Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example (2002) Bonorden O, Meyer auf der Heide F, Wanka R Conference contribution