Analysis, Architectures and Modelling of Embedded Systems (Registro nro. 66817)
[ vista simple ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 05691nam a22005895i 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
campo de control | DE-He213 |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20191014003436.0 |
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | cr nn 008mamaa |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 100301s2009 gw | s |||| 0|eng d |
020 64 - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
Número Internacional Estándar del Libro | 9783642042843 |
-- | 978-3-642-04284-3 |
024 87 - IDENTIFICADOR DE OTROS ESTÁNDARES | |
Número estándar o código | 10.1007/978-3-642-04284-3 |
Fuente del número o código | doi |
050 84 - CLASIFICACIÓN TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO | |
Número de clasificación | TK7874.6 |
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
Código de categoría de materia | UYQE |
Fuente | bicssc |
072 87 - CÓDIGO DE CATEGORÍA DE MATERIA | |
Código de categoría de materia | COM025000 |
Fuente | bisacsh |
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
Número de clasificación | 004.6 |
Número de edición | 23 |
001 - NÚMERO DE CONTROL | |
campo de control | 000067087 |
100 81 - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
Nombre de persona | Rettberg, Achim. |
Término indicativo de función/relación | editor. |
9 (RLIN) | 155936 |
245 97 - MENCIÓN DE TÍTULO | |
Título | Analysis, Architectures and Modelling of Embedded Systems |
Medio | [electronic resource] : |
Resto del título | Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings / |
Mención de responsabilidad, etc. | edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig. |
264 81 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
Producción, publicación, distribución, fabricación y copyright | Berlin, Heidelberg : |
Nombre del de productor, editor, distribuidor, fabricante | Springer Berlin Heidelberg, |
Fecha de producción, publicación, distribución, fabricación o copyright | 2009. |
300 64 - DESCRIPCIÓN FÍSICA | |
Extensión | XI, 315 p. |
Otras características físicas | online resource. |
336 64 - TIPO DE CONTENIDO | |
Término de tipo de contenido | text |
Código de tipo de contenido | txt |
Fuente | rdacontent |
337 64 - TIPO DE MEDIO | |
Nombre/término del tipo de medio | computer |
Código del tipo de medio | c |
Fuente | rdamedia |
338 64 - TIPO DE SOPORTE | |
Nombre/término del tipo de soporte | online resource |
Código del tipo de soporte | cr |
Fuente | rdacarrier |
347 64 - CARACTERÍSTICAS DEL ARCHIVO DIGITAL | |
Tipo de archivo | text file |
Formato de codificación | |
Fuente | rda |
490 81 - MENCIÓN DE SERIE | |
Mención de serie | IFIP Advances in Information and Communication Technology, |
Número Internacional Normalizado para Publicaciones Seriadas | 1868-4238 ; |
Designación de volumen o secuencia | 310 |
505 80 - NOTA DE CONTENIDO CON FORMATO | |
Nota de contenido con formato | Modelling -- State Machine Based Method for Consolidating Vehicle Data -- Automatic HW/SW Interface Modeling for Scratch-Pad and Memory Mapped HW Components in Native Source-Code Co-simulation -- Modelling of Device Driver Software by Reflection of the Device Hardware Structure -- An Infrastructure for UML-Based Code Generation Tools -- A Configurable TLM of Wireless Sensor Networks for Fast Exploration of System Communication Performance -- ConcurrenC: A New Approach towards Effective Abstraction of C-Based SLDLs -- Transaction Level Modelling -- Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support -- Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices -- Modeling Cache Effects at the Transaction Level -- Scheduling and Real-Time Systems -- Event Stream Calculus for Schedulability Analysis -- Real-Time Scheduling in Heterogeneous Systems Considering Cache Reload Time Using Genetic Algorithms -- Task-Dependent Processor Shutdown for Hard Real-Time Systems -- Experimental Evaluation of a Hybrid Approach for Deriving Service-Time Bounds of Methods in Real-Time Distributed Computing Objects -- Simulation, Verification and Test -- Efficient Parallel Transaction Level Simulation by Exploiting Temporal Decoupling -- Formal Verification for Embedded Systems Design Based on MDE -- Systematic Model-in-the-Loop Test of Embedded Control Systems -- Platforms and Processors -- Proteus, a Hybrid Virtualization Platform for Embedded Systems -- Constructing a Multi-OS Platform with Minimal Engineering Cost -- A Synchronization Method for Register Traces of Pipelined Processors -- Automotive Systems -- Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study -- Automatic Transformation of System Models in Automotive Electronics -- Towards a Load Balancing Middleware for Automotive Infotainment Systems -- Case Studies -- Towards an Irritable Bowel Syndrome Control System Based on Artificial Neural Networks -- A Hybrid Hardware and Software Component Architecture for Embedded System Design -- LowLevel Space Optimization of an AES Implementation for a BitSerial Fully Pipelined Architecture -- Wireless Sensor Networks -- The Case for Interpreted Languages in Sensor Networks -- Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard -- FemtoNode: Reconfigurable and Customizable Architecture for Wireless Sensor Networks -- Tutorials -- Efficient Modeling of Embedded Systems Using Computer-Aided Recoding -- New Challenges for Designers of Fault Tolerant Embedded Systems Based on Future Technologies. |
520 64 - SUMARIO, ETC. | |
Sumario, etc. | This book constitutes the refereed proceedings of the third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, held in Langenargen, Germany, in September 2009. The 28 revised papers were selected from 46 submissions. The papers are organized in topical sections on modelling; transaction level modelling; scheduling and real-time systems; simulation, verification and test; platforms and processors; automotive systems; and wireless sensor networks. The volume also includes three case studies and two tutorials. |
516 64 - NOTA DE TIPO DE ARCHIVO DE ORDENADOR O DE DATOS | |
Nota de tipo de archivo de ordenador o de datos | ZDB-2-SCS |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computer science. |
-- | 155937 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computer network architectures. |
-- | 155938 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Software engineering. |
-- | 9213 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computer system performance. |
-- | 8956 |
650 80 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computer aided design. |
-- | 155939 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computer Science. |
-- | 155940 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Special Purpose and Application-Based Systems. |
-- | 9217 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | System Performance and Evaluation. |
-- | 8961 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computer-Aided Engineering (CAD, CAE) and Design. |
-- | 155941 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Computer Systems Organization and Communication Networks. |
-- | 155942 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | User Interfaces and Human Computer Interaction. |
-- | 9817 |
650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Software Engineering. |
-- | 9213 |
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Zanella, Mauro C. |
Término indicativo de función/relación | editor. |
-- | 155943 |
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Amann, Michael. |
Término indicativo de función/relación | editor. |
-- | 155944 |
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Keckeisen, Michael. |
Término indicativo de función/relación | editor. |
-- | 155945 |
700 81 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Rammig, Franz J. |
Término indicativo de función/relación | editor. |
-- | 155946 |
710 82 - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA | |
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada | SpringerLink (Online service) |
9 (RLIN) | 155947 |
773 80 - ENLACE AL DOCUMENTO FUENTE/ENTRADA DE REGISTRO ANFITRIÓN | |
Título | Springer eBooks |
776 ## - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL | |
Información de relación/Frase instructiva de referencia | Printed edition: |
Número Internacional Estándar del Libro | 9783642042836 |
830 80 - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME | |
Título uniforme | IFIP Advances in Information and Communication Technology, |
Número Internacional Normalizado para Publicaciones Seriadas | 1868-4238 ; |
Designación de volumen o secuencia | 310 |
9 (RLIN) | 155948 |
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
Identificador Uniforme del Recurso | http://dx.doi.org/10.1007/978-3-642-04284-3 |
Nota pública | de clik aquí para ver el libro electrónico |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
Tipo de ítem Koha | Libro Electrónico |
No hay ítems disponibles.