PLDI 2003 - PDF Preprint Papers

PLDI 2003 Conference on Programming Language Design and Implementation

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed PLDI-2003 Paper

click to vote

PLDI
2003
ACM

325views Programming Languages» more PLDI 2003»

Compile-time dynamic voltage scaling settings: opportunities and limits

13 years 9 months ago

Download parapet.ee.princeton.edu

With power-related concerns becoming dominant aspects of hardware and software design, signiﬁcant research effort has been devoted towards system power minimization. Among run-t...

Fen Xie, Margaret Martonosi, Sharad Malik

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	325	Compile-time dynamic voltage scaling settings: opportunities and limits	claim
2	186	Automatically proving the correctness of compiler optimizations	claim
3	184	Bug isolation via remote program sampling	claim
4	178	CCured in the real world	claim
5	177	Ownership types for safe region-based memory management in real-time Java	claim
6	173	Checking and inferring local non-aliasing	claim
7	163	A provably sound TAL for back-end optimization	claim
8	161	Static array storage optimization in MATLAB	claim
9	146	Meta optimization: improving compiler heuristics with machine learning	claim
10	144	A compiler framework for speculative analysis and optimizations	claim
11	140	A type and effect system for atomicity	claim
12	140	A practical flow-sensitive and context-sensitive C and C++ memory leak detector	claim
13	135	Points-to analysis using BDDs	claim
14	135	Linear analysis and optimization of stream programs	claim
15	124	Region-based hierarchical operation partitioning for multicluster processors	claim
16	123	A static analyzer for large safety-critical software	claim
17	123	A comparison of empirical and model-driven optimization	claim
18	120	Taming the IXP network processor	claim
19	119	Compile-time composition of run-time data and iteration reorderings	claim
20	117	Debugging temporal specifications with concept analysis	claim
21	107	The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction	claim
22	104	CSSV: towards a realistic tool for statically detecting all buffer overflows in C	claim
23	101	The nesC language: A holistic approach to networked embedded systems	claim
24	96	Predicting whole-program locality through reuse distance analysis	claim
25	83	Optimizing indirect branch prediction accuracy in virtual machine interpreters	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers