Sciweavers

317 search results - page 33 / 64
» Benchmarking weak memory models
Sort
View
113
Voted
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 4 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
EUROPAR
2007
Springer
15 years 6 months ago
Esodyp+: Prefetching in the Jackal Software DSM
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
Michael Klemm, Jean Christophe Beyler, Ronny T. La...
98
Voted
IPPS
2007
IEEE
15 years 6 months ago
Tera-scalable Fourier Spectral Element Code for DNS of Channel Turbulent Flow at High Reynolds Number
Due to the extensive requirement of memory and speed for direct numerical simulation (DNS) of channel turbulence, people can only perform DNS at moderate Reynolds number before. W...
Jin Xu
90
Voted
HPCC
2009
Springer
14 years 10 months ago
Reliability Optimization of Reconfigurable Computing-Based Fault-Tolerant System
Domain-partition (DP) model is a general model for reliability maximization problem under given redundancy. In this paper, an improved DP model is used to formulate a reconfigurati...
Mi Zhou, Lihong Shang, Yu Hu
85
Voted
WEBDB
2005
Springer
132views Database» more  WEBDB 2005»
15 years 5 months ago
XFrag: A Query Processing Framework for Fragmented XML Data
Data fragmentation offers various attractive alternatives to organizing and managing data, and presents interesting characteristics that may be exploited for efficient processing...
Sujoe Bose, Leonidas Fegaras