LEADER 00930nam0-2200301 --450 001 9910292847103321 005 20181127150308.0 010 $a978-88-575-3665-1 020 $aIT$b2017-3790 100 $a20181127d2016----kmuy0itay5050 ba 101 0 $aita 102 $aIT 105 $a 001yy 200 1 $aIntimi universi$eun viaggio attraverso spazi, arredi e vissuti domestici$fIrene Sartoretti$gprefazione di Giampaolo Nuvolati 210 $aMilano$aUdine$cMimesis$d2016 215 $a163 p.$cill.$d21 cm 225 1 $aMimesis. Eterotopie$v349 610 0 $aAbitazioni$aArredamento$aSociologia 676 $a392.36$v23$zita 700 1$aSartoretti,$bIrene$0760344 702 1$aNuvolati,$bGiampaolo 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910292847103321 952 $aCOLLEZ. 2467 (349)$b2541/2018$fFSPBC 959 $aFSPBC 996 $aIntimi universi$91538279 997 $aUNINA LEADER 03834nam 22007335 450 001 996465340003316 005 20230220141744.0 010 $a1-280-38583-9 010 $a9786613563750 010 $a3-642-11970-0 024 7 $a10.1007/978-3-642-11970-5 035 $a(CKB)2670000000010115 035 $a(SSID)ssj0000399472 035 $a(PQKBManifestationID)11279223 035 $a(PQKBTitleCode)TC0000399472 035 $a(PQKBWorkID)10374970 035 $a(PQKB)11109690 035 $a(DE-He213)978-3-642-11970-5 035 $a(MiAaPQ)EBC3065121 035 $a(PPN)149059760 035 $a(EXLCZ)992670000000010115 100 $a20100308d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCompiler Construction$b[electronic resource] $e19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /$fedited by Rajiv Gupta 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 326 p. 119 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6011 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-11969-7 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code Improvement in a Just-In-Time Compiler -- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values -- Optimizing Matlab through Just-In-Time Specialization -- RATA: Rapid Atomic Type Analysis by Abstract Interpretation ? Application to JavaScript Optimization -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation -- Punctual Coalescing -- Strategies for Predicate-Aware Register Allocation -- Preference-Guided Register Assignment -- High-Performance Systems -- Validating Register Allocation and Spilling -- Automatic C-to-CUDA Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? -- The Polyhedral Model Is More Widely Applicable Than You Think -- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6011 606 $aSoftware engineering 606 $aComputer networks 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aMachine theory 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aFormal Languages and Automata Theory. 676 $a005.1 702 $aGupta$b Rajiv$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aCC 2010 906 $aBOOK 912 $a996465340003316 996 $aCompiler Construction$9771871 997 $aUNISA