360 search results - page 29 / 72 » Speculative Computation in Multilisp |
HPCN
1999
Springer
14 years 22 days ago
1999
Springer
SC
2000
ACM
14 years 22 hour ago
2000
ACM
DAC
2005
ACM
14 years 9 months ago
2005
ACM
Device and interconnect fabrics at the nanoscale will have a density of defects and susceptibility to transient faults far exceeding those of current silicon technologies. In this...
SC
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we describe the evolution of Global File Systems from the concept of a few years ago, to a first demonstration using hardware Fibre Channel frame encoding into IP pa...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...