2468 search results - page 388 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
207
click to vote
SASO
2007
IEEE
16 years 17 days 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 ...
164
click to vote
ASAP
2005
IEEE
15 years 12 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...
152
click to vote
IPPS
2005
IEEE
15 years 12 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...
158
click to vote
PVLDB
2010
15 years 4 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...
155
click to vote
CORR
2010
Springer
15 years 6 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...