Sciweavers

9888 search results - page 124 / 1978
» compute 2009
Sort
View
TLCA
2009
Springer
15 years 10 months ago
Refinement Types as Proof Irrelevance
William Lovas, Frank Pfenning
SPAA
2009
ACM
16 years 6 months ago
Gradient clock synchronization in dynamic networks
Fabian Kuhn, Thomas Locher, Rotem Oshman
PDP
2009
IEEE
16 years 22 days ago
Proactive Fault Tolerance Using Preemptive Migration
Christian Engelmann, Geoffroy Vallée, Thoma...