TY - JOUR A1 - Singh, Adit D. A1 - Sogomonyan, Egor S. A1 - Gössel, Michael A1 - Seuring, Markus T1 - Testability evaluation of sequential designs incorporating the multi-mode scannable memory element Y1 - 1999 ER - TY - JOUR A1 - Dimitriev, Alexej A1 - Saposhnikov, V. V. A1 - Saposhnikov, Vl. V. A1 - Gössel, Michael T1 - Concurrent checking of sequential circuits by alternating inputs Y1 - 1999 ER - TY - JOUR A1 - Otscheretnij, Vitalij A1 - Saposhnikov, Vl. V. A1 - Saposhnikov, V. V. A1 - Gössel, Michael T1 - Fault-tolerant self-dual circuits Y1 - 1999 ER - TY - JOUR A1 - Saposhnikov, Vl. V. V. V. A1 - Moshanin, Vl. A1 - Saposhnikov, V. V. A1 - Gössel, Michael T1 - Experimental results for self-dual multi-output combinational circuits Y1 - 1999 ER - TY - JOUR A1 - Saposhnikov, V. V. A1 - Saposhnikov, Vl. V. A1 - Gössel, Michael A1 - Morosov, Andrej T1 - A method of construction of combinational self-checking units with detection of all single faults Y1 - 1999 ER - TY - JOUR A1 - Gössel, Michael A1 - Dimitriev, Alexej A1 - Saposhnikov, V. V. A1 - Saposhnikov, Vl. V. T1 - Eine selbsttestende Struktur zur on-line Fehlererkennung in kombinatorischen Schaltungen Y1 - 1999 ER - TY - JOUR A1 - Saposhnikov, Vl. V. A1 - Ocheretnij, V. A1 - Saposhnikov, V. V. A1 - Gössel, Michael T1 - Modified TMR-system with reduced hardware overhead Y1 - 1999 ER - TY - JOUR A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - New totally self-checking ripple and carry look-ahead adders Y1 - 1999 ER - TY - JOUR A1 - Gössel, Michael A1 - Sogomonyan, Egor S. A1 - Morosov, Andrej T1 - A new totally error propagating compactor for arbitrary cores with digital interfaces Y1 - 1999 ER - TY - JOUR A1 - Seuring, Markus A1 - Gössel, Michael T1 - A structural approach for space compaction for sequential circuits Y1 - 1999 ER - TY - JOUR A1 - Morosov, Andrej A1 - Gössel, Michael A1 - Hartje, Hendrik T1 - Reduced area overhead of the input party for code-disjoint circuits Y1 - 1999 ER - TY - JOUR A1 - Seuring, Markus A1 - Gössel, Michael T1 - A structural method for output compaction of sequential automata implemented as circuits Y1 - 1999 ER - TY - JOUR A1 - Dmitriev, Alexej A1 - Saposhnikov, V. V. A1 - Saposhnikov, Vl. V. A1 - Gössel, Michael T1 - Self-dual sequential circuits for concurrent chechking Y1 - 1999 SN - 0-7695-0390-X ; 0-7695-0391-8 ER - TY - JOUR A1 - Sogomonyan, Egor S. A1 - Singh, Adit D. A1 - Gössel, Michael T1 - A multi-mode scannable memory element for high test application efficiency and delay testing Y1 - 1999 ER - TY - JOUR A1 - Gössel, Michael T1 - A new method of redundancy addition for circuit optimization JF - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1999 SN - 0946-7580 VL - 1999, 08 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Horn, Erika A1 - Kupries, Mario A1 - Reinke, Thomas T1 - Properties and models of software agents and prefabrication for agent application systems Y1 - 1999 SN - 0-7695-0001-3 , 0-7695-0002-1 , 0-7695-0003-X ER - TY - JOUR A1 - Reinke, Thomas A1 - Glöde, Dirk A1 - Lauert, Alexander A1 - Kupries, Mario A1 - Horn, Erika T1 - An architecture type-based development environment for agent application systems Y1 - 1999 SN - 3-9501023-0-2 ER - TY - JOUR A1 - Kupries, Mario T1 - ADE : An architecture type-based development environment for agent application systems Y1 - 1999 UR - http://www.agentlink.org/newsletter/ ER - TY - JOUR A1 - Kupries, Mario A1 - Noseleit, Christof T1 - Software architecture type-based interagent connections Y1 - 1999 SN - 158113066X ER - TY - JOUR A1 - Horn, Erika A1 - Reinke, Thomas T1 - Musterarchitekturen und Entwicklungsmethoden für Multiagentensysteme in betriebswirtschaftlichen Anwendungen Y1 - 1999 UR - http://www.cs.uni-potsdam.de/ ER - TY - JOUR A1 - Horn, Erika A1 - Reinke, Thomas A1 - Kupries, Mario T1 - Software-Agentsysteme : Konzepte, Anwendungsgebiete, Nutzen Y1 - 1999 SN - 3-929642-28-x ER - TY - JOUR A1 - Brüning, Stefan A1 - Schaub, Torsten H. T1 - Avoiding non-ground variables Y1 - 1999 SN - 3-540-66131-x ER - TY - JOUR A1 - Benhammadi, Farid A1 - Nicolas, Pascal A1 - Schaub, Torsten H. T1 - Query-answering in prioritized default logic Y1 - 1999 SN - 3-540-66131-X ER - TY - JOUR A1 - Benhammadi, Farid A1 - Nicolas, Pascal A1 - Schaub, Torsten H. T1 - Query-answering in prioritized default logic Y1 - 1999 SN - 3-540-66131-X ER - TY - JOUR A1 - Brüning, Stefan A1 - Schaub, Torsten H. T1 - A voiding non-ground variables Y1 - 1999 ER - TY - JOUR A1 - Linke, Thomas A1 - Schaub, Torsten H. T1 - On bottom-up pre-processing techniques for automated default reasoning Y1 - 1999 SN - 3-540-66131-x ER - TY - JOUR A1 - Seuring, Markus T1 - Built-in self test mit multi-mode scannable memory elementen Y1 - 1999 ER - TY - JOUR A1 - Neumann, I. A1 - Stoffel, Dominik A1 - Hartje, Hendrik A1 - Kunz, Wolfgang T1 - Cell replication and redundancy elimination during placement for cycle time optimization Y1 - 1999 ER - TY - JOUR A1 - Kupries, Mario T1 - Connector-aided coordination in agent systems Y1 - 1999 ER -