Sciweavers

10585 search results - page 1989 / 2117
» The Orc Programming Language
Sort
View
114
Voted
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
15 years 4 months ago
An Approach to Formal Verification of Arithmetic Functions in Assembly
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
Reynald Affeldt, Nicolas Marti
CODES
2004
IEEE
15 years 4 months ago
Optimizing the memory bandwidth with loop fusion
The memory bandwidth largely determines the performance and energy cost of embedded systems. At the compiler level, several techniques improve the memory bandwidth at the scope of...
Paul Marchal, José Ignacio Gómez, Fr...
113
Voted
CODES
2004
IEEE
15 years 4 months ago
Compiler-directed code restructuring for reducing data TLB energy
Prior work on TLB power optimization considered circuit and architectural techniques. A recent software-based technique for data TLBs has considered the possibility of storing the...
Mahmut T. Kandemir, Ismail Kadayif, Guilin Chen
CODES
2004
IEEE
15 years 4 months ago
Dynamic overlay of scratchpad memory for energy minimization
The memory subsystem accounts for a significant portion of the aggregate energy budget of contemporary embedded systems. Moreover, there exists a large potential for optimizing th...
Manish Verma, Lars Wehmeyer, Peter Marwedel
126
Voted
CLEF
2006
Springer
15 years 4 months ago
The University of New South Wales at GeoCLEF 2006
This paper describes our participation in the GeoCLEF monolingual English task of the Cross Language Evaluation Forum 2006. The main objective of this study is to evaluate the retr...
You-Heng Hu, Linlin Ge
« Prev « First page 1989 / 2117 Last » Next »