1268 search results - page 211 / 254 » Verifying distributed systems: the operational approach |
ICPPW
2006
IEEE
14 years 4 months ago
2006
IEEE
Embedded computing architectures can be designed to meet a variety of application specific requirements. However, optimized hardware can require compiler support to realize the po...
ICPP
2005
IEEE
14 years 3 months ago
2005
IEEE
We describe a generic programming model to design collective communications on SMP clusters. The programming model utilizes shared memory for collective communications and overlap...
EGC
2005
Springer
14 years 3 months ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
DFG
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The new millennium is characterized by speed and distribution in every aspect of most business and organization undertaking. Organizations are challenged to bring ideas a...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
Parallel programs that modify shared data in a cachecoherent multiprocessor with a write-invalidate coherence protocol create ownership overhead in the form of ownership acquisiti...