46 search results - page 1 / 10 » Evaluating Call-By-Need on the Control Stack |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Ariola and Felleisen's call-by-need -calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substituti...
MSS
2005
IEEE
13 years 10 months ago
2005
IEEE
Enterprise storage demands have overwhelmed traditional storage mechanisms and have led to the development of Storage Area Networks (SANs). This has resulted in the design of SCSI...
AINA
2008
IEEE
13 years 11 months ago
2008
IEEE
We present experimental results evaluating fairness of several proposals to change the TCP congestion control algorithm, in support of operation on high bandwidth-delayproduct (BD...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
We present the Stack Trace Analysis Tool (STAT) to aid in debugging extreme-scale applications. STAT can reduce problem exploration spaces from thousands of processes to a few by ...
POPL
2009
ACM
14 years 5 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...