1268 search results - page 67 / 254 » Verifying distributed systems: the operational approach |
203
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Future scalable, high throughput, and high performance applications are likely to execute on platforms constructed by clustering multiple autonomous distributed servers, with reso...
155
click to vote
SRDS
2006
IEEE
16 years 4 days ago
2006
IEEE
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but h...
148
click to vote
USENIX
2000
15 years 7 months ago
2000
The goal of the Globe project is to design and build a middleware platform that facilitates the development of large-scale distributed applications, such as those found on the Int...
147
click to vote
NOSSDAV
2005
Springer
15 years 11 months ago
2005
Springer
The purpose of this research is to explore the capabilities of future, multi-core heterogeneous systems, with specialized communication support, to be used as efficient and flex...
180
click to vote
TSMC
2008
15 years 5 months ago
2008
This paper presents an integrated approach for Web-based collaborative manufacturing, including distributed process planning, dynamic scheduling, real-time monitoring, and remote c...