LEADER 05567nam 2200757 a 450 001 9910828308003321 005 20240313134118.0 010 $a9781118576984 010 $a1118576985 010 $a9781299146433 010 $a1299146430 010 $a9781118577004 010 $a1118577000 010 $a9781118576861 010 $a1118576861 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(OCoLC)783520701 035 $a(FINmELB)ELB178760 035 $a(Perlego)1013875 035 $a(EXLCZ)992670000000327410 100 $a20120329d2013 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aProgram specialization /$fRenaud Marlet 205 $a1st ed. 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 08$a9781848213999 311 08$a1848213999 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$01710278 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910828308003321 996 $aProgram specialization$94100745 997 $aUNINA LEADER 02835nam 22005895 450 001 9910887878303321 005 20250807143323.0 010 $a981-9762-66-9 024 7 $a10.1007/978-981-97-6266-8 035 $a(MiAaPQ)EBC31679754 035 $a(Au-PeEL)EBL31679754 035 $a(CKB)35805055000041 035 $a(DE-He213)978-981-97-6266-8 035 $a(EXLCZ)9935805055000041 100 $a20240916d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStochastic Geometry Analysis of Space-Air-Ground Networks /$fby Minwei Shi, Kai Yang, He Zhou 205 $a1st ed. 2024. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2024. 215 $a1 online resource (131 pages) 311 08$a981-9762-65-0 327 $aIntroduction -- Fundamentals of Wireless Network Analysis -- Terrestrial Cellular Networks with Dependence -- Unmanned Aerial Vehicle-Assisted Cellular Networks -- Low Earth Orbit Satellite Networks -- Summary and Discussion. 330 $aThis book presents a comprehensive framework for the theoretical analysis of space-air-ground networks using stochastic geometry. This analytical approach is indispensable for evaluating the performance of large-scale space-air-ground networks, which serve as critical facilitators for the advancement of the sixth-generation wireless communication aimed at providing high-speed broadband coverage for remote areas. By incorporating the features of topology and channel model in different tiers, this book investigates the key performance metrics in terms of load balancing, coverage assessment, and mobility management. The developed mechanisms provide effective design insights for space-air-ground networks while obviating the need for complex system-level simulations. 606 $aWireless communication systems 606 $aMobile communication systems 606 $aTelecommunication 606 $aCommunication 606 $aWireless and Mobile Communication 606 $aCommunications Engineering, Networks 606 $aMedia and Communication 615 0$aWireless communication systems. 615 0$aMobile communication systems. 615 0$aTelecommunication. 615 0$aCommunication. 615 14$aWireless and Mobile Communication. 615 24$aCommunications Engineering, Networks. 615 24$aMedia and Communication. 676 $a621.384 700 $aShi$b Minwei$01770796 701 $aYang$b Kai$0914237 701 $aZhou$b He$01770797 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910887878303321 996 $aStochastic Geometry Analysis of Space-Air-Ground Networks$94254574 997 $aUNINA LEADER 00885nam 2200265 450 001 996666272803316 005 20250714085450.0 100 $a20250714d2003----km y0itay5003 ba 101 0 $aita 102 $aIT 105 $ay 00 y 200 1 $aRiforma del diritto societario$eDecreto legislativo 17 gennaio 2003 n.6. Testo a fronte a cura della redazione. Decreto legislativo 17 gennaio 2003 n.5$fa cura di Antonella Capone 210 $aRoma$cSocietā editrice de Il Foro Italiano$d2003 215 $a299 p.$d16 cm 300 $aInserto pubblicitario de Il foro italiano 606 0 $aSocietā$2BNCF 676 $a346.450662 702 1$aCAPONE,$bAntonella 801 0$aIT$bcba$gREICAT 912 $a996666272803316 951 $aXXV.3.E. 466$b36935 GIU$cXXV.3.E.$d559122 959 $aBK 969 $aGIU 996 $aRiforma del diritto societario$958981 997 $aUNISA