Sciweavers

10 search results - page 1 / 2
» Binding-Time Analysis in Partial Evaluation: One Size Does N...
Sort
View
ERSHOV
1999
Springer
13 years 9 months ago
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...
Niels H. Christensen, Robert Glück, Sø...
ICCAD
2005
IEEE
144views Hardware» more  ICCAD 2005»
14 years 1 months ago
An exact algorithm for the maximal sharing of partial terms in multiple constant multiplications
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
Paulo F. Flores, José C. Monteiro, Eduardo ...
PODS
2009
ACM
130views Database» more  PODS 2009»
14 years 5 months ago
Secondary indexing in one dimension: beyond b-trees and bitmap indexes
Let be a finite, ordered alphabet, and consider a string x = x1x2 . . . xn n . A secondary index for x answers alphabet range queries of the form: Given a range [al, ar] , retu...
Rasmus Pagh, Srinivasa Rao Satti
ICAC
2008
IEEE
13 years 11 months ago
Towards a Self-Configurable Weather Research and Forecasting System
Current weather forecast and visualization systems lack the scalability to support numerous customized requests for weather research and forecasting, especially at the time of nat...
Khalid Saleem, Seyed Masoud Sadjadi, Shu-Ching Che...
MICCAI
2003
Springer
14 years 5 months ago
Statistical Atlas-Based Detection of Abnormalities in Brain Perfusion: Comparing Models and Estimating Detection Performance
Abstract. When developing statistical models of normal brain perfusion, two questions are of crucial interest: How well does an atlas describe normality and how sensitive is it at ...
Torbjørn Vik, Fabrice Heitz, Jean-Paul Arms...