01870nam 2200433 450 00001131720050718115400.00-8218-5131-420020820d1991----km-y0itay0103----baengUSEnumerative algebraic geometryproceedings of the 1989 Zeuthen SymposiumSteven L. Kleiman, Andres Thorup editorsProvidenceAmerican Mathematical Societyc1991XI, 278 p.ill.26 cm.Contemporary mathematics123Geometria algebricaCongressi516.35(20. ed.)Geometria algebrica classica14-06Algebraic geometry. Proceedings, conferences, collections, etc.14N10Algebraic geometry. Projective and enumerative geometry. Enumerative problems (combinatorial problems)14N05Algebraic geometry. Projective and enumerative geometry. Projective techniques14C17Algebraic geometry. Cycles and subschemes. Intersection theory, characteristic classes, intersection multiplicitiesKleiman,Steven L.Throup,AndersZeuthen Symposium(Mathematical Institute of the University od Copenhagen;1989)60231ITUniversità della Basilicata - B.I.A.RICAunimarc000011317Enumerative algebraic geometry78961UNIBASMONSCIMONOGRSCIENZEEXT0020120020820BAS01110320050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT2787M27872002082051Riservati03524nam 22006615 450 991025397100332120250609110111.03-319-25772-210.1007/978-3-319-25772-3(CKB)3710000000649131(EBL)4510541(SSID)ssj0001665882(PQKBManifestationID)16455718(PQKBTitleCode)TC0001665882(PQKBWorkID)15000149(PQKB)11669865(DE-He213)978-3-319-25772-3(MiAaPQ)EBC4510541(PPN)193445964(MiAaPQ)EBC6241784(EXLCZ)99371000000064913120160420d2016 u| 0engur|n|---|||||txtccrReliable Software for Unreliable Hardware A Cross Layer Perspective /by Semeen Rehman, Muhammad Shafique, Jörg Henkel1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (259 p.)Description based upon print version of record.3-319-25770-6 Includes bibliographical references.Introduction -- Background and Related Work -- Cross-Layer Reliability Analysis, Modeling, and Optimization -- Software Program-Level Reliability Modeling and Estimation -- Software Program-Level Reliability Optimization for Dependable Code Generation -- Dependable Code Execution using Reliability-Driven System Software.-Results and Discussion -- Summary and Conclusions.This book describes novel software concepts to increase reliability under user-defined constraints. The authors’ approach bridges, for the first time, the reliability gap between hardware and software. Readers will learn how to achieve increased soft error resilience on unreliable hardware, while exploiting the inherent error masking characteristics and error (stemming from soft errors, aging, and process variations) mitigations potential at different software layers. · Provides a comprehensive overview of reliability modeling and optimization techniques at different hardware and software levels; · Describes novel optimization techniques for software cross-layer reliability, targeting unreliable hardware.Electronic circuitsMicroprocessorsElectronicsMicroelectronicsCircuits and Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/T24068Processor Architectureshttps://scigraph.springernature.com/ontologies/product-market-codes/I13014Electronics and Microelectronics, Instrumentationhttps://scigraph.springernature.com/ontologies/product-market-codes/T24027Electronic circuits.Microprocessors.Electronics.Microelectronics.Circuits and Systems.Processor Architectures.Electronics and Microelectronics, Instrumentation.620Rehman Semeenauthttp://id.loc.gov/vocabulary/relators/aut763588Shafique Muhammadauthttp://id.loc.gov/vocabulary/relators/autHenkel Jörgauthttp://id.loc.gov/vocabulary/relators/autBOOK9910253971003321Reliable Software for Unreliable Hardware2537951UNINA