LEADER 05023nam  22007575  450 
001 996465537703316
005 20200703234909.0
010   $a3-540-45828-X
024 7 $a10.1007/3-540-45828-X
035   $a(CKB)1000000000211802
035   $a(SSID)ssj0000322879
035   $a(PQKBManifestationID)11245555
035   $a(PQKBTitleCode)TC0000322879
035   $a(PQKBWorkID)10296001
035   $a(PQKB)10431773
035   $a(DE-He213)978-3-540-45828-9
035   $a(MiAaPQ)EBC3072886
035   $a(PPN)155198882
035   $a(EXLCZ)991000000000211802
100   $a20121227d2002      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aEmbedded Software$b[electronic resource] $eSecond International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings /$fedited by Alberto Sangiovanni-Vincentelli, Joseph Sifakis
205   $a1st ed. 2002.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002.
215   $a1 online resource (X, 430 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2491
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-44307-X 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $aEmbedded Systems: Challenges in Specification and Verification -- An Approach to Designing Safe Embedded Software -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems -- A Giotto-Based Helicopter Control System -- Principles of Real-Time Programming -- Time-Safety Checking for Embedded Programs -- Compositional Modeling in Metropolis -- Timed Interfaces -- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System -- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS -- Scalable Applications for Energy-Aware Processors -- Upgrading Embedded Software in the Field: Dependability and Survivability -- Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems -- JCOD: A Lightweight Modular Compilation Technology for Embedded Java -- Decreasing Memory Overhead in Hard Real-Time Garbage Collection -- Speedup Prediction for Selective Compilation of Embedded Java Programs -- Synchronous Modelling of Asynchronous Systems -- A Protocol for Loosely Time-Triggered Architectures -- Automatic Production of Globally Asynchronous Locally Synchronous Systems -- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems -- Toward an Approximation Theory for Computerised Control -- A New Facility for Dynamic Control of Program Execution: DELI -- Design Tools for Application Specific Embedded Processors -- Processor Pipelines and Their Properties for Static WCET Analysis -- ILP-Based Interprocedural Path Analysis -- Enhancing Compiler Techniques for Memory Energy Optimizations -- FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors -- Physical Programming: Beyond Mere Logic -- Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2491
606   $aApplication software
606   $aSoftware engineering
606   $aOperating systems (Computers)
606   $aComputer logic
606   $aSpecial purpose computers
606   $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030
615  0$aApplication software.
615  0$aSoftware engineering.
615  0$aOperating systems (Computers).
615  0$aComputer logic.
615  0$aSpecial purpose computers.
615 14$aComputer Applications.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aOperating Systems.
615 24$aLogics and Meanings of Programs.
615 24$aSpecial Purpose and Application-Based Systems.
676   $a005.1
702   $aSangiovanni-Vincentelli$b Alberto$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSifakis$b Joseph$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aEMSOFT (Conference)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465537703316
996   $aEmbedded Software$92257116
997   $aUNISA