Sciweavers

4400 search results - page 384 / 880
» A proposal for parallel self-adjusting computation
Sort
View
CCGRID
2001
IEEE
15 years 11 months ago
xBSP: An Efficient BSP Implementation for clan
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of high performance of VIA, the previous MPI implementati...
Yang-Suk Kee, Soonhoi Ha
CONCUR
2010
Springer
15 years 8 months ago
Reasoning about Optimistic Concurrency Using a Program Logic for History
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
GRID
2008
Springer
15 years 8 months ago
Dynamic scheduling for heterogeneous Desktop Grids
Desktop Grids have emerged as an important methodology to harness the idle cycles of millions of participant desktop PCs over the Internet. However, to effectively utilize the res...
Issam Al-Azzoni, Douglas G. Down
COLCOM
2008
IEEE
16 years 2 months ago
Security through Collaboration in MANETs
It is well understood that Mobile Ad Hoc Networks (MANETs) are extremely susceptible to a variety of attacks, and traditional security mechanisms do not work well. Many security sc...
Wenjia Li, James Parker, Anupam Joshi
ICDCSW
2006
IEEE
16 years 1 months ago
Revisiting Content-Based Publish/Subscribe
Content-based publish/subscribe is a very appealing interaction model that has attracted intense efforts from the research community in the quest to obtain “Internet-wide” sca...
Costin Raiciu, David S. Rosenblum, Mark Handley