Monografie
Modular performance analysis of embedded real-time systems : improving modeling scope and accuracy
- Sprache
-
Englisch
- Umfang
-
X, 230 S.
- Anmerkungen
-
Zugl.: Zürich, Techn. Hochsch., Diss., 2011
- ISBN
-
978-3-8440-0229-4
- Identifier
-
1013931807
- Reihe
-
Technische Informatik
Thema
Systementwicklung ; Eingebettetes System ; Echtzeitsystem ; Leistungsbewertung ; Formale Methode ; Verifikation ; Energieeffizienz ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:53 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Towards many core real-time embedded systems : software design of streaming systems at system level
Performence characterization and sensitivity analysis of real-time embedded systems
Integrating formal verification into the model-based development of adaptive embedded systems
Efficiency and predictability in resource sharing multicore systems
Advances in computing science - ASIAN '99 : proceedings
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Iterative design space exploration and robustness optimization for embedded systems
A formal framework for optimizing the design of distributed real-time embedded systems
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Design and performance analysis of multiprocessor streaming applications
Agile Softwareentwicklung für embedded real time systems mit der UML
Towards many core real-time embedded systems : software design of streaming systems at system level
Performence characterization and sensitivity analysis of real-time embedded systems
Integrating formal verification into the model-based development of adaptive embedded systems
Efficiency and predictability in resource sharing multicore systems
Advances in computing science - ASIAN '99 : proceedings
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Iterative design space exploration and robustness optimization for embedded systems
A formal framework for optimizing the design of distributed real-time embedded systems
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Design and performance analysis of multiprocessor streaming applications
Agile Softwareentwicklung für embedded real time systems mit der UML
Towards many core real-time embedded systems : software design of streaming systems at system level
Performence characterization and sensitivity analysis of real-time embedded systems
Integrating formal verification into the model-based development of adaptive embedded systems
Efficiency and predictability in resource sharing multicore systems
Advances in computing science - ASIAN '99 : proceedings
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Iterative design space exploration and robustness optimization for embedded systems
A formal framework for optimizing the design of distributed real-time embedded systems
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze
Design and performance analysis of multiprocessor streaming applications