Hochschulschrift
Formal specification of the x86 instruction set architecture
- Weitere Titel
-
Formelle Spezifizierung von dem x86-Befehlssatz
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Diss., 2012
- Klassifikation
-
Informatik
- Schlagwort
-
AMD x86-64 ; Prozessor ; Formalisierung ; Programmiersprache ; Speicher ; Cache-Speicher
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2012
- Urheber
- Beteiligte Personen und Organisationen
-
Paul, Wolfgang J.
- URN
-
urn:nbn:de:bsz:291-scidok-47072
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:02 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Degenbaev, Ulan
- Paul, Wolfgang J.
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2012
Ähnliche Objekte (12)
An Optimized Instruction Set Architecture for AMIDAR Processors
Automatic Compiler Support for Application-Specific Instruction Set Architecture Extensions
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
The M68000 family, Vol. 1.. Architecture, addressing modes, and instruction set
Trans-formal architecture
PROFEMO, design and implementation of a fault tolerant distributed system architecture, Suppl.. Formal specification
Circuit architecture derivation starting from a formal requirements specification considering a DDS as example
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
An Optimized Instruction Set Architecture for AMIDAR Processors
Automatic Compiler Support for Application-Specific Instruction Set Architecture Extensions
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
The M68000 family, Vol. 1.. Architecture, addressing modes, and instruction set
Trans-formal architecture
PROFEMO, design and implementation of a fault tolerant distributed system architecture, Suppl.. Formal specification
Circuit architecture derivation starting from a formal requirements specification considering a DDS as example
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings
The Z-formal specification notation : proceedings
An Optimized Instruction Set Architecture for AMIDAR Processors
Automatic Compiler Support for Application-Specific Instruction Set Architecture Extensions
Formal specification of CSCW applications
Formal specification : techniques and applications
Formal systems specification : the RPC-memory specification case study
The M68000 family, Vol. 1.. Architecture, addressing modes, and instruction set
Trans-formal architecture
PROFEMO, design and implementation of a fault tolerant distributed system architecture, Suppl.. Formal specification
Circuit architecture derivation starting from a formal requirements specification considering a DDS as example
Specification of PASCAL-R, [...]. The formal semantic specification using VDM
The Z formal specification notation : proceedings