4586 search results - page 675 / 918 » Computing stable models in parallel |
174
Voted
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
131
click to vote
HPDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Grid computing has reached the stage where deployments are mature and many collaborations run in production mode. Mature Grid deployments offer the opportunity for revisiting and ...
115
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Peer-to-Peer (P2P) computing has become a popular application model because of its easy resource sharing pattern and powerful query search scheme. However, decentralized P2P archi...
117
click to vote
CF
2004
ACM
15 years 9 months ago
2004
ACM
We introduce MaRS, a reconfigurable, parallel computing engine with special emphasis on scalability, lending itself to the computation-/data-intensive multimedia data processing a...
103
click to vote
PODC
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents compact roundtrip routing schemes with local tables of size ˜O( √ n) and stretch 6 for any directed network with arbitrary edge weights; and with local tabl...