publish.UP Institut für Informatik und Computational Science

Experience made with the design and development of a message-passing kernel for a dual-processor-node parallel computer (1996)

Schröder-Preikschat, Wolfgang ; Garnatz, Thomas ; Haack, Ute ; Sander, Michael

PEACE - Beispiel einer anwendungsorientierten Betriebssystemstruktur (1996)

Schmidt, Henning ; Berg, Ralph ; Büttner, Lars ; Cordson, Jörg ; Luther, Eva-Maria ; Schön, Friedrich

Software system specification (1996)

Horn, Erika ; Koutzevlov, Atanas ; Rätsch, Gunnar ; Schubert, Wolfgang ; Tschapek, Alexej

Software development plan (1996)

Horn, Erika ; Neuhaus, Alexander ; Rätsch, Gunnar ; Schubert, Wolfgang ; Tschapek, Alexej

Self-dual parity checking - a new method for on-line testing (1996)

Saposhnikov, Vl. V. ; Dimitriev, Alexej ; Gössel, Michael ; Saposhnikov, Va. V.

Logic equivalence checking by optimization techniues (1996)

Stoffel, Dominik ; Kunz, Wolfgang

Compiler assisted self-checking of structural integrity using return adress hashing (1996)

Wildner, Uwe

A new self-testing parity checker for ultra-reliable applications (1996)

Gössel, Michael ; Sogomonyan, Egor S.

Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems (1996)

Sogomonyan, Egor S. ; Gössel, Michael

Efficient logic verification in a synthesis environment (1996)

Kunz, Wolfgang ; Reddy, S. M. ; Subodh, M. ; Pradhan, D. K.

Self-checking comparator with one periodiv output (1996)

Kundu, S. ; Sogomonyan, Egor S. ; Gössel, Michael ; Tarnick, Steffen

A parity-preserving multi-input signature analyzer and it application for concurrent checking and BIST (1996)

Gössel, Michael ; Sogomonyan, Egor S.

Un approccio uniforme all'insegnamento dell'Informatica (1996)

Schwill, Andreas

Some extensions of Schmidt's partition method for sequence comparison based on binary character amino acid properties (1996)

Schulmeister, Thomas ; Rose, Jürgen ; Voigt, Horst

The mathematics of exponential signal amplification in amperometric three enzyme electrodes (1996)

Schulmeister, Thomas ; Scheller, Frieder W.

Objektorientierte Modellierung eines Sicherheitskonzeptes für Verwaltungsvorgänge (1996)

Reinke, Thomas

Putting default logics in perspective (1996)

Linke, Thomas ; Schaub, Torsten

XRay : a prolog technology theorem prover for default reasoning: a system description (1996)

Schaub, Torsten ; Brüning, Stefan ; Nicolas, Pascal

Skeptical query-answering in constrained default logic (1996)

Schaub, Torsten ; Thielscher, Michael

A simple signed system for paraconsistent reasoning (1996)

Besnard, Philippe ; Schaub, Torsten

Prolog technology for default reasoning (1996)

Schaub, Torsten ; Brüning, Stefan

A model-based approach to consistency-checking (1996)

Brüning, Stefan ; Schaub, Torsten

Implication-based gate-level synthesis for low-power (1996)

Pradhan, D. K. ; Chatterjee, M. ; Swarna, M. ; Kunz, Wolfgang

Synthesis of self-dual multi-output combinational circuits for on-line Teting (1996)

Moschanin, Wladimir ; Saposhnikov, Vl. V. ; Saposhnikov, Va. V. ; Gössel, Michael

Design of self-checking unidirectional combinational circuits with low area overhead (1996)

Saposhnikov, Va. V. ; Morosov, Andrej ; Saposhnikov, Vl. V. ; Gössel, Michael

Institut für Informatik und Computational Science

Refine

Author

Year of publication

Document Type

Language

25 search hits