Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies
Alle
Direkt bestellen
Merkzettel
Warenkorb

Eiskalt sparen!
15%¹ Rabatt + GRATIS Versand

Embedded Software

Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Embedded Software".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
The purpose of the EMSOFT Workshop, inaugurated last year at Lake Tahoe, is to bring together researchers and practitioners interested in the foundations and methods of embedded software design with the goal of improving subst- tially the state of the art...
Mehr zum Inhalt Video Inhaltsverzeichnis
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 24019894

Buch 93.08 €
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 24019894

Buch 93.08 €
Jetzt vorbestellen
The purpose of the EMSOFT Workshop, inaugurated last year at Lake Tahoe, is to bring together researchers and practitioners interested in the foundations and methods of embedded software design with the goal of improving subst- tially the state of the art...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
-7%
Lecture Notes in Computer Science: Embedded Software

Lecture Notes in Computer Science: Embedded Software

0 Sterne
eBook

Statt 93.08 € 19

86.75 €

Erschienen am 30.06.2003
Leider schon ausverkauft
Reconfigurable Computing: Architectures, Tools, and Applications

Reconfigurable Computing: Architectures, Tools, and Applications

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 18.03.2008
lieferbar
AVR-Microcontroller

AVR-Microcontroller

Ingo Klöckl

0 Sterne
Buch

39.95 €

Vorbestellen
Erschienen am 25.09.2015
Jetzt vorbestellen
Raspberry Pi®Project Handbook

Raspberry Pi®Project Handbook

Rui Santos, Sara Santos

0 Sterne
Buch

23.50 €

In den Warenkorb
lieferbar
Cryptographic Hardware and Embedded Systems - CHES 2000

Cryptographic Hardware and Embedded Systems - CHES 2000

0 Sterne
Buch

69.54 €

Vorbestellen
Erschienen am 13.12.2000
Voraussichtlich lieferbar in 3 Tag(en)
Reconfigurable Computing: Architectures, Tools and Applications

Reconfigurable Computing: Architectures, Tools and Applications

0 Sterne
Buch

96.29 €

In den Warenkorb
Erschienen am 17.03.2010
lieferbar
Cryptographic Hardware and Embedded Systems - CHES 2002

Cryptographic Hardware and Embedded Systems - CHES 2002

0 Sterne
Buch

96.29 €

Vorbestellen
Erschienen am 31.01.2003
Voraussichtlich lieferbar in 3 Tag(en)
Cryptographic Hardware and Embedded Systems - CHES 2006

Cryptographic Hardware and Embedded Systems - CHES 2006

0 Sterne
Buch

101.64 €

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Cryptographic Hardware and Embedded Systems - CHES 2009

Cryptographic Hardware and Embedded Systems - CHES 2009

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 28.08.2009
lieferbar
Algorithmic Aspects of Wireless Sensor Networks

Algorithmic Aspects of Wireless Sensor Networks

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 21.12.2006
Voraussichtlich lieferbar in 3 Tag(en)
Embedded Software

Embedded Software

0 Sterne
Buch

96.29 €

Vorbestellen
Erschienen am 26.09.2001
Voraussichtlich lieferbar in 3 Tag(en)
Maker-Projekte mit JavaScript

Maker-Projekte mit JavaScript

Gordon F. Williams

0 Sterne
Buch

16.95 €

In den Warenkorb
lieferbar
Embedded Java Security

Embedded Java Security

Mohamed Saleh, Mourad Debbabi, Chamseddine Talhi, Sami Zhioua

0 Sterne
Buch

93.99 €

Vorbestellen
Erschienen am 18.12.2006
Jetzt vorbestellen
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

David Trachtenherz

0 Sterne
Buch

82.99 €

In den Warenkorb
Erschienen am 25.06.2010
lieferbar
Cryptographic Hardware and Embedded Systems - CHES 2005

Cryptographic Hardware and Embedded Systems - CHES 2005

0 Sterne
Buch

101.64 €

