TY - JOUR A1 - Brüning, Stefan A1 - Schaub, Torsten H. T1 - A model-based approach to consistency-checking Y1 - 1996 SN - 3-540-61286-6 ER - TY - JOUR A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - A new self-testing parity checker for ultra-reliable applications Y1 - 1996 ER - TY - JOUR A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - A parity-preserving multi-input signature analyzer and it application for concurrent checking and BIST Y1 - 1996 ER - TY - JOUR A1 - Besnard, Philippe A1 - Schaub, Torsten H. T1 - A simple signed system for paraconsistent reasoning Y1 - 1996 SN - 3-540-61630-6 ER - TY - JOUR A1 - Wildner, Uwe T1 - Compiler assisted self-checking of structural integrity using return adress hashing Y1 - 1996 ER - TY - BOOK A1 - Horn, Erika A1 - Reinke, Thomas T1 - Componentware-orientierte Softwarearchitektur unter Nutzung der CORBA-implemenation Orbix T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1996 VL - 1996, 06 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Sogomonyan, Egor S. A1 - Gössel, Michael T1 - Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems Y1 - 1996 ER - TY - BOOK A1 - Kupries, Mario T1 - Datenhaltung und Evolution objektorientierter Modelle von Geschäftsprozessen im Datenverwaltungssystem O2 T3 - MOSVO-Bericht Y1 - 1996 VL - UP.019.1 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Saposhnikov, Va. V. A1 - Morosov, Andrej A1 - Saposhnikov, Vl. V. A1 - Gössel, Michael T1 - Design of self-checking unidirectional combinational circuits with low area overhead Y1 - 1996 ER - TY - BOOK A1 - Richter, Peter T1 - Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht Y1 - 1996 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Kunz, Wolfgang A1 - Reddy, S. M. A1 - Subodh, M. A1 - Pradhan, D. K. T1 - Efficient logic verification in a synthesis environment Y1 - 1996 ER - TY - THES A1 - Morosov, Andrej T1 - Entwurf von selbstprüfenden digitalen Schaltungen mit monoton unabhängigen Ausgängen Y1 - 1996 ER - TY - JOUR A1 - Schröder-Preikschat, Wolfgang A1 - Garnatz, Thomas A1 - Haack, Ute A1 - Sander, Michael T1 - Experience made with the design and development of a message-passing kernel for a dual-processor-node parallel computer Y1 - 1996 ER - TY - JOUR A1 - Pradhan, D. K. A1 - Chatterjee, M. A1 - Swarna, M. A1 - Kunz, Wolfgang T1 - Implication-based gate-level synthesis for low-power Y1 - 1996 SN - 0-7803-3571-6 ER - TY - THES A1 - Gohlke, Mario T1 - Konzept, Entwurf und Anwendungsanalyse eines fehlertoleranten modellbasierten Objekterkennungssystems zur Auswertung von Farbbildern Y1 - 1996 ER - TY - JOUR A1 - Stoffel, Dominik A1 - Kunz, Wolfgang T1 - Logic equivalence checking by optimization techniues Y1 - 1996 ER - TY - BOOK A1 - Bartl, Peter A1 - Reinke, Thomas T1 - Logisches Gesamtmodell der Vorgangsmodellierung T3 - MOSVO-Bericht Y1 - 1996 VL - UP.015.2 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Horn, Erika T1 - MOSVO-Rechnergestützte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationsstrukturen : Statusseminar Y1 - 1996 PB - BMBF-Verl. CY - Bonn ER - TY - JOUR A1 - Reinke, Thomas T1 - Objektorientierte Modellierung eines Sicherheitskonzeptes für Verwaltungsvorgänge JF - MOSVO-Bericht Y1 - 1996 VL - UP.014.1 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Schmidt, Henning A1 - Berg, Ralph A1 - Büttner, Lars A1 - Cordson, Jörg A1 - Luther, Eva-Maria A1 - Schön, Friedrich T1 - PEACE - Beispiel einer anwendungsorientierten Betriebssystemstruktur Y1 - 1996 ER - TY - JOUR A1 - Schaub, Torsten H. A1 - Brüning, Stefan T1 - Prolog technology for default reasoning Y1 - 1996 SN - 0-471-96809-9 ER - TY - JOUR A1 - Linke, Thomas A1 - Schaub, Torsten H. T1 - Putting default logics in perspective Y1 - 1996 SN - 3-540-61708-6 ER - TY - JOUR A1 - Kundu, S. A1 - Sogomonyan, Egor S. A1 - Gössel, Michael A1 - Tarnick, Steffen T1 - Self-checking comparator with one periodiv output Y1 - 1996 ER - TY - JOUR A1 - Saposhnikov, Vl. V. A1 - Dimitriev, Alexej A1 - Gössel, Michael A1 - Saposhnikov, Va. V. T1 - Self-dual parity checking - a new method for on-line testing Y1 - 1996 ER - TY - JOUR A1 - Schaub, Torsten H. A1 - Thielscher, Michael T1 - Skeptical query-answering in constrained default logic Y1 - 1996 SN - 3-540-61313-7 ER - TY - BOOK A1 - Koutzevlov, Atanas A1 - Tschapek, Alexej T1 - Software & interface requirements specifications T3 - HGG-Dokument Y1 - 1996 VL - UPHGG.014.1 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Horn, Erika A1 - Neuhaus, Alexander A1 - Rätsch, Gunnar A1 - Schubert, Wolfgang A1 - Tschapek, Alexej T1 - Software development plan JF - HGG-Dokument Y1 - 1996 VL - UPHGG.002.4 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Horn, Erika A1 - Koutzevlov, Atanas A1 - Rätsch, Gunnar A1 - Schubert, Wolfgang A1 - Tschapek, Alexej T1 - Software system specification JF - HGG-Dokument Y1 - 1996 VL - UPHGG.010.4 PB - Univ. CY - Potsdam ER - TY - BOOK A1 - Koutzevlov, Atanas A1 - Schubert, Wolfgang A1 - Tschapek, Alexej T1 - Software test plan & test description T3 - HGG-Dokument Y1 - 1996 VL - UPHGG.016.1 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Schulmeister, Thomas A1 - Rose, Jürgen A1 - Voigt, Horst T1 - Some extensions of Schmidt's partition method for sequence comparison based on binary character amino acid properties Y1 - 1996 ER - TY - JOUR A1 - Moschanin, Wladimir A1 - Saposhnikov, Vl. V. A1 - Saposhnikov, Va. V. A1 - Gössel, Michael T1 - Synthesis of self-dual multi-output combinational circuits for on-line Teting Y1 - 1996 ER - TY - THES A1 - Kunz, Wolfgang T1 - Testing techniques in logic synthesis Y1 - 1996 ER - TY - JOUR A1 - Schulmeister, Thomas A1 - Scheller, Frieder W. T1 - The mathematics of exponential signal amplification in amperometric three enzyme electrodes Y1 - 1996 ER - TY - JOUR A1 - Schwill, Andreas T1 - Un approccio uniforme all'insegnamento dell'Informatica Y1 - 1996 ER - TY - JOUR A1 - Schaub, Torsten H. A1 - Brüning, Stefan A1 - Nicolas, Pascal T1 - XRay : a prolog technology theorem prover for default reasoning: a system description Y1 - 1996 SN - 3-540-61511-3 ER - TY - BOOK A1 - Liers, Achim A1 - Michel, Mathias A1 - Stavenhagen, Tilo T1 - Zwischenbericht MUBOSE Y1 - 1996 PB - Univ. CY - Potsdam ER -