Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science, 2491, Band 2491) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Embedded Software: Second International Conference,...
Foto des Verkäufers
Embedded Software. Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Lecture Notes in Computer Science 2491.
Verlag:
Berlin & Heidelberg : Springer, 2002
ISBN 10: 354044307X
ISBN 13: 9783540443070
Gebraucht
23,5 x 15,5 cm.
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verkäuferbewertung 5 von 5 Sternen
23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed and lightly blotchy. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 642. Artikel-Nr. 36107
Gebraucht kaufen
EUR 42,00
EUR 10,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Embedded Software. Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Lecture Notes in Computer Science 2491.
Verlag:
Berlin & Heidelberg : Springer, 2002
ISBN 10: 354044307X
ISBN 13: 9783540443070
Gebraucht
23,5 x 15,5 cm.
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verkäuferbewertung 5 von 5 Sternen
23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed and lightly blotchy. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 644. Artikel-Nr. 36110
Gebraucht kaufen
EUR 42,00
EUR 10,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Embedded Software. Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Lecture Notes in Computer Science 2491.
Verlag:
Berlin & Heidelberg : Springer, 2002
ISBN 10: 354044307X
ISBN 13: 9783540443070
Gebraucht
23,5 x 15,5 cm.
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verkäuferbewertung 5 von 5 Sternen
23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 644. Artikel-Nr. 36104
Gebraucht kaufen
EUR 42,00
EUR 10,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Embedded Software. Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Lecture Notes in Computer Science 2491.
Verlag:
Berlin & Heidelberg : Springer, 2002
ISBN 10: 354044307X
ISBN 13: 9783540443070
Gebraucht
23,5 x 15,5 cm.
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verkäuferbewertung 5 von 5 Sternen
23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library labels. Rubbed. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 646. Artikel-Nr. 36100
Gebraucht kaufen
EUR 42,00
EUR 10,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Embedded Software. Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Lecture Notes in Computer Science 2491.
Verlag:
Berlin & Heidelberg : Springer, 2002
ISBN 10: 354044307X
ISBN 13: 9783540443070
Gebraucht
23,5 x 15,5 cm.
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verkäuferbewertung 5 von 5 Sternen
23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Libray label on back. Rubbed and lightly blotchy. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 640. Artikel-Nr. 36112
Gebraucht kaufen
EUR 42,00
EUR 10,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Embedded Software. Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Lecture Notes in Computer Science 2491.
Verlag:
Berlin & Heidelberg : Springer, 2002
ISBN 10: 354044307X
ISBN 13: 9783540443070
Gebraucht
23,5 x 15,5 cm.
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verkäuferbewertung 5 von 5 Sternen
23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 646. Artikel-Nr. 36102
Gebraucht kaufen
EUR 42,00
EUR 10,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Embedded Software. Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings. Lecture Notes in Computer Science 2491.
Verlag:
Berlin & Heidelberg : Springer, 2002
ISBN 10: 354044307X
ISBN 13: 9783540443070
Gebraucht
23,5 x 15,5 cm.
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verkäuferbewertung 5 von 5 Sternen
23,5 x 15,5 cm. Zustand: Gut. IX, 421 Pages.; With Figures and Tables. Original Paperback with Library label on back. Rubbed. Inside with the usual library stamps and inscriptions, otherwise in very clean condition. English Language. B04-04-04A|S48 Sprache: Englisch Gewicht in Gramm: 642. Artikel-Nr. 36105
Gebraucht kaufen
EUR 42,00
EUR 10,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Embedded Software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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). Artikel-Nr. 9783540443070
Neu kaufen
EUR 53,49
EUR 63,32 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar