4719 search results - page 306 / 944 » Spreadsheet functional programming |
161
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
177
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
176
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
212
Voted
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Eigenvalue problems are rampant in machine learning and statistics and appear in the context of classification, dimensionality reduction, etc. In this paper, we consider a cardina...
152
click to vote
CSR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study structural properties of restricted width arithmetical circuits. It is shown that syntactically multilinear arithmetical circuits of constant width can be effici...