Sciweavers

13489 search results - page 154 / 2698

» Operating System

148

SRDS
2010
IEEE

116views Operating System» more SRDS 2010»

Experimental Validation of a Synchronization Uncertainty-Aware Software Clock

15 years 4 months ago

Experimental Validation of a Synchronization Uncertainty-Aware Software Clock

Download dcl.isti.cnr.it

Andrea Bondavalli, Francesco Brancati, Andrea Cecc...

claim paper

Read More »

105

SRDS
2010
IEEE

134views Operating System» more SRDS 2010»

Lightweight Task Graph Inference for Distributed Applications

15 years 4 months ago

Lightweight Task Graph Inference for Distributed Applications

Download www.cs.purdue.edu

Bin Xin, Patrick Th. Eugster, Xiangyu Zhang, Jinli...

claim paper

Read More »

134

FAST
2009

113views Operating System» more FAST 2009»

CLIC: CLient-Informed Caching for Storage Servers

15 years 4 months ago

CLIC: CLient-Informed Caching for Storage Servers

Download www.usenix.org

Xin Liu, Ashraf Aboulnaga, Kenneth Salem, Xuhui Li

claim paper

Read More »

116

SSS
2005
Springer

77views Control Systems» more SSS 2005»

Self-stabilization with r-Operators Revisited

15 years 12 months ago

Self-stabilization with r-Operators Revisited

Download www.lri.fr

Sylvie Delaët, Bertrand Ducourthial, Sé...

claim paper

Read More »

128

FOSSACS
2006
Springer

77views Software Engineering» more FOSSACS 2006»

Presenting Functors by Operations and Equations

15 years 10 months ago

Presenting Functors by Operations and Equations

Download www.liacs.nl

We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...

Marcello M. Bonsangue, Alexander Kurz

claim paper

Read More »

« Prev « First page 154 / 2698 Last » Next »