28821 search results - page 400 / 5765 » Distributed and parallel systems |
124
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
The Java language and platform have been considered by many as natural candidate for creating grid systems. The platform-independent runtime environment, safe and high-level langu...
154
click to vote
SC
2004
ACM
15 years 10 months ago
2004
ACM
Cluster-based storage systems are popular for data-intensive applications and it is desirable yet challenging to provide incremental expansion and high availability while achievin...
154
Voted
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
It is now common for IPTV systems attracting millions of users to be based on a peer-to-peer (P2P) architecture. In such systems, each channel is typically associated with one P2P ...
164
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
103
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Dynamicreconfigurationoffieldprogrammablegatearrays(FPGAs)hasrecentlyemergedasthenextstepinreconfigurable computing. Sanders,ALockheedMartinCompany,isdevelopingtheenablingtechnolo...