In den Warenkorb
Erschienen am 18.08.2005
lieferbar
UbiComp 2006: Ubiquitous Computing

UbiComp 2006: Ubiquitous Computing

0 Sterne
Buch

106.99 €

Vorbestellen
Erschienen am 04.09.2006
Voraussichtlich lieferbar in 3 Tag(en)
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

0 Sterne
Buch

101.64 €

Vorbestellen
Erschienen am 13.03.2000
Voraussichtlich lieferbar in 3 Tag(en)
Formal Techniques for Networked and Distributed Systems - FORTE 2006

Formal Techniques for Networked and Distributed Systems - FORTE 2006

0 Sterne
Buch

117.69 €

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Software and Compilers for Embedded Systems

Software and Compilers for Embedded Systems

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 16.09.2003
Voraussichtlich lieferbar in 3 Tag(en)
Produktdetails
Produktinformationen zu „Embedded Software “
Klappentext zu „Embedded Software “
The purpose of the EMSOFT Workshop, inaugurated last year at Lake Tahoe, is to bring together researchers and practitioners interested in the foundations and methods of embedded software design with the goal of improving subst- tially the state of the art and stimulating the debate between researchers and designers. The scope of the EMSOFT Workshop spans all aspects of embedded software, including operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, c- munication protocols and fault tolerance. While the ?rst Workshop included only invited papers because of the need to establish a common framework and a basis for the scienti?c contributions, for this second EMSOFT, we attempted to strike a balance between invited and selected contributions. The program included 17 selected and 13 invited c- tributions. The invited speakers were: Giorgio Buttazzo (University of Pavia), PaoloFaraboschi(Hewlett-PackardLaboratories),NicolasHalbwachs(Verimag), DavidHarel(WeizmannInstitute),ChristophKirsch(UniversityofCaliforniaat Berkeley), Luciano Lavagno (Politecnico di Torino and Cadence Research Labs), Nancy Leveson (MIT), Sharad Malik (Princeton), Al Mok (University of Texas at Austin), Amir Pnueli (Weizmann Institute), Lui Sha (University of Illinois at Urbana-Champaign), Douglas Schmidt (University of California at Irvine), and Bran Selic (Rational).
Inhaltsverzeichnis zu „Embedded Software “
Embedded Systems: Challenges in Specification and Verification.- An Approach to Designing Safe Embedded Software.- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.- A Giotto-Based Helicopter Control System.- Principles of Real-Time Programming.- Time-Safety Checking for Embedded Programs.- Compositional Modeling in Metropolis.- Timed Interfaces.- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System.- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.- Scalable Applications for Energy-Aware Processors.- Upgrading Embedded Software in the Field: Dependability and Survivability.- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems.- JCOD: A Lightweight Modular Compilation Technology for Embedded Java.- Decreasing Memory Overhead in Hard Real-Time Garbage Collection.- Speedup Prediction for Selective Compilation of Embedded Java Programs.- Synchronous Modelling of Asynchronous Systems.- A Protocol for Loosely Time-Triggered Architectures.- Automatic Production of Globally Asynchronous Locally Synchronous Systems.- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.- Toward an Approximation Theory for Computerised Control.- A New Facility for Dynamic Control of Program Execution: DELI.- Design Tools for Application Specific Embedded Processors.- Processor Pipelines and Their Properties for Static WCET Analysis.- ILP-Based Interprocedural Path Analysis.- Enhancing Compiler Techniques for Memory Energy Optimizations.- FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors.- Physical Programming: Beyond Mere Logic.- Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.
Bibliographische Angaben

  • 2002, 430 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
  • Herausgegeben:Sangiovanni-Vincentelli, Alberto; Sifakis, Joseph
  • Verlag: Springer
  • ISBN-10: 354044307X
  • ISBN-13: 9783540443070
  • Erscheinungsdatum: 25.09.2002

Sprache:
Englisch
Kommentar zu "Embedded Software"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Embedded Software".

