LEADER 04966nam  22007095  450 
001 9910143615603321
005 20200703172647.0
010   $a3-540-45449-7
024 7 $a10.1007/3-540-45449-7
035   $a(CKB)1000000000211608
035   $a(SSID)ssj0000322878
035   $a(PQKBManifestationID)11243993
035   $a(PQKBTitleCode)TC0000322878
035   $a(PQKBWorkID)10288095
035   $a(PQKB)10075695
035   $a(DE-He213)978-3-540-45449-6
035   $a(MiAaPQ)EBC3072979
035   $a(PPN)155200402
035   $a(EXLCZ)991000000000211608
100   $a20121227d2001      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEmbedded Software $eFirst International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings /$fedited by Thomas A. Henzinger, Christoph M. Kirsch
205   $a1st ed. 2001.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001.
215   $a1 online resource (IX, 504 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2211
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-42673-6 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aHeterogeneous Modeling Support for Embedded Systems Design -- Hierarchical Hybrid Modeling of Embedded Systems -- Some Synchronization Issues When Designing Embedded Systems from Components -- Synchronous Programming Techniques for Embedded Systems: Present and Future -- From Requirements to Validated Embedded Systems -- Usage Scenarios for an Automated Model Compiler -- Embedded Control: From Asynchrony to Synchrony and Back -- Verification of Embedded Software: Problems and Perspectives -- A Network-Centric Approach to Embedded Software for Tiny Devices -- Storage Allocation for Real-Time, Embedded Systems -- Interface Theories for Component-Based Design -- Giotto: A Time-Triggered Language for Embedded Programming -- Directions in Functional Programming for Real(-Time) Applications -- Rate-Based Resource Allocation Models for Embedded Systems -- The Temporal Specification of Interfaces in Distributed Real-Time Systems -- System-Level Types for Component-Based Design -- Embedded Software Implementation Tools for Fully Programmable Application Specific Systems -- Compiler Optimizations for Adaptive EPIC Processors -- Embedded Software Market Transformation through Reusable Frameworks -- An End-to-End Methodology for Building Embedded Systems -- An Implementation of Scoped Memory for Real-Time Java -- Bus Architectures for Safety-Critical Embedded Systems -- Using Multiple Levels of Abstractions in Embedded Software Design -- Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software -- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems -- Modeling Real-Time Systems ? Challenges and Work Directions -- VEST ? A Toolset for Constructing and Analyzing Component Based Embedded Systems -- Embedded Software: Challenges and Opportunities -- Embedded Software in Network Processors ? Models and Algorithms -- Design of Autonomous, Distributed Systems -- Formalizing Software Architectures for Embedded Systems -- Reliable and Precise WCET Determination for a Real-Life Processor -- Embedded Systems and Real-Time Programming -- Embedded Software for Video.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2211
606   $aSoftware engineering
606   $aComputers
606   $aSpecial purpose computers
606   $aComputer logic
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aSpecial purpose computers.
615  0$aComputer logic.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aTheory of Computation.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aLogics and Meanings of Programs.
676   $a005.1
702   $aHenzinger$b Thomas A$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKirsch$b Christoph M$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aEMSOFT (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910143615603321
996   $aEmbedded Software$92257116
997   $aUNINA