Sciweavers

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