9783540443070 - embedded software: second international conference, emsoft 2002, grenoble, france, october 7-9, 2002. proceedings (lecture notes in computer science, 2491, band 2491) von sifakis, joseph; sangiovanni-vincentelli, alberto (19 Ergebnisse)
Weitere Bilder- Softcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 42,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Weitere Bilder- Softcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 42,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Weitere Bilder- Softcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 42,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Weitere Bilder- Softcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 42,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Weitere Bilder- Softcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 42,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Weitere Bilder- Softcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 42,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Weitere Bilder- Softcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 42,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
Embedded Software : Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
Emsoft 200 (2002 Grenoble, France); Sifakis, J.; EMSOFT (CONFERENCE); Sangiovanni-Vincentelli, Alberto
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 60,92
EUR 2,28 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Embedded Software : Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
Emsoft 200 (2002 Grenoble, France); Sifakis, J.; EMSOFT (CONFERENCE); Sangiovanni-Vincentelli, Alberto
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 72,10
EUR 2,28 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2002
- Softcover
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes KönigreichRarewaves.com USA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,46
Versand gratisVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback. Zustand: New. 2002 ed. 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 resea…rchers 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).
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,89
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,50
EUR 18,03 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
Paperback. Zustand: New.
Embedded Software : Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
Emsoft 200 (2002 Grenoble, France); Sifakis, J.; EMSOFT (CONFERENCE); Sangiovanni-Vincentelli, Alberto
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,47
EUR 17,46 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Embedded Software : Second International Conference, Emsoft 2002, Grenoble, France, October 2002 : Proceedings
Emsoft 200 (2002 Grenoble, France); Sifakis, J.; EMSOFT (CONFERENCE); Sangiovanni-Vincentelli, Alberto
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 67,01
EUR 17,46 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 63,32 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 th…e 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).
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2002
- Softcover
Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 66,39
EUR 75,65 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Paperback. Zustand: New. 2002 ed. 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 resea…rchers 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).
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2002, 2002
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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). 440 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Sof…tware Design for Multi-vehicle Multi-m.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 Mul…ti-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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch.
