1830 search results - page 75 / 366 » Functional Programs as Linked Data |
140
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Functional, instruction-based self-testing of microprocessors has recently emerged as an effective alternative or supplement to other testing approaches, and is progressively adop...
140
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
153
click to vote
SEKE
2007
Springer
15 years 9 months ago
2007
Springer
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
123
click to vote
IEEEPACT
2009
IEEE
15 years 9 months ago
2009
IEEE
—With increasing numbers of cores, future CMPs (Chip Multi-Processors) are likely to have a tiled architecture with a portion of shared L2 cache on each tile and a bankinterleave...
EVOW
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we use Genetic Programming for the classification of different seafloor habitats, based on the acoustic backscatter data from an echo sounder. By developing a differ...