Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8-10, 2001. Proceedings 2001 Edition Contributor(s): Henzinger, Thomas A. (Editor), Kirsch, Christoph M. (Editor) |
|
ISBN: 3540426736 ISBN-13: 9783540426738 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: September 2001 Annotation: With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry. This volume contains 34 invited papers from the First International Workshop on Embedded Systems. They present latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development (such as, for example, component based design, functional programming, real-time Java, resource and storage allocation, verification). Each paper focuses on one topic, showing the inter-relationship and application to the design and implementation of embedded software systems. |
Additional Information |
BISAC Categories: - Medical - Computers | Operating Systems - General - Computers | Software Development & Engineering - Systems Analysis & Design |
Dewey: 005.1 |
LCCN: 2001049832 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.98" H x 6.14" W x 9.21" (1.49 lbs) 504 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded Software. The workshop was organized October 8-10, 2001, at Tahoe City, California. The steering committee of the workshop has the following members: G erard Berry (Esterel Technologies, France) Paul Hudak (Yale University, USA) Hermann Kopetz(Technical University of Vienna, Austria) Edward Lee (University of California, Berkeley, USA) Ragunathan Rajkumar (Carnegie Mellon University, USA) Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA) Douglas Schmidt (Defense Advanced Research Projects Agency, USA) Joseph Sifakis (Verimag Grenoble, France) The workshop was sponsored jointly by the DARPA Information Technology O?ce within the MobIES (Model-based Integration of Embedded Systems) p- gram (Dr. Janos Sztipanovits), and by the National Science Foundation (Dr. Helen Gill). The workshop URL is www. emsoft. org. Embedded software is software that interacts with physical processes. As - bedded systems increasingly permeate our daily lives on all levels, from micr- copic devices to international networks, the cost-e?cient development of reliable embedded software is one of the grand challenges in computer science today. The purpose of the workshop is to bring together researchers in all areas of computer science that are traditionally distinct but relevant to embedded software devel- ment, and to incubate a research community in this way. |