Sciweavers

137 search results - page 10 / 28
» Understanding Parallel Repetition Requires Understanding Foa...
Sort
View
85
Voted
IPPS
1998
IEEE
15 years 3 months 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
83
Voted
GCC
2006
Springer
15 years 3 months 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»
14 years 6 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
15 years 3 months 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
91
Voted
IPPS
1999
IEEE
15 years 4 months 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 ...