1906 search results - page 225 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
144
click to vote
SIGMETRICS
2010
ACM
15 years 9 months ago
2010
ACM
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
158
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
141
click to vote
WPES
2006
ACM
15 years 10 months ago
2006
ACM
Recent trends in Internet computing have led to the popularization of many forms of virtual organizations. Examples include supply chain management, grid computing, and collaborat...
117
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
High-throughput scoring of image-based biological assays heavily depends on the extraction of quantitative numerical information from microscopy images. This paper describes how t...
149
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...