5387 search results - page 217 / 1078 » Generating generic functions |
175
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
194
click to vote
FPCA
1993
15 years 10 months ago
1993
Five implementations of di erent lazy functional languages are compared using a common benchmark of a dozen medium size programs. The benchmarking procedure has been designed such...
162
click to vote
CASES
2005
ACM
15 years 8 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-...
200
click to vote
ACST
2006
15 years 8 months ago
2006
In the last years, there has been an increased investigation of efficient algorithms to solve problems of great scale. The main restriction of the traditional methods, like finite...
163
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...