Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008872808/catalog> ?p ?o. }

• catalog abstract "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.".
• catalog alternative "EMSOFT 2001".
• catalog contributor b12453299.
• catalog contributor b12453300.
• catalog contributor b12453301.
• catalog created "c2001.".
• catalog date "2001".
• catalog date "c2001.".
• catalog dateCopyrighted "c2001.".
• catalog description "Heterogeneous Modeling Support for Embedded Systems Design / P. Alexander and C. Kong -- Hierarchical Hybrid Modeling of Embedded Systems / R. Alur, T. Dang and J. Esposito / [and others] -- Some Synchronization Issues When Designing Embedded Systems from Components / A. Benveniste -- Synchronous Programming Techniques for Embedded Systems: Present and Future / G. Berry -- From Requirements to Validated Embedded Systems / M. Broy and O. Slotosch -- Usage Scenarios for an Automated Model Compiler / K. Butts, D. Bostic and A. Chutinan / [et al.] -- Embedded Control: From Asynchrony to Synchrony and Back / P. Caspi -- Verification of Embedded Software: Problems and Perspectives / P. Cousot and R. Cousot.".
• catalog description "Includes bibliographical references and index.".
• catalog 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.".
• catalog extent "ix, 504 p. :".
• catalog identifier "3540426736 (pbk. : alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2211".
• catalog issued "2001".
• catalog issued "c2001.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1 21".
• catalog subject "Computer science.".
• catalog subject "Computer software Development Congresses.".
• catalog subject "Logic design.".
• catalog subject "QA76.76.D47 E47 2001".
• catalog subject "Software engineering.".
• catalog tableOfContents "Heterogeneous Modeling Support for Embedded Systems Design / P. Alexander and C. Kong -- Hierarchical Hybrid Modeling of Embedded Systems / R. Alur, T. Dang and J. Esposito / [and others] -- Some Synchronization Issues When Designing Embedded Systems from Components / A. Benveniste -- Synchronous Programming Techniques for Embedded Systems: Present and Future / G. Berry -- From Requirements to Validated Embedded Systems / M. Broy and O. Slotosch -- Usage Scenarios for an Automated Model Compiler / K. Butts, D. Bostic and A. Chutinan / [et al.] -- Embedded Control: From Asynchrony to Synchrony and Back / P. Caspi -- Verification of Embedded Software: Problems and Perspectives / P. Cousot and R. Cousot.".
• catalog title "EMSOFT 2001".
• catalog title "Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings / Thomas A. Henzinger, Christoph M. Kirsch (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "Tahoe City (Calif., 2001) swd".
• catalog type "text".