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  - 
TY  - JOUR
A1  - Schröder-Preikschat, Wolfgang
A1  - Giloi, Wolfgang K.
T1  - The next generation parallel architecture - multiple executing threads
Y1  - 1995
ER  - 
TY  - THES
A1  - Tarnick, Steffen
T1  - Data compression techniques for concurrent error detection and built-in self test
Y1  - 1995
ER  - 
TY  - BOOK
A1  - Bartl, Peter
A1  - Horn, Erika
A1  - Reinke, Thomas
T1  - Modelltypen, Ausdrucksmittel, Beispiele für die Modellierung von Verwaltungsvorgängen
T3  - MOSVO-Bericht
Y1  - 1995
VL  - UP.004.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Reddy, S. M.
A1  - Kunz, Wolfgang
A1  - Pradhan, D. K.
T1  - Novel verification framework combining structural and OBDD methods in a synthesis environment
Y1  - 1995
SN  - 0-8186-7213-7
SN  - 0-8186-7214-5
ER  - 
TY  - JOUR
A1  - Chatterjee, M.
A1  - Pradhan, D. K.
A1  - Kunz, Wolfgang
T1  - ATPG-based Transformations for random-pattern testable logic synthesis
Y1  - 1995
SN  - 0-8186-7213-7
SN  - 0-8186-7214-5
SN  - 0-8186-7215-3
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - Lemma handling in default logic theorem provers
Y1  - 1995
SN  - 3540601120
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - An approach to context-based default reasoning
Y1  - 1995
SN  - 0169-2968
ER  - 
TY  - JOUR
A1  - Thielscher, Michael
A1  - Schaub, Torsten H.
T1  - Default reasoning by deductive planning
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Sogomonyan, Egor S.
A1  - Gössel, Michael
T1  - A new parity preserving multi-input signature analyser
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Bogue, Ted
A1  - Jürgensen, Helmut
A1  - Gössel, Michael
T1  - BIST with negligible aliasing through random cover circuits
Y1  - 1995
ER  -