770 search results - page 28 / 154 » Dinatural Terms in System F |
128
click to vote
STACS
1995
Springer
15 years 9 months ago
1995
Springer
Motivatedby the analysis of known parallel techniques for the solution of linear tridiagonal system, we introduce generalized scans, a class of recursively de ned lengthpreserving...
153
click to vote
ISLPED
2007
ACM
15 years 7 months ago
2007
ACM
Power-related issues have become important considerations in current generation microprocessor design. One of these issues is that of elevated on-chip temperatures. This has an ad...
154
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
BitTorrent, the immensely popular file swarming system, suffers a fundamental problem: content unavailability. Although swarming scales well to tolerate flash crowds for popular c...
155
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
178
click to vote
MODELS
2009
Springer
16 years 18 days ago
2009
Springer
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...