Sciweavers

4276 search results - page 393 / 856
» Techniques for Empirical Validation
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
Determining detailed structural correspondence for generalization tasks
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...
Jörg Denzinger, Joseph J. C. Chang, Robert J....
CC
2009
Springer
116views System Software» more  CC 2009»
16 years 7 months ago
A Framework for Exploring Optimization Properties
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
Min Zhao, Bruce R. Childers, Mary Lou Soffa
SIGCSE
2009
ACM
179views Education» more  SIGCSE 2009»
16 years 7 months ago
Methods, metrics and motivation for a green computer science program
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...
Mujtaba Talebi, Thomas Way
CHI
2005
ACM
16 years 7 months ago
Virtual rear projection: do shadows matter?
Rear projection of large-scale upright displays is often preferred over front projection because of the lack of shadows that occlude the projected image. However, rear projection ...
Jay Summet, Gregory D. Abowd, Gregory M. Corso, Ja...
VLDB
2008
ACM
131views Database» more  VLDB 2008»
16 years 7 months ago
Primal or dual: which promises faster spatiotemporal search?
The existing predictive spatiotemporal indexes can be classified into two categories, depending on whether they are based on the primal or dual methodology. Although we have gaine...
Yufei Tao, Xiaokui Xiao