scholarly journals Distributed-Memory Model Checking with SPIN

1999 ◽  
pp. 22-39 ◽  
Author(s):  
Flavio Lerda ◽  
Riccardo Sisto
Keyword(s):  
Model Checking ◽  
Distributed Memory ◽  
Memory Model

scholarly journals The block distributed memory model

1996 ◽  
Vol 7 (8) ◽  
pp. 830-840 ◽  
Author(s):  
J.F. Jaja ◽  
Kwan Woo Ryu
Keyword(s):  
Distributed Memory ◽  
Memory Model

Judgments of Frequency and Recency in a Distributed Memory Model

2001 ◽  
Vol 45 (4) ◽  
pp. 564-602 ◽  
Author(s):  
Bennet Murdock ◽  
David Smith ◽  
Juan Bai
Keyword(s):  
Distributed Memory ◽  
Memory Model

A Distributed Memory Model of the Associative Boost in Semantic Priming

1994 ◽  
Vol 6 (4) ◽  
pp. 413-427 ◽  
Author(s):  
H. E. MOSS ◽  
M. L. HARE ◽  
P. DAY ◽  
L. K. TYLER
Keyword(s):  
Semantic Priming ◽  
Distributed Memory ◽  
Memory Model

DMM-GAPBS: Adapting the GAP Benchmark Suite to a Distributed Memory Model

2021 ◽  
Author(s):  
Zach Hansen ◽  
Brody Williams ◽  
John D. Leidel ◽  
Xi Wang ◽  
Yong Chen
Keyword(s):  
Distributed Memory ◽  
Memory Model ◽  
Benchmark Suite
Sign in / Sign up

Export Citation Format

Share Document