LEADER 00942cam0-22002771i-450- 001 990005895590403321 005 20110627154505.0 035 $a000589559 035 $aFED01000589559 035 $a(Aleph)000589559FED01 035 $a000589559 100 $a20000526d1930----km-y0itay50------ba 101 0 $afre 105 $ay-------001yy 200 1 $a<>animateur de la jeunesse au 13. siécle$evie, voyages du Bx. Jourdain de Saxe, maître-ès-arts à Paris et Général des Frères Prêcheurs de 1222 à 1237$fMarguerite Aron$gIntroduction par P. Mandonnet 210 $aParis$cDesclée de Brouwer et cie.$d1930 215 $a396 p.$d24 cm 225 1 $aTemps et visages 700 1$aAron,$bMarguerite$0224469 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005895590403321 952 $aBIB. BAT. 519$b1303$fBAT 959 $aBAT 996 $aAnimateur de la jeunesse au 13. siècle$9290444 997 $aUNINA LEADER 05332nam 2200649 a 450 001 9910141494003321 005 20230803025224.0 010 $a1-118-57698-5 010 $a1-299-14643-0 010 $a1-118-57700-0 010 $a1-118-57686-1 035 $a(CKB)2670000000327410 035 $a(EBL)1117267 035 $a(OCoLC)827208497 035 $a(SSID)ssj0000819968 035 $a(PQKBManifestationID)11470567 035 $a(PQKBTitleCode)TC0000819968 035 $a(PQKBWorkID)10857640 035 $a(PQKB)11011480 035 $a(OCoLC)828743733 035 $a(MiAaPQ)EBC1117267 035 $a(Au-PeEL)EBL1117267 035 $a(CaPaEBR)ebr10653861 035 $a(CaONFJC)MIL445893 035 $a(EXLCZ)992670000000327410 100 $a20120329d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProgram specialization$b[electronic resource] /$fRenaud Marlet 210 $aHoboken, N.J. $cJohn Wiley & Sons, Inc.$d2013 215 $a1 online resource (560 p.) 225 0 $aComputer engineering series 300 $aDescription based upon print version of record. 311 $a1-84821-399-9 320 $aIncludes bibliographical references and index. 327 $aTitle Page; Contents; Chapter 1. Main Principles of Program Specialization; 1.1. Specialized program; 1.1.1. Program specialization; 1.1.2. Context of specialization; 1.1.3. Specialization of a fragment of program; 1.1.4. Partial computations; 1.1.5. Range of specializations; 1.1.6. Equivalence between the specialized program and the generic program; 1.2. Specializing to improve performance; 1.2.1. Execution time; 1.2.2. Memory space; 1.2.3. Effect of the compiler; 1.2.4. Opacity of the code generated; 1.2.5. Effect of the memory cache; 1.3. Automatic specialization; 1.3.1. Specializer 327 $a1.3.2. Operation of specialization1.3.3. Execution times; 1.3.4. Advantages and disadvantages to automatic specialization; 1.4. Main applications of specialization; 1.4.1. Application 1: compiling using an interpreter; 1.4.2. Application 2: transforming an interpreter into a compiler; 1.4.3. Application 3: creating a compiler generator; 1.5. Specialization times; 1.5.1. Compile-time specialization; 1.5.2. Runtime specialization; 1.5.3. Specialization server; 1.5.4. Specialized code cache; 1.6. Financial viability of specialization; 1.6.1. Specialization gain; 1.6.2. Specialization time 327 $a1.6.3. Size of the specializer1.6.4. Specialization before execution; 1.6.5. Runtime specialization and break-even point; Chapter 2. Specialization Techniques; 2.1. Transforming specialization programs; 2.1.1. Partial evaluation; 2.1.2. Specialization strategies; 2.1.3. Formulation of specialization using general transformations; 2.1.4. Formulation of specialization using ad hoc transformations; 2.1.5. Techniques for executing precomputations; 2.1.6. Speculative specialization; 2.1.7. Interprocedural specialization; 2.1.8. Polyvariant specialization; 2.2. Termination of specialization 327 $a2.2.1. Online control2.2.2. Offline control; 2.3. Correctness of specialization; 2.3.1. Soundness, completeness and correctness; 2.3.2. Remedying laziness; 2.3.3. Execution error handling; 2.3.4. Portability; 2.3.5. Pre-processor; 2.4. Other forms of specialization; 2.4.1. Driving and supercompilation; 2.4.2. Generalized partial computation; 2.4.3. Configurable partial computation; 2.4.4. Program slicing; 2.4.5. Comparison with a compiler; 2.4.6. Comparison with a multilevel language; Chapter 3. Offline Specialization; 3.1. Main principles of offline specialization 327 $a3.1.1. Specification of input binding times3.1.2. Binding-time analysis; 3.1.3. Specialization by binding-time interpretation; 3.1.4. Action analysis; 3.1.5. Specialization by action interpretation; 3.1.6. Generating extension; 3.1.7. Compiler generator; 3.1.8. Generation of a specialized program; 3.1.9. Offline specializer; 3.1.10. Correction of offline specialization; 3.1.11. Specialization grammar; 3.1.12. Polyvariant offline specialization; 3.2. Compared advantages of offline specialization; 3.2.1. Evaluation a priori of the specialization degree 327 $a3.2.2. Visualization of specialization information 330 $aThis book presents the principles and techniques of program specialization - a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data speci 410 0$aISTE 606 $aProgram transformation (Computer programming) 615 0$aProgram transformation (Computer programming) 676 $a005.1 700 $aMarlet$b Renaud$0882293 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910141494003321 996 $aProgram specialization$91970718 997 $aUNINA LEADER 01935nam 2200457 a 450 001 9910699298903321 005 20231220182922.0 035 $a(CKB)5470000002400912 035 $a(OCoLC)469142272 035 $a(EXLCZ)995470000002400912 100 $a20091124d1996 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aRole of nonmarket economic values in benefit-cost analysis of public forest management$b[electronic resource] /$fCindy Sorg Swanson and John B. Loomis 210 1$a[Portland, Or.] :$cU.S. Dept. of Agriculture, Forest Service, Pacific Northwest Research Station,$d[1996] 215 $a1 online resource (32 pages) $cillustrations 225 1 $aGeneral technical report ;$vPNW-GTR-361 300 $aTitle from PDF title screen (PNRS, viewed Aug. 24, 2009). 300 $a"March 1996." 320 $aIncludes bibliographical references (pages 29-32). 410 0$aGeneral technical report PNW ;$v361. 606 $aForest reserves$zNorthwest, Pacific$xManagement$xCost effectiveness 606 $aPublic lands$zNorthwest, Pacific$xManagement$xCost effectiveness 606 $aForest reserves$xRecreational use$zNorthwest, Pacific 606 $aPublic lands$xRecreational use$zNorthwest, Pacific 615 0$aForest reserves$xManagement$xCost effectiveness. 615 0$aPublic lands$xManagement$xCost effectiveness. 615 0$aForest reserves$xRecreational use 615 0$aPublic lands$xRecreational use 700 $aSwanson$b Cindy Sorg$f1958-$01453215 701 $aLoomis$b John B$01104849 712 02$aPacific Northwest Research Station (Portland, Or.) 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910699298903321 996 $aRole of nonmarket economic values in benefit-cost analysis of public forest management$93655738 997 $aUNINA LEADER 04545nam 22009853u 450 001 9910958360103321 005 20250627215542.0 010 $a1-315-41844-4 010 $a1-315-41845-2 010 $a1-59874-673-1 035 $a(CKB)2670000000150957 035 $a(EBL)861458 035 $a(OCoLC)777212579 035 $a(SSID)ssj0000635666 035 $a(PQKBManifestationID)12221935 035 $a(PQKBTitleCode)TC0000635666 035 $a(PQKBWorkID)10652598 035 $a(PQKB)10370295 035 $a(MiAaPQ)EBC861458 035 $a(OCoLC)785782400 035 $a(FINmELB)ELB159593 035 $a(EXLCZ)992670000000150957 100 $a20130418d2012|||| u|| | 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe Funeral Kit $eMortuary Practices in the Archaeological Record 205 $a1st ed. 210 $aWalnut Creek $cLeft Coast Press$d2012 215 $a1 online resource (231 p.) 300 $aDescription based upon print version of record. 311 08$a1-59874-671-5 320 $aIncludes bibliographical references and index. 327 $aContents; List of Illustrations; Acknowledgements; 1: Introduction; 2: The Archaeology of Death and Burial: Established Interpretations, Terminologies, and Definitions; 3: The Funeral Kit Model; 4: The Funeral Kit in Wider Canaan (MB IIB/C-LB II); 5: The Genesis and Extinction of the Funeral Kit in Canaan; 6: Beyond Canaan: The Funeral Kit in a Wider Geographical and Chronological Context; 7: Evidence and Theory; 8: The Ties That Bind; Appendix A: Clustered and Nonclustered Burials in Tomb Chambers 5, 8, 11, 13, 14, 16 at Ashkelon 327 $aAppendix B: The Funeral Kit in Wider Canaan: Middle Bronze Age IIB (may also represent MB IIA/B transition)Appendix C: Burial Clusters in Wider Bronze Age Canaan; Notes; Chronology; References; Index; About the Author 330 $aStudies of mortuary archaeology tend to focus on difference-how the researcher can identify age, gender, status, and ethnicity from the contents of a burial. Jill L. Baker's innovative approach begins from the opposite point: how can you recognize the commonalities of a culture from the "funeral kit" that occurs in all burials, irrespective of status differences? And what do those commonalities have to say about the world view and religious beliefs of that culture? Baker begins with the Middle and Late Bronze Age tombs in the southern Levant, then expands her scope in ever widening circle 606 $aDeath - Social aspects 606 $aDeath -- Social aspects -- Cross-cultural studies 606 $aEthnoarchaeology 606 $aEthnoarchaeology 606 $aFuneral rites and ceremonies 606 $aFuneral rites and ceremonies -- Cross-cultural studies 606 $aHuman remains (Archaeology) 606 $aHuman remains (Archaeology) -- Cross-cultural studies 606 $aSocial science -- Archaeology 606 $aSOCIAL SCIENCE / Archaeology 606 $aSOCIAL SCIENCE / Death & Dying 606 $aFuneral rites and ceremonies$xSocial aspects$vCross-cultural studies 606 $aDeath$vCross-cultural studies 606 $aHuman remains (Archaeology)$vCross-cultural studies 606 $aEthnoarchaeology 606 $aAnthropology$2HILCC 606 $aSocial Sciences$2HILCC 606 $aManners & Customs$2HILCC 615 4$aDeath - Social aspects. 615 4$aDeath -- Social aspects -- Cross-cultural studies. 615 4$aEthnoarchaeology. 615 4$aEthnoarchaeology. 615 4$aFuneral rites and ceremonies. 615 4$aFuneral rites and ceremonies -- Cross-cultural studies. 615 4$aHuman remains (Archaeology). 615 4$aHuman remains (Archaeology) -- Cross-cultural studies. 615 4$aSocial science -- Archaeology. 615 4$aSOCIAL SCIENCE / Archaeology. 615 4$aSOCIAL SCIENCE / Death & Dying. 615 0$aFuneral rites and ceremonies$xSocial aspects 615 0$aDeath 615 0$aHuman remains (Archaeology) 615 0$aEthnoarchaeology. 615 7$aAnthropology 615 7$aSocial Sciences 615 7$aManners & Customs 676 $a393 676 $a930.1 686 $aSOC003000$aSOC036000$2bisacsh 700 $aBaker$b Jill L.$f1964-$01829850 801 0$bAU-PeEL 801 1$bAU-PeEL 801 2$bAU-PeEL 906 $aBOOK 912 $a9910958360103321 996 $aThe Funeral Kit$94399966 997 $aUNINA