1833 search results - page 87 / 367 » Mechanized Verification with Sharing |
115
click to vote
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
— Building a good cooperation in the P2P resource sharing is a fundamental and challenging research topic because of peer anonymity, peer independence, high dynamics of peer beha...
EUROPAR
2004
Springer
15 years 6 months ago
2004
Springer
The shared data space model has proven to be an effective paradigm for building distributed applications. However, building an efficient distributed implementation remains a chall...
99
Voted
ISCA
1994
IEEE
15 years 4 months ago
1994
IEEE
In the near future, semiconductor technology will allow the integration of multiple processors on a chip or multichipmodule (MCM). In this paper we investigate the architecture an...
123
click to vote
PODC
1994
ACM
15 years 4 months ago
1994
ACM
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
109
click to vote
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
Increasing demands for interconnectivity, adaptivity and flexibility are leading to distributed component-based systems (DCBS) where components may dynamically join and leave a sys...