TY - JOUR A1 - Tarnick, Steffen T1 - Bounding error masking in linear output space compression schemes Y1 - 1994 ER - TY - JOUR A1 - Tarnick, Steffen T1 - Controllable self-checking checkers for conditional concurrent checking Y1 - 1994 ER - TY - JOUR A1 - Böhlau, Peter T1 - Zero aliasing compression based on groups of weakly independent outputs in circuits with high complexity for two fault models Y1 - 1994 ER - TY - JOUR A1 - Kunz, Wolfgang A1 - Menon, P. T1 - Multi-level logic optimization by implication analysis Y1 - 1994 SN - 0-89791-690-5 SN - 0-8186-6416-9 SN - 0-8186-6417-7 ER - TY - JOUR A1 - Cobernuss, M. T1 - Bused interconnection network for parallel memory with linear storage Y1 - 1994 SN - 3-05-501602-5 ER - TY - JOUR A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - Self-parity combinational-circuits for self-testing, concurrent fault-detection and parity scan design Y1 - 1994 ER - TY - JOUR A1 - Gössel, Michael A1 - Morosov, Andrej A1 - Saposhnikov, V. V. A1 - Saposhnikov, VL. V. T1 - Design of combinational self-testing devices with unidirectionally independent outputs Y1 - 1994 ER - TY - JOUR A1 - Bogue, Ted A1 - Jürgensen, Helmut A1 - Gössel, Michael T1 - Design of cover circuits for monitoring the output of a MISR Y1 - 1994 SN - 0-8186-6307-3 , 0-8186-6306-5 ER - TY - JOUR A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - Code disjoint self-parity combinational circuits for self-testing, concurrent fault detection and parity scan design Y1 - 1994 ER - TY - JOUR A1 - Gerber, Stefan A1 - Gössel, Michael T1 - Detection of permanent faults of a floating point adder by pseudoduplication Y1 - 1994 ER - TY - THES A1 - Gerber, Stefan T1 - Using software for fault detection in arithmetical circuits Y1 - 1995 ER - TY - JOUR A1 - Gohlke, Mario T1 - A new approach for model-based recognition using colour regions Y1 - 1995 ER - TY - JOUR A1 - Tarnick, Steffen T1 - Controllable self-checking checkers for conditional concurrent checking Y1 - 1995 ER - TY - JOUR A1 - Hellebrand, Sybille A1 - Rajski, Janusz A1 - Tarnick, Steffen A1 - Venkatraman, Srikanth A1 - Courtois, Bernard T1 - Built-in test for circuits with scan based on reseeding of multiole polynomial linear feedback shift registers Y1 - 1995 ER - TY - JOUR A1 - Havemann, Ulrich A1 - Grivtsov, A. G. A1 - Merkulenko, N. N. T1 - Molecular dynamics simulation of the association of model colloidal particles in two dimensions Y1 - 1995 ER - TY - JOUR A1 - Liers, Achim A1 - Michel, Mathias T1 - Erfassung und Bewertung der Elektroenergiequalität in Netzen mit transienten Vorgängen Y1 - 1995 ER - TY - JOUR A1 - Richter, Peter T1 - A new deterministic approach for the optimization of cable layouts for power supply systems Y1 - 1995 ER - TY - THES A1 - Schmidt, Henning T1 - Dynamisch veränderbare Betriebssystemstrukturen Y1 - 1995 ER - TY - BOOK ED - Schröder-Preikschat, Wolfgang ED - Wu, Min-You T1 - The journal of supercomputing : trends in parallel operating systems Y1 - 1995 PB - Kluwer CY - Boston ER - TY - JOUR A1 - Schröder-Preikschat, Wolfgang T1 - Experience developing an object-oriented parallel operating system Y1 - 1995 ER -