414 search results - page 50 / 83 » Functional Programming in Sublinear Space |
133
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...
159
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...
155
click to vote
PEPM
1998
ACM
15 years 9 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
130
click to vote
ENTCS
2006
15 years 4 months ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
141
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...