Static byte-code analysis for state space reduction

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Aachen, Techn. Hochsch., Masterarbeit, 2006

Klassifikation
Informatik
Schlagwort
Programmanalyse , Compiler , Model Checking , Zustandsraum , Programmoptimierung , Verteiltes System

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
(wann)
2007
Urheber
Quirós Araya, Gustavo Arturo

URN
urn:nbn:de:hbz:82-opus-36528
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:43 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Quirós Araya, Gustavo Arturo
  • Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen

Entstanden

  • 2007

Ähnliche Objekte (12)

Love Bytes

Film

Love Bytes

Sound Bytes

Noten (Musik)

Sound Bytes

Static Source Code Analysis using OCL

Static Source Code Analysis using OCL

01.03.1 Byte, Kilobyte

zweidimensionales bewegtes Bild

01.03.1 Byte, Kilobyte

Bits and Bytes

Periodikum

Bits and Bytes

(Love.Bytes), Buch.

(Love.Bytes), Buch.

Bits und Bytes

Plakate

Bits und Bytes

Buchstaben, Bilder, Bytes

Aufsatzsammlung

Buchstaben, Bilder, Bytes

Static Code Analysis for All Languages - coala!

zweidimensionales bewegtes Bild

Static Code Analysis for All Languages - coala!

Protocols - Static duck typing for decoupled code

zweidimensionales bewegtes Bild

Protocols - Static duck typing for decoupled code

Static code analysis in multi-threaded environments

Hochschulschrift

Static code analysis in multi-threaded environments

Static Partial Order Reduction for Probabilistic Concurrent Systems

Static Partial Order Reduction for Probabilistic Concurrent Systems

Verbundene Objekte