X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • 1
    Buch
    Buch
    Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8 - 10, 2001 ; proceedings (2001)
    Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London : Springer
    Details
    UID:
    b3kat_BV013926914
    Umfang: IX, 502 S. , graph. Darst.
    ISBN: 3540426736
    Serie: Lecture notes in computer science 2211
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): Eingebettetes System ; Softwareentwicklung ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    URL: Inhaltsverzeichnis
    URL: Cover
    URL: Kapitel 1
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    Mehr zum Autor: Henzinger, Thomas 1962-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    UB Potsdam get availability status
    Berlin VÖBB/ZLB get availability status
    TU Berlin get availability status
  • 2
    Online-Ressource
    Online-Ressource
    Embedded Software : First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings (2001)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920588302882
    Umfang: IX, 504 p. , online resource.
    ISBN: 9783540454496
    Serie: Lecture Notes in Computer Science, 2211
    Anmerkung: Heterogeneous Modeling Support for Embedded Systems Design -- Hierarchical Hybrid Modeling of Embedded Systems -- Some Synchronization Issues When Designing Embedded Systems from Components -- Synchronous Programming Techniques for Embedded Systems: Present and Future -- From Requirements to Validated Embedded Systems -- Usage Scenarios for an Automated Model Compiler -- Embedded Control: From Asynchrony to Synchrony and Back -- Verification of Embedded Software: Problems and Perspectives -- A Network-Centric Approach to Embedded Software for Tiny Devices -- Storage Allocation for Real-Time, Embedded Systems -- Interface Theories for Component-Based Design -- Giotto: A Time-Triggered Language for Embedded Programming -- Directions in Functional Programming for Real(-Time) Applications -- Rate-Based Resource Allocation Models for Embedded Systems -- The Temporal Specification of Interfaces in Distributed Real-Time Systems -- System-Level Types for Component-Based Design -- Embedded Software Implementation Tools for Fully Programmable Application Specific Systems -- Compiler Optimizations for Adaptive EPIC Processors -- Embedded Software Market Transformation through Reusable Frameworks -- An End-to-End Methodology for Building Embedded Systems -- An Implementation of Scoped Memory for Real-Time Java -- Bus Architectures for Safety-Critical Embedded Systems -- Using Multiple Levels of Abstractions in Embedded Software Design -- Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software -- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems -- Modeling Real-Time Systems — Challenges and Work Directions -- VEST — A Toolset for Constructing and Analyzing Component Based Embedded Systems -- Embedded Software: Challenges and Opportunities -- Embedded Software in Network Processors — Models and Algorithms -- Design of Autonomous, Distributed Systems -- Formalizing Software Architectures for Embedded Systems -- Reliable and Precise WCET Determination for a Real-Life Processor -- Embedded Systems and Real-Time Programming -- Embedded Software for Video.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540426738
    Sprache: Englisch
    DOI: 10.1007/3-540-45449-7
    URL: http://dx.doi.org/10.1007/3-540-45449-7
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 3
    Online-Ressource
    Online-Ressource
    Embedded Software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (2001)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621578702882
    Umfang: IX, 504 p. , online resource.
    Ausgabe: 1st ed. 2001.
    ISBN: 9783540454496
    Serie: Lecture Notes in Computer Science, 2211
    Anmerkung: Heterogeneous Modeling Support for Embedded Systems Design -- Hierarchical Hybrid Modeling of Embedded Systems -- Some Synchronization Issues When Designing Embedded Systems from Components -- Synchronous Programming Techniques for Embedded Systems: Present and Future -- From Requirements to Validated Embedded Systems -- Usage Scenarios for an Automated Model Compiler -- Embedded Control: From Asynchrony to Synchrony and Back -- Verification of Embedded Software: Problems and Perspectives -- A Network-Centric Approach to Embedded Software for Tiny Devices -- Storage Allocation for Real-Time, Embedded Systems -- Interface Theories for Component-Based Design -- Giotto: A Time-Triggered Language for Embedded Programming -- Directions in Functional Programming for Real(-Time) Applications -- Rate-Based Resource Allocation Models for Embedded Systems -- The Temporal Specification of Interfaces in Distributed Real-Time Systems -- System-Level Types for Component-Based Design -- Embedded Software Implementation Tools for Fully Programmable Application Specific Systems -- Compiler Optimizations for Adaptive EPIC Processors -- Embedded Software Market Transformation through Reusable Frameworks -- An End-to-End Methodology for Building Embedded Systems -- An Implementation of Scoped Memory for Real-Time Java -- Bus Architectures for Safety-Critical Embedded Systems -- Using Multiple Levels of Abstractions in Embedded Software Design -- Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software -- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems -- Modeling Real-Time Systems - Challenges and Work Directions -- VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems -- Embedded Software: Challenges and Opportunities -- Embedded Software in Network Processors - Models and Algorithms -- Design of Autonomous, Distributed Systems -- Formalizing Software Architectures for Embedded Systems -- Reliable and Precise WCET Determination for a Real-Life Processor -- Embedded Systems and Real-Time Programming -- Embedded Software for Video.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783662178027
    Weitere Ausg.: Printed edition: ISBN 9783540426738
    Sprache: Englisch
    DOI: 10.1007/3-540-45449-7
    URL: https://doi.org/10.1007/3-540-45449-7
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 4
    Online-Ressource
    Online-Ressource
    Embedded Software : First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings (2001)
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    Details
    UID:
    gbv_1649261047
    Umfang: Online-Ressource
    ISBN: 9783540454496 , 3540426736
    Serie: Lecture Notes in Computer Science 2211
    Inhalt: With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry. This volume contains 34 invited papers from the First International Workshop on Embedded Systems. They present latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development (such as, for example, component based design, functional programming, real-time Java, resource and storage allocation, verification). Each paper focuses on one topic, showing the inter-relationship and application to the design and implementation of embedded software systems
    Anmerkung: Literaturangaben
    Weitere Ausg.: ISBN 9783540426738
    Weitere Ausg.: Buchausg. u.d.T. Embedded software Berlin : Springer, 2001 ISBN 3540426736
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): Eingebettetes System ; Softwareentwicklung ; Konferenzschrift
    DOI: 10.1007/3-540-45449-7
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Kapitel 1
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    Mehr zum Autor: Henzinger, Thomas 1962-
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    UB Potsdam
Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.
Meinten Sie 9783540426783?
Meinten Sie 9783440126738?
Meinten Sie 9783540020738?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz