2468 search results - page 409 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
121
Voted
ISPA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
155
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
268
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
130
Voted
CG
2005
Springer
15 years 3 months ago
2005
Springer
In Chinese calligraphy cao shu is regarded as a kind of free form art which differs from other styles greatly in its less constrained strokes and brush textures. In this paper we ...
148
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Noise confounds present serious complications to accurate data analysis in functional magnetic resonance imaging (fMRI). Simply relying on contextual image information often resul...