Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
2211 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Embedded software, first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001, proceedings, Thomas A. Henzinger, Christoph M. Kirsch (eds.), 2001, New York, Springer, 1 vol. (IX-504 p.), Lecture notes in computer science, 3-540-42673-6 • Embedded Software, Texte imprimé, 9783662178027 |
| LEADER | 04570nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 948941 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155200402 | ||
| 020 | |a 9783540454496 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International conference on EMbedded SOFTware |n (01 |d :2001 |c :Tahoe City, Calif.). | |
| 245 | 1 | 0 | |a Embedded software : |b first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings |c [edited by] Thomas A. Henzinger, Christoph M. Kirsch. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2211 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Heterogeneous 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 -- EmbeddedSoftware 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Systèmes embarqués (informatique) | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Logiciels |x Développement | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Henzinger, Thomas A., |d 1962- |4 pbd | |
| 700 | 1 | |a Kirsch, Christoph M., |d 1968- |4 pbd | |
| 776 | 0 | |0 058900314 |t Embedded software |o first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 |o proceedings |f Thomas A. Henzinger, Christoph M. Kirsch (eds.) |d 2001 |c New York |n Springer |p 1 vol. (IX-504 p.) |s Lecture notes in computer science |z 3-540-42673-6 | |
| 776 | 0 | |t Embedded Software |b Texte imprimé |z 9783662178027 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45449-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-XN5282W0-B |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748061460 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45449-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751513040 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45449-7 |z Accès INSA CVL | |
| 997 | |0 948941 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||