Sciweavers

137 search results - page 10 / 28
» Understanding Parallel Repetition Requires Understanding Foa...
Sort
View
IPPS
1998
IEEE
14 years 27 days ago
Deriving Efficient Cache Coherence Protocols through Refinement
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
Ratan Nalumasu, Ganesh Gopalakrishnan
GCC
2006
Springer
14 years 9 days ago
Grid Enabled Data Integration Framework for Bioinformatics Research
A framework is proposed to manage the distributed and heterogeneous databases in grid environment for understanding protein-protein interaction. Furthermore, the framework is used...
Jia Liu, Yongwei Wu, Weimin Zheng
SIGMETRICS
2011
ACM
178views Hardware» more  SIGMETRICS 2011»
13 years 3 months ago
Should we worry about memory loss?
In recent years the High Performance Computing (HPC) industry has benefited from the development of higher density multi-core processors. With recent chips capable of executing u...
O. Perks, Simon D. Hammond, S. J. Pennycook, Steph...
COOPIS
1998
IEEE
14 years 27 days ago
A Generative Communication Service for Database Interoperability
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
Wilhelm Hasselbring, Mark Roantree
IPPS
1999
IEEE
14 years 28 days ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...