2477 search results - page 143 / 496 » Parallelizing Functional Programs by Generalization |
126
click to vote
IPL
2008
15 years 2 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
105
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
111
Voted
CASES
2005
ACM
15 years 4 months ago
2005
ACM
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...
211
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional ar...
122
Voted
FOCS
1992
IEEE
15 years 6 months ago
1992
IEEE
Consider a convex set P in IRd and a piecewise polynomial concave function F: P IR. Let A be an algorithm that given a point x IRd computes F(x) if x P, or returns a concave po...