360 search results - page 29 / 72 » Speculative Computation in Multilisp |
72
Voted
HPCN
1999
Springer
15 years 2 months ago
1999
Springer
SC
2000
ACM
15 years 1 months ago
2000
ACM
DAC
2005
ACM
15 years 10 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...
69
Voted
SC
2005
ACM
15 years 3 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
14 years 7 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...