3865 search results - page 156 / 773 » From Bidirectionality to Alternation |
197
click to vote
Lecture Notes
Silicon-based electronics is the foundation of computing devices. The computer industry is reaching an important milestone, where physical limits arising from using optical lithogr...
127
Voted
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known...
102
click to vote
CCA
2009
Springer
15 years 11 months ago
2009
Springer
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an ...
128
click to vote
ISSAC
2007
Springer
15 years 10 months ago
2007
Springer
Symbolic computation with functions of a real variable suffers from combinatorial explosion of memory and computation time. The alternative chebfun system for such computations is...
122
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
A major problem with time slicing on parallel machines is memory pressure, as the resulting paging activity damages the synchronism among a job’s processes. An alternative is to...