Sciweavers

Share
CC
2002
Springer
126views System Software» more  CC 2002»
9 years 6 months ago
On the hardness of approximating the permanent of structured matrices
We show that for several natural classes of "structured" matrices, including symmetric, circulant, Hankel and Toeplitz matrices, approximating the permanent modulo a prim...
Bruno Codenotti, Igor Shparlinski, Arne Winterhof
CC
2002
Springer
145views System Software» more  CC 2002»
9 years 6 months ago
Forwarding in Attribute Grammars for Modular Language Design
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul ...
CC
2002
Springer
103views System Software» more  CC 2002»
9 years 6 months ago
StreamIt: A Language for Streaming Applications
We characterize high-performance streaming applications as a new and distinct domain of programs that is becoming increasingly important. The StreamIt language provides novel high-...
William Thies, Michal Karczmarek, Saman P. Amarasi...
CC
2002
Springer
117views System Software» more  CC 2002»
9 years 6 months ago
Online Subpath Profiling
We present an efficient online subpath profiling algorithm, OSP, that reports hot subpaths executed by a program in a given run. The hot subpaths can start at arbitrary basic block...
David Oren, Yossi Matias, Shmuel Sagiv
CC
2002
Springer
131views System Software» more  CC 2002»
9 years 6 months ago
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
George C. Necula, Scott McPeak, Shree Prakash Rahu...
CC
2002
Springer
107views System Software» more  CC 2002»
9 years 6 months ago
Modular Static Program Analysis
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
Patrick Cousot, Radhia Cousot
CC
2002
Springer
9 years 6 months ago
A Representation for Bit Section Based Analysis and Optimization
Rajiv Gupta, Eduard Mehofer, Youtao Zhang
CC
2002
Springer
100views System Software» more  CC 2002»
9 years 6 months ago
Disambiguation Filters for Scannerless Generalized LR Parsers
In this paper we present the fusion of generalized LR parsing and scannerless parsing. This combination supports syntax definitions in which all aspects (lexical and context-free) ...
Mark van den Brand, Jeroen Scheerder, Jurgen J. Vi...
CC
2002
Springer
144views System Software» more  CC 2002»
9 years 6 months ago
Compiler Construction Using LOTOS NT
Hubert Garavel, Frédéric Lang, Radu ...
CC
2002
Springer
131views System Software» more  CC 2002»
9 years 6 months ago
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation
Global variable promotion, i.e. allocating unaliased globals to registers, can significantly reduce the number of memory operations. This results in reduced cache activity and less...
Andrea G. M. Cilio, Henk Corporaal
books