1996

Reduzierung des Befehlsstromes eines RISC-Prozessors durch Anwendung der Datenkompression
G. Kemnitz, S. Sawitzki, R.G. Spallek, Technical Report TUD/FI/96/04, Technische Universität Dresden, Institut für Technische Informatik, 1996

Analogue fault simulation on distributed platforms
A. Holubek, R.G. Spallek, W. Vermeiren, IEEE International Conference on Distributed Platforms (ICDP'96), Dresden, 1996, Seiten 329 - 333

Verteilte analoge Fehlersimulation auf einem Workstation-Netz
A. Holubek, R.G. Spallek, B. Straube, W. Vermeiren, Workshop Workstations SIWORK'96, Zürich, 1996

Ein Vergleich von Verfahren zur Traversierung des Zustandsraums abstrakter Produktautomaten
J. Schönherr, I. Schreiber, R.G. Spallek, B. Straube, GI/ITG/GME Workshop, Methoden des Entwurfs und der Verifikation digitaler Systeme, Kreischa, 1996, Seiten 91 - 100

Werkzeuge für den Entwurf und die Optimierung von Mikroprozessor-Befehlssätzen
G. Markwardt, R.G. Spallek, GI/ITG Workshop Custom Computing, Dagstuhl, 1996, Seiten 54 - 61

Benutzeroberfläche und Datenverwaltung für Systeme gekoppelter Simulatoren
A. Gratz, R.G. Spallek, 10. Symposium Simulationstechnik. ASIM'96 Dresden, HTW Dresden, 1996, Seiten 525 - 530

A retargetable code generator for SUIF
G. Markwardt, P. Schulz, First SUIF Compiler Workshop, Stanford, 1996, Seiten 32 - 35

Efficient operand passing for RISC processors
G. Markwardt, P. Schulz, R.G. Spallek, G. Kemnitz, Second International Symposium On High-Performance Computer Architecture (HPCA), Workshop on Interaction between Compilers and Computer Architectures, San Jose, 1996, Seiten 1 - 7

Modellierung, Simulation und Optimierung innovativer optischer Rechnerarchitekturen
R.G. Spallek, K. Kabitzsch, 7. Arbeitsgespräch der Fachgruppe PII zum Thema "Optik für die Rechentechnik", Dresden, 1996

Analyzing Digital Systems by Symbolic Model Checking, 4th BELSIGN Workshop
I. Schreiber, J. Schönherr, B. Straube, Santander, October 30-31, 1996

Ein Vergleich von Verfahren zur Traversierung des Zustandsraums abstrakter Produktautomaten
J. Schönherr, I. Schreiber, B. Straube, R.G. Spallek, Tagungsband des 4. GI/ITG/GME Workshop: Methoden des Entwurfs und der Verifikation digitaler Systeme, Dresden-Kreischa, 25. - 27. März 1996, S. 91-100

Modellierung, Simulation und Auswertung als gekoppelte Systeme
R.G. Spallek, 2. Salzburger Informatiktage an der TU Dresden, Dresden, 1996