Custom cover image
Compiler Construction : 16th 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
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 4420Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Description: Online-Ressource (XIV, 233 p. Also available online, digital)ISBN:- 9783540712299
- 005.1015113
- 005.453
- 005.45 23
- 004
- QA76.9.L63 QA76.5913 QA76.63
- QA76.76.C65
Contents:
Summary: Architecture -- 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.PPN: PPN: 1646749871Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
""Title""; ""Foreword""; ""Preface""; ""Organization""; ""Table of Contents""; ""New Algorithms for SIMD Alignment""; ""Introduction""; ""This Work""; ""Organization""; ""An Overview of the simd alignment Problem""; ""Previous Heuristics""; ""An Abstraction of SIMD Alignment""; ""A Solution to a Graph Representation of a Single-Appearance""; ""A Polynomial-Time Algorithm for Single-Appearance Tree Expressions""; ""A Polynomial-Time Algorithm for Expressions with Only Two Alignments""; ""The multiway cut and the node multiway cut Problems""; ""Results""; ""Related Work""; ""Conclusion""
""Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors""""Introduction""; ""Motivation: Excessive RecMII""; ""Loop-Carried True Dependence""; ""Loop-Carried False Dependence""; ""Problem Formulation""; ""Benefit Estimation""; ""Register Constraint and Resource Constraint""; ""Problem Formalization: MAX-MIN""; ""Preprocessing Strategy for Effective Modulo Scheduling""; ""Divide Step: Detecting ExRecMII Recurrence Circuits and Finding Splittable Points""; ""Conquer Step""; ""Unified Framework: Divide-and-Conquer""; ""Experimental Results""
""Related Work""""Conclusion""; ""An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures""; ""Introduction""; ""Background""; ""Motivation""; ""Motivating Example""; ""Problems with Existing Approaches""; ""Overview of Our Approach""; ""Our Approach""; ""Graph Partition Formulation""; ""Integer Linear Programming Formulation""; ""Experimental Results""; ""Implementation Details""; ""Evaluation Methodology""; ""Results""; ""Related Work""; ""Conclusions""; ""Using Prefetching to Improve Reference-Counting Garbage Collectors""; ""Introduction""
""The Reference-Counting Collector""""Pseudo Code""; ""Allocation Using Segregated Free Lists""; ""Prefetching for Reference Counting""; ""Process-ModBuffer Stage""; ""Process-DecBuffer-and-Release Stage""; ""Build-Block-Free-List Stage""; ""Measurements""; ""Prefetch Improvements""; ""Reference-Counting Objects' Access Behavior""; ""Prefetch Strategy Profiling""; ""Hardware Counters Measurements""; ""Related Work""; ""Conclusions""; ""Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks""; ""Introduction""; ""The Ovm Virtual Machine""
""Previous Work: Accurate Stack Scanning""""Accuracy with Lazy Pointer Stacks""; ""Pointer Frame Counting""; ""Safe Point Catch and Thunk""; ""Practical Considerations""; ""Compiler Optimizations""; ""Experimental Evaluation""; ""Understanding the Overheads""; ""Validation: Real-Time Garbage Collection""; ""Related Work""; ""Conclusions""; ""Correcting the Dynamic Call Graph Using Control-Flow Constraints""; ""Introduction""; ""Background and Related Work""; ""Collecting Dynamic Call Graphs""; ""Constructing the DCG Using Control-Flow Information""
""The Dominator Relation and Strong Regions""
No physical items for this record