LEADER 01270nam0-2200385---450- 001 990000759330203316 005 20090217115523.0 020 $aIT$b76-11440 035 $a0075933 035 $aUSA010075933 035 $a(ALEPH)000075933USA01 035 $a0075933 100 $a20011121d1997976.||ita|01 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $a<> costo del lavoro pubblico nel triennio 1994-1996$erelazione al Parlamento prevista dall'art. 65 frl d.lgs.n.29/1993$e1956-75 210 $aRoma$cCentro fotolitografico$d19971976. 215 $aIV, 412 p.$d21 cm 606 $aImpiegati pubblici$xRetribuzione$z1994-1996 676 $a331.281350000945$v17 712 02$aItalia$b: Corte dei conti 801 0$aIT$bBNCF$c19950412 912 $a990000759330203316 951 $a331.28 COS 1 (IEP X 92)$b18139 G$cIEP$d00013405 959 $aBK 969 $aGIU 979 $aPATTY$b90$c20011121$lUSA01$h1511 979 $aPATTY$b90$c20011121$lUSA01$h1513 979 $aPATTY$b90$c20011121$lUSA01$h1513 979 $c20020403$lUSA01$h1723 979 $aPATRY$b90$c20040406$lUSA01$h1652 979 $aRSIAV5$b90$c20090217$lUSA01$h1155 996 $aCosto del lavoro pubblico nel triennio 1994-1996$9964650 997 $aUNISA LEADER 03524nam 22006615 450 001 9910253971003321 005 20250609110111.0 010 $a3-319-25772-2 024 7 $a10.1007/978-3-319-25772-3 035 $a(CKB)3710000000649131 035 $a(EBL)4510541 035 $a(SSID)ssj0001665882 035 $a(PQKBManifestationID)16455718 035 $a(PQKBTitleCode)TC0001665882 035 $a(PQKBWorkID)15000149 035 $a(PQKB)11669865 035 $a(DE-He213)978-3-319-25772-3 035 $a(MiAaPQ)EBC4510541 035 $a(PPN)193445964 035 $a(MiAaPQ)EBC6241784 035 $a(EXLCZ)993710000000649131 100 $a20160420d2016 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aReliable Software for Unreliable Hardware $eA Cross Layer Perspective /$fby Semeen Rehman, Muhammad Shafique, Jörg Henkel 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (259 p.) 300 $aDescription based upon print version of record. 311 08$a3-319-25770-6 320 $aIncludes bibliographical references. 327 $aIntroduction -- 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. 330 $aThis 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. 606 $aElectronic circuits 606 $aMicroprocessors 606 $aElectronics 606 $aMicroelectronics 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027 615 0$aElectronic circuits. 615 0$aMicroprocessors. 615 0$aElectronics. 615 0$aMicroelectronics. 615 14$aCircuits and Systems. 615 24$aProcessor Architectures. 615 24$aElectronics and Microelectronics, Instrumentation. 676 $a620 700 $aRehman$b Semeen$4aut$4http://id.loc.gov/vocabulary/relators/aut$0763588 702 $aShafique$b Muhammad$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aHenkel$b Jörg$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910253971003321 996 $aReliable Software for Unreliable Hardware$92537951 997 $aUNINA LEADER 02423nam 2200457zu 450 001 9911009207503321 005 20250709211645.0 010 $a9791037024183 035 $a(CKB)29590623100041 035 $a(VLeBooks)9791037024183 035 $a(MiAaPQ)EBC31923670 035 $a(Au-PeEL)EBL31923670 035 $a(FR-PaCSA)88951540 035 $a(FRCYB88951540)88951540 035 $a(Perlego)4272524 035 $a(Exl-AI)31923670 035 $a(EXLCZ)9929590623100041 100 $a20240116|2021uuuu || | 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAriel, Mon Oiseau: Une Lecture Ecocritique De La Tempete De William Shakespeare 205 $a1st ed. 210 $cHermann$d2021 215 $a1 online resource (542 p.) 311 08$a9791037008374 330 $aLors de sa derniere creation, Shakespeare invente un personnage non-humain pour incarner la tempete qui s'abat sur une ile inconnue. Mais Ariel, l'esprit de l'air, en vient a representer bien plus qu'une catastrophe maritime. Les penseurs de la Renaissance decelent du spirituel dans les petites images voltigeantes par l'air, nommees des especes intentionnelles Ariel appartient a ce milieu sensoriel situe entre les objets du monde et les sujets qui les percoivent, milieu sur lequel opere l'enchanteur Prospero. Par un autre biais, Ariel represente l'habitant du Nouveau Monde. En comparant le texte de Shakespeare avec ses sources, Jonathan Pollock degage une vision du cannibale amerindien qui ne vaut pas seulement pour le personnage de Caliban. Etant au-dela de l'humain, Ariel incarne l'esprit maitre d'autres tribus, dont celles des oiseaux. Ainsi, entre averroisme et animisme, especes intentionnelles et tribus-especes, cet essai milite en faveur d'une ecologie de l'imagination qui se veut aussi une imagination renouvelee de l'ecologie. 606 $aEcocriticism$7Generated by AI 606 $aEnvironmental degradation in literature$7Generated by AI 615 0$aEcocriticism 615 0$aEnvironmental degradation in literature 700 $aPollock$b Jonathan$01281830 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911009207503321 996 $aAriel, Mon Oiseau: Une Lecture Ecocritique De La Tempete De William Shakespeare$94395928 997 $aUNINA