LEADER 01476nam 2200397 450 001 9910704424203321 005 20130404140636.0 035 $a(CKB)5470000002441456 035 $a(OCoLC)832439043 035 $a(EXLCZ)995470000002441456 100 $a20130326d2012 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDefense $eacquisition : agreement between the United States of America and Afghanistan, signed at Kabul, December 30, 2012, with annexes 210 1$a[Washington, D.C.] :$cUnited States Department of State,$d[2012?] 215 $a1 online resource (48 unnumbered pages) 225 1 $aTreaties and other international acts series ;$v12-1230 300 $aTitle from title screen (viewed on March 26, 2013). 517 $aDefense 606 $aMilitary assistance, American$zAfghanistan 606 $aMilitary supplies$xPurchasing$xInternational cooperation 607 $aUnited States$xMilitary relations$zAfghanistan 607 $aAfghanistan$xMilitary relations$zUnited States 615 0$aMilitary assistance, American 615 0$aMilitary supplies$xPurchasing$xInternational cooperation. 712 02$aUnited States.$f2012 December 30. 712 02$aUnited States.$bDepartment of State. 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910704424203321 996 $aDefense$92306666 997 $aUNINA LEADER 04654nam 22008535 450 001 9910484100503321 005 20251226203401.0 010 $a1-280-95151-6 010 $a9786610951512 010 $a3-540-71229-1 024 7 $a10.1007/978-3-540-71229-9 035 $a(CKB)1000000000490394 035 $a(EBL)3061574 035 $a(SSID)ssj0000292236 035 $a(PQKBManifestationID)11217329 035 $a(PQKBTitleCode)TC0000292236 035 $a(PQKBWorkID)10255734 035 $a(PQKB)10023399 035 $a(DE-He213)978-3-540-71229-9 035 $a(MiAaPQ)EBC3061574 035 $a(MiAaPQ)EBC6698960 035 $a(Au-PeEL)EBL6698960 035 $a(PPN)123726913 035 $a(BIP)46091928 035 $a(BIP)14051670 035 $a(EXLCZ)991000000000490394 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aCompiler Construction $e16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings /$fedited by Shriram Krishnamurthi, Martin Odersky 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (244 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4420 300 $aInternational conference proceedings. 311 08$a3-540-71228-3 320 $aIncludes bibliographical references and index. 327 $aArchitecture -- New Algorithms for SIMD Alignment -- Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve Reference-Counting Garbage Collectors -- Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks -- Correcting the Dynamic Call Graph Using Control-Flow Constraints -- Obfuscating Java: The Most Pain for the Least Gain -- Register Allocation -- A Fast Cutting-Plane Algorithm for Optimal Coalescing -- Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global Register Allocation -- Program Analysis -- Program Refactoring, Program Synthesis, and Model-Driven Development -- A Practical Escape and Effect Analysis for Building Lightweight Method Summaries -- Layout Transformations for Heap Objects Using Static Access Patterns -- A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees -- A Declarative Framework for Analysis and Optimization. 330 $aThis book constitutes the refereed proceedings of the 16th International Conference on Compiler Construction, CC 2007, held in Braga, Portugal, in March 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on architecture, garbage collection and program analysis, register allocation, and program analysis. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v4420 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aMachine theory 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aSoftware Engineering 606 $aArtificial Intelligence 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aMachine theory. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 14$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 676 $a005.453 702 $aOdersky$b Martin 702 $aKrishnamurthi$b Shriram 712 12$aETAPS 2007$f(2007 :$eBraga, Portugal) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484100503321 996 $aCompiler Construction$9771871 997 $aUNINA