Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Co-auteur:
Alberto Sangiovanni-Vincentelli
- Engels
- Paperback
- 9783540443070
- 25 september 2002
- 440 pagina's
Samenvatting
Compiled from the proceedings of the Second International Conference on Embedded Software, this volume contains 30 papers. It spans the whole range of embedded software, including operating systems and middleware, programming languages and compilers, modelling and validation.
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).
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).
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 25 september 2002
- Aantal pagina's
- 440
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- France) Emsoft 200 (2002 Grenoble
- Tweede Auteur
- J. Sifakis
- Co Auteur
- Alberto Sangiovanni-Vincentelli
- Hoofdredacteur
- Alberto Sangiovanni-Vincentelli
- Tweede Redacteur
- Alberto Sangiovanni-Vincentelli
- Hoofduitgeverij
- Springer
Overige kenmerken
- Editie
- 2002 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product lengte
- 233 mm
- Studieboek
- Ja
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 23 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 661 g
EAN
- EAN
- 9783540443070
Je vindt dit artikel in
- Categorieën
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.