6756 search results - page 1146 / 1352 » Distributed Shared State |
176
click to vote
MLDM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Regression models are often required for controlling production processes by predicting parameter values. However, the implicit assumption of standard regression techniqu...
172
Voted
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
180
Voted
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
164
Voted
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose, implement and evaluate three admission models for computational Grids. The models take the expected demand into account and offer a specific performance guarantee. Th...
166
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Many decision systems rely on a precisely known Markov Chain model to guarantee optimal performance, and this paper considers the online estimation of unknown, nonstationary Ma...