3323 search results - page 223 / 665 » Computational Semantics with Functional Programming |
184
click to vote
DCC
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper introduces a linear programming (LP) technique that performs ratedistortion based optimization for constrained video coding. Given the assumption of piecewise linear an...
145
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ever-increasing demand for computing capability is driving the construction of ever-larger computer clusters, soon to be reaching tens of thousands of processors. Many fu...
172
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...
158
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
— Architectural resources and program recurrences are the main limitations to the amount of Instruction-Level Parallelism (ILP) exploitable from loops, the most time-consuming pa...
210
click to vote
FSTTCS
2005
Springer
16 years 16 hour ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...