Dependable Computing - EDCC 5 : (Registro nro. 295254)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 05348nam a22003975i 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | 295254 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | MX-SnUAN |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20160429155220.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 | 150903s2005 gw | o |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 9783540320197 |
| -- | 9783540320197 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | 10.1007/b107276 |
| Fuente del número o código | doi |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | vtls000348129 |
| 039 #9 - NIVEL DE CONTROL BIBLIOGRÁFICO Y DETALLES DE CODIFICACIÓN [OBSOLETO] | |
| Nivel de reglas en descripción bibliográfica | 201509031111 |
| Nivel de esfuerzo utilizado para asignar no-encabezamientos de materia en puntos de acceso | VLOAD |
| Nivel de esfuerzo utilizado en la asignación de encabezamientos de materia | 201405070500 |
| Nivel de esfuerzo utilizado para asignar clasificación | VLOAD |
| -- | 201402071020 |
| -- | staff |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador/agencia de origen | MX-SnUAN |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | MX-SnUAN |
| Normas de descripción | rda |
| 050 #4 - CLASIFICACIÓN DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | QA76.758 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Cin, Mario. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 329517 |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | Dependable Computing - EDCC 5 : |
| Resto del título | 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings / |
| Mención de responsabilidad, etc. | edited by Mario Cin, Mohamed Kaâniche, András Pataricza. |
| 264 #1 - 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 | 2005. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xvI, 472 páginas Also available online. |
| Otras características físicas | recurso en línea. |
| 336 ## - TIPO DE CONTENIDO | |
| Término de tipo de contenido | texto |
| Código de tipo de contenido | txt |
| Fuente | rdacontent |
| 337 ## - TIPO DE MEDIO | |
| Nombre/término del tipo de medio | computadora |
| Código del tipo de medio | c |
| Fuente | rdamedia |
| 338 ## - TIPO DE SOPORTE | |
| Nombre/término del tipo de soporte | recurso en línea |
| Código del tipo de soporte | cr |
| Fuente | rdacarrier |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL | |
| Tipo de archivo | archivo de texto |
| Formato de codificación | |
| Fuente | rda |
| 490 0# - MENCIÓN DE SERIE | |
| Mención de serie | Lecture Notes in Computer Science, |
| Número Internacional Normalizado para Publicaciones Seriadas | 0302-9743 ; |
| Designación de volumen o secuencia | 3463 |
| 500 ## - NOTA GENERAL | |
| Nota general | Springer eBooks |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure Detection with Booting in Partially Synchronous Systems -- Total Order Communications: A Practical Analysis -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolerant Design and Protocols -- Adding Fault-Tolerance Using Pre-synthesized Components -- Efficiency of Dynamic Arbitration in TDMA Protocols -- An Architectural Framework for Detecting Process Hangs/Crashes -- Energy Efficient Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I -- Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems -- Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA -- Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF -- Session 2B: Assessment and Analysis -- An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System -- The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA) -- Panel -- Dependability Challenges and Education Perspectives -- Keynote II -- Availability in Industry and Science – A Business Perspective - -- Session 3A: Measurement -- Fast Run-Time Reconfiguration for SEU Injection -- Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency -- A Data Mining Approach to Identify Key Factors in Dependability Experiments -- Session 3B: Practical Experience Reports and Tools II -- PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis -- A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems -- Session 4A: Hardware Verification -- Deterministic Test Vector Compression / Decompression Using an Embedded Processor -- Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs -- Session 4B: Fast Abstracts I Session 5A: Dependable Networking -- Structure-Based Resilience Metrics for Service-Oriented Networks -- Efficient Protection of Many-to-One Communications -- Session 5B: Fast Abstracts II Session 6A: Practical Experience Reports and Tools III -- Impact of Faults in Combinational Logic of Commercial Microcontrollers -- Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System -- COMPAS – Compressed Test Pattern Sequencer for Scan Based Circuits -- Session 6B: Reliability Engineering and Testing -- Fault Links: Exploring the Relationship Between Module and Fault Types -- Model-Based Identification of Fault-Prone Components -- Regression Test Selection for Testable Classes. |
| 520 ## - SUMARIO, ETC. | |
| Sumario, etc. | This book constitutes the refereed proceedings of the 5th European Dependable Computing Conference, EDCC 2005, held in Budapest, Hungary in April 2005. The 21 revised full papers, 5 revised practical experience reports, and 4 prototype description papers presented together with the abstract of a keynote and 2 fast-track papers were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on distributed algorithms, fault-tolerant design and procotols, practical experience reports and tools, assessment and analysis, measurement, hardware verification, dependable networking, and reliability engineering and testing. |
| 590 ## - NOTA LOCAL (RLIN) | |
| Nota local | Para consulta fuera de la UANL se requiere clave de acceso remoto. |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Kaâniche, Mohamed. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 329518 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Pataricza, András. |
| Término indicativo de función/relación | editor. |
| 9 (RLIN) | 329519 |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA | |
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada | SpringerLink (Servicio en línea) |
| 9 (RLIN) | 299170 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL | |
| Información de relación/Frase instructiva de referencia | Edición impresa: |
| Número Internacional Estándar del Libro | 9783540257233 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
| Identificador Uniforme del Recurso | <a href="http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b107276">http://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b107276</a> |
| Nota pública | Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Recurso en línea |
No hay ítems disponibles.