1830 search results - page 91 / 366 » Functional Programs as Linked Data |
133
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
117
click to vote
CASES
2005
ACM
15 years 5 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-...
147
click to vote
DAS
2010
Springer
15 years 7 months ago
2010
Springer
Matching word images has many applications in document recognition and retrieval systems. Dynamic Time Warping (DTW) is popularly used to estimate the similarity between word imag...
130
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
124
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. The degree of locality of a program re ects the level of temporal and spatial concentration of related data and computations. Locality optimization can speed up programs ...