336 search results - page 29 / 68 » Program Speedups in Theory and Practice |
91
Voted
JFP
2006
15 years 13 days ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
108
click to vote
PAMI
2007
14 years 12 months ago
2007
A new framework is presented for both understanding and developing graph-cut based combinatorial algorithms suitable for the approximate optimization of a very wide class of MRFs ...
100
Voted
CONIELECOMP
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
89
Voted
IWPC
2009
IEEE
15 years 7 months ago
2009
IEEE
Comprehending an unfamiliar code fragment requires an awareness of explicit usage directives that may be present in the documentation of some invoked functions. Since it is not pr...
109
click to vote
PLDI
1998
ACM
15 years 4 months ago
1998
ACM
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...