• Deutsch

University Logo

  • Home
  • Search
  • Browse
  • Submit
  • Sitemap
Schließen
  • Organizational units
  • Mathematisch-Naturwissenschaftliche Fakultät

Institut für Informatik und Computational Science

Refine

Author

  • Gössel, Michael (7)
  • Schaub, Torsten (6)
  • Sogomonyan, Egor S. (4)
  • Brüning, Stefan (3)
  • Kunz, Wolfgang (3)
  • Saposhnikov, Va. V. (3)
  • Saposhnikov, Vl. V. (3)
  • Horn, Erika (2)
  • Pradhan, D. K. (2)
  • Rätsch, Gunnar (2)
+ more

Year of publication

  • 1996 (25) (remove)

Document Type

  • Article (25) (remove)

Language

  • English (22)
  • German (2)
  • Italien (1)

25 search hits

  • 1 to 25
  • BibTeX
  • CSV
  • RIS
  • XML
  • 10
  • 20
  • 50
  • 100

Sort by

  • Year
  • Year
  • Title
  • Title
  • Author
  • Author
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
  • 1 to 25

OPUS4 Logo  KOBV Logo  OAI Logo  DINI Zertifikat 2007  OA Netzwerk Logo

  • Institutional Repository
  • University Press
  • University Bibliography
  • University Library
  • Policy
  • Contact
  • Disclaimer
  • Imprint
  • Datenschutzerklärung

Login