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
Medientyp
Sprache
Region
Bibliothek
Erscheinungszeitraum
Person/Organisation
Fachgebiete(RVK)
Schlagwörter
Zugriff
  • 1
    Online-Ressource
    Online-Ressource
    Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920455602882
    Umfang: X, 378 p. , online resource.
    ISBN: 9783540452126
    Serie: Lecture Notes in Computer Science, 2855
    Inhalt: This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.
    Anmerkung: Invited Contributions -- A Probabilistic Framework for Schedulability Analysis -- Resource-Efficient Scheduling for Real Time Systems -- Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems -- Regular Papers -- Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment -- HOKES/POKES: Light-Weight Resource Sharing -- Rate Monotonic vs. EDF: Judgment Day -- Translating Discrete-Time Simulink to Lustre -- Minimizing Variables’ Lifetime in Loop-Intensive Applications -- Resource Interfaces -- Clocks as First Class Abstract Types -- Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications -- Space Reductions for Model Checking Quasi-Cyclic Systems -- Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs -- Clock-Driven Automatic Distribution of Lustre Programs -- Reasoning about Abstract Open Systems with Generalized Module Checking -- Schedule-Carrying Code -- Energy-Efficient Multi-processor Implementation of Embedded Software -- A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications -- Constraint-Based Design-Space Exploration and Model Synthesis -- Eliminating Stack Overflow by Abstract Interpretation -- Event Correlation: Language and Semantics -- Generating Heap-Bounded Programs in a Functional Setting -- Pre-Scheduling: Integrating Offline and Online Scheduling Techniques.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540202233
    Sprache: Englisch
    DOI: 10.1007/b13983
    URL: http://dx.doi.org/10.1007/b13983
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 2
    Online-Ressource
    Online-Ressource
    Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings (2003)
    Berlin : Springer
    Details
    UID:
    gbv_749180889
    Umfang: Online-Ressource (X, 373 p. Also available online) , digital
    Ausgabe: Springer eBook Collection. Computer Science
    ISBN: 9783540452126 , 3540202234 , 9783540202233
    Serie: Lecture Notes in Computer Science 2855
    Inhalt: This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip
    Anmerkung: Includes bibliographical references and index
    Weitere Ausg.: ISBN 9783540202233
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783662200698
    Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783540202233
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): Konferenzschrift
    DOI: 10.1007/b13983
    URL: lizenzpflichtig
    URL: Volltext  (lizenzpflichtig)
    URL: Inhaltstext
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Online Zugang
    Open Access Wunsch
    UB Potsdam
  • 3
    Online-Ressource
    Online-Ressource
    Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings (2003)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621649402882
    Umfang: X, 378 p. , online resource.
    Ausgabe: 1st ed. 2003.
    ISBN: 9783540452126
    Serie: Lecture Notes in Computer Science, 2855
    Inhalt: This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.
    Anmerkung: Invited Contributions -- A Probabilistic Framework for Schedulability Analysis -- Resource-Efficient Scheduling for Real Time Systems -- Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems -- Regular Papers -- Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment -- HOKES/POKES: Light-Weight Resource Sharing -- Rate Monotonic vs. EDF: Judgment Day -- Translating Discrete-Time Simulink to Lustre -- Minimizing Variables' Lifetime in Loop-Intensive Applications -- Resource Interfaces -- Clocks as First Class Abstract Types -- Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications -- Space Reductions for Model Checking Quasi-Cyclic Systems -- Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs -- Clock-Driven Automatic Distribution of Lustre Programs -- Reasoning about Abstract Open Systems with Generalized Module Checking -- Schedule-Carrying Code -- Energy-Efficient Multi-processor Implementation of Embedded Software -- A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications -- Constraint-Based Design-Space Exploration and Model Synthesis -- Eliminating Stack Overflow by Abstract Interpretation -- Event Correlation: Language and Semantics -- Generating Heap-Bounded Programs in a Functional Setting -- Pre-Scheduling: Integrating Offline and Online Scheduling Techniques.
    In: Springer Nature eBook
    Weitere Ausg.: Printed edition: ISBN 9783662200698
    Weitere Ausg.: Printed edition: ISBN 9783540202233
    Sprache: Englisch
    DOI: 10.1007/b13983
    URL: https://doi.org/10.1007/b13983
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    Open Access Wunsch
    HU Berlin
  • 4
    Buch
    Buch
    Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 ; proceedings (2003)
    Berlin : Springer
    Details
    UID:
    gbv_371509033
    Umfang: X, 372 S. , graph. Darst.
    ISBN: 3540202234
    Serie: Lecture notes in computer science 2855
    Anmerkung: Literaturangaben
    Weitere Ausg.: Erscheint auch als Online-Ausgabe Alur, Rajeev, 1966 - Embedded Software Berlin, Heidelberg : Springer Berlin Heidelberg, 2003 ISBN 9783540202233
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    SS 4800
    Schlagwort(e): Eingebettetes System ; Softwareentwicklung ; Konferenzschrift
    URL: Inhaltsverzeichnis
    URL: Cover
    URL: Inhaltstext
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    UB Potsdam get availability status
  • 5
    Buch
    Buch
    Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings (2003)
    Berlin [u.a.] : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB13560974
    Umfang: X, 373 Seiten , graph. Darst.
    Ausgabe: 1
    ISBN: 3540202234
    Serie: Lecture notes in computer science 2855
    Anmerkung: Text engl.
    Sprache: Englisch
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Buch
    Berlin VÖBB/ZLB get availability status
Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.
Meinten Sie 9783540201236?
Meinten Sie 9783540200833?
Meinten Sie 9783540201243?
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz