Sciweavers

2583 search results - page 141 / 517
» Compiling for stream processing
Sort
View
247
Voted
LCTRTS
2005
Springer
15 years 10 months ago
Generation of permutations for SIMD processors
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...
Alexei Kudriavtsev, Peter M. Kogge
GI
2004
Springer
15 years 10 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
IPPS
1999
IEEE
15 years 9 months ago
Implementing a Non-Strict Functional Programming Language on a Threaded Architecture
Abstract. The combination of a language with ne-grain implicit parallelism and a data ow evaluation scheme is suitable for high-level programming on massively parallel architectur...
Shigeru Kusakabe, Kentaro Inenaga, Makoto Amamiya,...
ENTCS
2002
131views more  ENTCS 2002»
15 years 4 months ago
Automatic Generation of Language-based Tools
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
Pedro Rangel Henriques, Maria João Varanda ...
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 4 months ago
Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element
The running maximum-minimum (MAX-MIN) filter computes the maxima and minima over running windows of size w. This filter has numerous applications in signal processing and time seri...
Daniel Lemire