Kommentar verfassen
Andere Kunden kauften auch
Reconfigurable Computing: Architectures, Tools, and Applications

Reconfigurable Computing: Architectures, Tools, and Applications

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 18.03.2008
lieferbar
AVR-Microcontroller

AVR-Microcontroller

Ingo Klöckl

0 Sterne
Buch

39.95 €

Vorbestellen
Erschienen am 25.09.2015
Jetzt vorbestellen
Raspberry Pi®Project Handbook

Raspberry Pi®Project Handbook

Rui Santos, Sara Santos

0 Sterne
Buch

23.50 €

In den Warenkorb
lieferbar
Cryptographic Hardware and Embedded Systems - CHES 2000

Cryptographic Hardware and Embedded Systems - CHES 2000

0 Sterne
Buch

69.54 €

Vorbestellen
Erschienen am 13.12.2000
Voraussichtlich lieferbar in 3 Tag(en)
Reconfigurable Computing: Architectures, Tools and Applications

Reconfigurable Computing: Architectures, Tools and Applications

0 Sterne
Buch

96.29 €

In den Warenkorb
Erschienen am 17.03.2010
lieferbar
Cryptographic Hardware and Embedded Systems - CHES 2002

Cryptographic Hardware and Embedded Systems - CHES 2002

0 Sterne
Buch

96.29 €

Vorbestellen
Erschienen am 31.01.2003
Voraussichtlich lieferbar in 3 Tag(en)
Cryptographic Hardware and Embedded Systems - CHES 2006

Cryptographic Hardware and Embedded Systems - CHES 2006

0 Sterne
Buch

101.64 €

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Cryptographic Hardware and Embedded Systems - CHES 2009

Cryptographic Hardware and Embedded Systems - CHES 2009

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 28.08.2009
lieferbar
Algorithmic Aspects of Wireless Sensor Networks

Algorithmic Aspects of Wireless Sensor Networks

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 21.12.2006
Voraussichtlich lieferbar in 3 Tag(en)
Embedded Software

Embedded Software

0 Sterne
Buch

96.29 €

Vorbestellen
Erschienen am 26.09.2001
Voraussichtlich lieferbar in 3 Tag(en)
Maker-Projekte mit JavaScript

Maker-Projekte mit JavaScript

Gordon F. Williams

0 Sterne
Buch

16.95 €

In den Warenkorb
lieferbar
Embedded Java Security

Embedded Java Security

Mohamed Saleh, Mourad Debbabi, Chamseddine Talhi, Sami Zhioua

0 Sterne
Buch

93.99 €

Vorbestellen
Erschienen am 18.12.2006
Jetzt vorbestellen
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

David Trachtenherz

0 Sterne
Buch

82.99 €

In den Warenkorb
Erschienen am 25.06.2010
lieferbar
Cryptographic Hardware and Embedded Systems - CHES 2005

Cryptographic Hardware and Embedded Systems - CHES 2005

0 Sterne
Buch

101.64 €

In den Warenkorb
Erschienen am 18.08.2005
lieferbar
UbiComp 2006: Ubiquitous Computing

UbiComp 2006: Ubiquitous Computing

0 Sterne
Buch

106.99 €

Vorbestellen
Erschienen am 04.09.2006
Voraussichtlich lieferbar in 3 Tag(en)
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

0 Sterne
Buch

101.64 €

Vorbestellen
Erschienen am 13.03.2000
Voraussichtlich lieferbar in 3 Tag(en)
Formal Techniques for Networked and Distributed Systems - FORTE 2006

Formal Techniques for Networked and Distributed Systems - FORTE 2006

0 Sterne
Buch

117.69 €

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Software and Compilers for Embedded Systems

Software and Compilers for Embedded Systems

0 Sterne
Buch

80.24 €

Vorbestellen
Erschienen am 16.09.2003
Voraussichtlich lieferbar in 3 Tag(en)
Weitere Empfehlungen zu „Embedded Software “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Embedded Software“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich