Sciweavers

544 search results - page 6 / 109
» On the Complexity of Loop Fusion
Sort
View
AIEDU
2006
93views more  AIEDU 2006»
13 years 6 months ago
The Behavior of Tutoring Systems
Tutoring systems are described as having two loops. The outer loop executes once for each task, where a task usually consists of solving a complex, multi-step problem. The inner lo...
Kurt VanLehn
PLDI
2009
ACM
14 years 1 months ago
Proving optimizations correct using parameterized program equivalence
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
Sudipta Kundu, Zachary Tatlock, Sorin Lerner
SC
2005
ACM
14 years 8 days ago
Integrated Loop Optimizations for Data Locality Enhancement of Tensor Contraction Expressions
A very challenging issue for optimizing compilers is the phase ordering problem: In what order should a collection of compiler optimizations be performed? We address this problem ...
Swarup Kumar Sahoo, Sriram Krishnamoorthy, Rajkira...
CDES
2006
98views Hardware» more  CDES 2006»
13 years 8 months ago
Instruction Fetch Energy Reduction Using Forward-Branch Bufferable Innermost Loop Buffer
Recently, several loop buffer designs have been proposed to reduce instruction fetch energy due to size and location advantage of loop buffer. Nevertheless, on design complexity di...
Bin-Hua Tein, I-Wei Wu, Chung-Ping Chung
ICIP
2008
IEEE
14 years 8 months ago
Compressive image fusion
Compressive sensing (CS) has received a lot of interest due to its compression capability and lack of complexity on the sensor side. In this paper, we present a study of three sam...
Tao Wan, Cedric Nishan Canagarajah, Alin Achim