309 search results - page 31 / 62 » Code Transformations for One-Pass Analysis |
113
click to vote
ICIP
2000
IEEE
16 years 4 months ago
2000
IEEE
VIRAM (Vector Intelligent Random Access Memory) is a vector architecture processor with embedded memory, designed for portable multimedia processing devices. Its vector processing...
128
click to vote
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
138
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
98
Voted
CC
2007
Springer
15 years 8 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
110
click to vote
JLP
2008
15 years 2 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...