Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Weitere Versionen anzeigen (2)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Damm, Werner 1952- (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	German
Veröffentlicht:	Berlin [u.a.] Springer 1987
Schriftenreihe:	Informatik-Fachberichte 146
Schlagworte:	Computer architecture Microprogramming Firmware Computerarchitektur Programmverifikation Verifikation Entwurf Mikroprogrammierung Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
von: Damm, Werner
Veröffentlicht: (1986)

Ein praktikables Verfahren zur interaktiven Mikroprogrammtransformation und deren automatischer formaler Verifikation
von: Rauscher, Reinhard
Veröffentlicht: (1986)

Programming Dedicated Microprocessors
von: Walls, Colin
Veröffentlicht: (1986)

Firmware Engineering Seminar veranstaltet von der gemeinsamen Fachgrupe "Mikroprogrammierung" des GI Fachausschusses 3/4 und des NTG-Fachausschusses 6 vom 12. – 14. März 1980 in Berlin
von: Giloi, W. K.
Veröffentlicht: (1980)

Foundations of Microprogramming Architecture, Software, and Applications
von: Agrawala, Ashok K.
Veröffentlicht: (2014)

MICRO 9 proceedings ninth annual Workshop on Microprogramming, September 27 - 29, 1976, New Orleans, Louisiana
Veröffentlicht: (1976)

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen
von: Eckert, Hans
Veröffentlicht: (1985)

Mikroarchitekturen und Mikroprogrammierung formale Beschreibung und Optimierung
von: Bode, Arndt 1948-
Veröffentlicht: (1984)

Zum methodischen Entwurf von Selbsttest-Architekturen für mikroprogrammierte Prozessorstrukturen
von: Schwair, Thomas
Veröffentlicht: (1991)

Computer aided verification 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings
Veröffentlicht: (1995)

Computer aided verification 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993 ; proceedings
Veröffentlicht: (1993)

Foundations of microprogramming architecture, software, and applications
von: Agrawala, Ashok K., et al.
Veröffentlicht: (1976)

Microprogramming and systems architecture
Veröffentlicht: (1975)

Entwurf und Bewertung von Algorithmen für ein mikroprogrammiertes Parallel- und Assoziativkonzept auf Mikroprogramm- und Benutzerebene
von: Wichmann, Heide
Veröffentlicht: (1977)

Proceedings of the IEEE Computer Society Microcomputer Firmware and I/O Workshops the 1979 APL report, Laurel, Maryland, March 6 - 7 and April 9 - 10, 1979
Veröffentlicht: (1979)

Entwurf einer Datentypenarchitektur
von: Güth, Reinhold
Veröffentlicht: (1982)

SAMP: Entwurf und Realisierung eines neuartigen Rechnerkonzeptes
von: Nowak, Lothar
Veröffentlicht: (1986)

Computer aided verification fourth international workshop ; proceedings
Veröffentlicht: (1993)

Computer-aided verification 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 ; proceedings
Veröffentlicht: (1991)

Tools and algorithms for the construction and analysis of systems 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings
Veröffentlicht: (2020)

Rechnerarchitektur
von: Giloi, Wolfgang 1930-2009
Veröffentlicht: (1993)

Elements of microprogramming
von: Banerji, Dilip K., et al.
Veröffentlicht: (1982)

Elements of microprogramming
von: Banerji, Dilip K., et al.
Veröffentlicht: (1982)

Proceedings of the 18th Annual Workshop on Microprogramming Pacific Grove, Calif., December 3-6, 1985
Veröffentlicht: (1985)

Proceedings Pacific Grove, Calif., December 3 - 6, 1985
Veröffentlicht: (1985)

Fundamental approaches to software engineering 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings
Veröffentlicht: (2020)

Microprogramming and firmware engineering tutorial
Veröffentlicht: (1989)

Rechnerarchitektur Einführung und Grundlagen
von: Erhard, Werner
Veröffentlicht: (1995)

Rechnerarchitektur Grundlagen
von: Fertig, Andreas
Veröffentlicht: (2016)

Rechnerarchitektur Einführung in den Aufbau moderner Computer
von: Hellmann, Roland 1978-
Veröffentlicht: (2013)

Korrekter Entwurf und Verifikation verteilter Systeme the Temporal Logic of Transitions - ein unterstützender Rahmen
von: Gouverneur, Gerd
Veröffentlicht: (1996)

The 25th Annual International Symposium on Microarchitecture MICRO 25 ; December 1 - 4, 1992, Portland, Oregon ; proceedings
Veröffentlicht: (1992)

HERAKLIT
von: Steinhoff, Alfons
Veröffentlicht: (1985)

A Survey of verification techniques for parallel programs
von: Barringer, Howard
Veröffentlicht: (1985)

Verifying concurrent processes using temporal logic
von: Hailpern, Brent T.
Veröffentlicht: (1982)

Microprogramming and systems architecture
Veröffentlicht: (1975)

MICRO 10 proceedings October 5 - 7, 1977 Niagara Falls, New York
Veröffentlicht: (1977)

Mikroprogramm-Steuerwerke
von: Saffert, Joachim
Veröffentlicht: (1969)

Microprogramming Ed. by P. A. Beaven
von: Boulaye, Guy G.
Veröffentlicht: (1975)

MICRO proceedings