2468 search results - page 388 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
165
click to vote
SASO
2007
IEEE
15 years 9 months ago
2007
IEEE
Group communication primitives have broad utility as building blocks for distributed applications. The challenge is to create and maintain the distributed structures that support ...
132
Voted
ASAP
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
121
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
As energy consumption in high-performance systems has increased, thermal management has become a big challenge. Providing a cost-effective and detailed temperature sensing mechani...
115
Voted
PVLDB
2010
15 years 2 months ago
2010
The workflow models have been essentially operation-centric for many years, ignoring almost completely the data aspects. Recently, a new paradigm of data-centric workflows, call...
116
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Aggregation is an important building block of modern distributed applications, allowing the determination of meaningful properties (e.g. network size, total storage capac...