6800 search results - page 319 / 1360 » Testing with Functions as Specifications |
190
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
218
click to vote
CBSE
2004
Springer
16 years 20 days ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
227
click to vote
ERCIMDL
2001
Springer
15 years 11 months ago
2001
Springer
The cultural heritage domain dealing with digital surrogates of rare and fragile historic artifacts is one of the most promising areas for establishing collaboratories, i.e. shared...
236
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...
227
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...