The proceedings contain 36 papers. The topics discussed include: optimizing memory transactions;compiler and runtime support for efficient software transactional memory;better extensibility through modular syntax;fast...
详细信息
ISBN:
(纸本)1595933743
The proceedings contain 36 papers. The topics discussed include: optimizing memory transactions;compiler and runtime support for efficient software transactional memory;better extensibility through modular syntax;fast and flexible instruction selection with on-demand tree-parsing automata;a framework for unrestricted whole-program optimization;practical dynamic software updating for C;an experimental analysis of self-adjusting computation;shared memory programming for large scale machines;optimizing data permutations for SIMD devices;auto-vectorization of interleaved data for SIMD;pruning dynamic slices with confidence;context-sensitive domain-independent algorithm composition and selection;reducing NoC energy consumption through compiler-directed channel voltage scaling;a global progressive register allocator;and automatic instruction scheduler retargeting by reverse-engineering.
The proceedings contains 31 papers from the ACM SIGPLAN '97 conference on programming language design and implementation. Topics discussed include: efficient treatment of language constructs;program compilation;ru...
详细信息
The proceedings contains 31 papers from the ACM SIGPLAN '97 conference on programming language design and implementation. Topics discussed include: efficient treatment of language constructs;program compilation;runtime issues;large-scale optimizations;scheduling;partial evaluation and verification of programs;program analysis;register allocation;parallelism;and mobile computing.
The proceedings contains 28 papers from the Proceedings of the ACM SIGPLAN 2003 conference on programming language design and implementation® (PLDI'03). The topics discussed include: linear analysis and opt...
详细信息
The proceedings contains 28 papers from the Proceedings of the ACM SIGPLAN 2003 conference on programming language design and implementation® (PLDI'03). The topics discussed include: linear analysis and optimization of stream programs;taming the IXP network processor;design, implementation and evaluation of a compiler algorithm;compile-time dynamic voltage scale settings;static conflict analysis for multi-threaded object-oriented programs;and checking and inferring local non-aliasing.
The proceedings contains 30 papers from the Proceedings of the ACM SIGPLAN conference on programminglanguage and implementation (PLDI). Topics discussed include: design and implementation of generics for the .NET com...
详细信息
The proceedings contains 30 papers from the Proceedings of the ACM SIGPLAN conference on programminglanguage and implementation (PLDI). Topics discussed include: design and implementation of generics for the .NET common language runtime;dynamic software updating;demand-driven pointer analysis;incrementalized pointer and escape analysis;enforcing high-level protocols in low-level software;language support for regions;principled scavenging;heap profiling for space-efficient Java;composing high-performance memory allocators;and the pointer assertion logic engine.
The proceedings contain 30 papers on programminglanguages. Topics include languagedesign, data structures, codes, mathemtical techniques, errors, error correction, computation theory, program compiling and program o...
详细信息
ISBN:
(纸本)089791662X
The proceedings contain 30 papers on programminglanguages. Topics include languagedesign, data structures, codes, mathemtical techniques, errors, error correction, computation theory, program compiling and program optimization.
The proceedings contains 28 papers from the ACM SIGPLAN 2002 conference on programming language design and implementation (PLDI'02). Topics discussed include: flow-sensitive type qualifiers;fast copy coalescing an...
详细信息
The proceedings contains 28 papers from the ACM SIGPLAN 2002 conference on programming language design and implementation (PLDI'02). Topics discussed include: flow-sensitive type qualifiers;fast copy coalescing and live-range identification;preference-directed graph coloring;a system and language for building system-specific, static analyses and deriving specialized program analyses for certifying component-client conformance.
The proceedings contains 28 papers. Topics discussed include software pipelining, reduced multipipeline machine description in scheduling constraints, program debugging, program compilers, parallel processing systems,...
详细信息
The proceedings contains 28 papers. Topics discussed include software pipelining, reduced multipipeline machine description in scheduling constraints, program debugging, program compilers, parallel processing systems, logic programming, run time code generation, language support for memory coherence protocols, and data flow analysis.
暂无评论