000 05924cam a22006974a 4500
001 ocm49208055
003 OCoLC
005 20250703142807.0
006 m o d
007 cr |n|||||||||
008 010920s2001 gw a ob 101 0 eng c
040 _aCOO
_beng
_epn
_cCOO
_dEYM
_dC@R
_dOCLCQ
_dYNG
_dOCLCQ
_dDKDLA
_dQCL
_dOL$
_dOCLCO
_dOCLCQ
_dGW5XE
_dOCLCF
_dOCLCQ
_dOCLCO
_dUA@
_dOCL
_dOCLCO
_dOCLCQ
_dYDX
_dESU
_dLIP
_dUAB
_dOCLCQ
_dVT2
_dLEAUB
_dAU@
_dOCLCQ
_dEUX
_dOCLCQ
_dUKAHL
_dOCLCO
_dOCLCQ
_dOCLCO
_dWSU
_dOCLCO
_dOCLCL
015 _aGBA164055
_2bnb
016 7 _a962358622
_2DE-101
019 _a166464139
_a648149475
_a769771228
_a990677021
_a1005817004
_a1081203197
_a1238732825
_a1259129321
020 _a9783540454496
_q(electronic bk.)
020 _a3540454497
_q(electronic bk.)
020 _z3540426736
020 _z9783540426738
024 7 _a10.1007/3-540-45449-7
_2doi
029 1 _aAU@
_b000051323225
029 1 _aNZ1
_b14994295
029 1 _aNZ1
_b15295809
029 1 _aDKDLA
_b820120-katalog:999920029705765
035 _a(OCoLC)49208055
_z(OCoLC)166464139
_z(OCoLC)648149475
_z(OCoLC)769771228
_z(OCoLC)990677021
_z(OCoLC)1005817004
_z(OCoLC)1081203197
_z(OCoLC)1238732825
_z(OCoLC)1259129321
042 _apcc
050 4 _aQA76.76.D47
_bE47 2001
072 7 _aUMZ
_2bicssc
072 7 _aUL
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_221
049 _aMAIN
111 2 _aEMSOFT (Conference)
_916168
245 1 0 _aEmbedded software :
_bfirst international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings /
_cThomas A. Henzinger, Christoph M. Kirsch (eds.).
260 _aBerlin ;
_aNew York :
_bSpringer,
_c©2001.
300 _a1 online resource (ix, 504 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
347 _bPDF
490 1 _aLecture notes in computer science ;
_v2211
504 _aIncludes bibliographical references and index.
520 _aWith 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.
505 0 _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.
546 _aEnglish.
650 0 _aComputer software
_xDevelopment
_vCongresses.
_914853
650 7 _aComputer software
_xDevelopment
_2fast
_92949
655 7 _aproceedings (reports)
_2aat
655 7 _aConference papers and proceedings
_2fast
_96065
655 7 _aConference papers and proceedings.
_2lcgft
_96065
655 7 _aActes de congrès.
_2rvmgf
_9609890
700 1 _aHenzinger, T. A.
_q(Thomas A.)
_1https://id.oclc.org/worldcat/entity/E39PBJkp7Rjbw3hcpTDXqb3mh3
_916169
700 1 _aKirsch, Christoph M.,
_d1968-
_1https://id.oclc.org/worldcat/entity/E39PCjFvqv7ryY64BQYcXhHhDy
_916170
776 0 8 _iPrint version:EMSOFT (Conference)
_tEmbedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
_w(OCoLC)48038096
830 0 _aLecture notes in computer science ;
_v2211.
856 4 0 _uhttps://link.springer.com/10.1007/3-540-45449-7
938 _aAskews and Holts Library Services
_bASKH
_nAH20755271
938 _aYBP Library Services
_bYANK
_n13350897
994 _a92
_bATIST
999 _c635389
_d635389