6829 search results - page 65 / 1366 » Quantitative Generalizations of Languages |
102
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
104
click to vote
SSR
2001
15 years 2 months ago
2001
A quantitative study has shown that frame technology [1] supported by Fusion toolset can lead to reduction in time-tomarket (70%) and project costs (84%). Frame technology has bee...
117
Voted
COGSCI
2010
15 years 28 days ago
2010
many abstract categories (e.g., ``equivalence'') is innate. Although Plato argued with his contemporaries who advocated the empirical basis of knowledge, it was the Briti...
116
click to vote
IANDC
2008
15 years 26 days ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
129
click to vote
ICFP
2005
ACM
16 years 23 days ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...