2335 search results - page 111 / 467 » Functional Differentiation of Computer Programs |
SMI
2006
IEEE
14 years 4 months ago
2006
IEEE
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
ESOP
2012
Springer
12 years 6 months ago
2012
Springer
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
CONEXT
2008
ACM
14 years 2 days ago
2008
ACM
Internet service providers (ISPs) depend on one another to provide global network services. However, the profit-seeking nature of the ISPs leads to selfish behaviors that result i...
ICFP
2003
ACM
14 years 10 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
COCO
1993
Springer
14 years 2 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...