CTL* Model Checking on a Shared-Memory Architecture

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.10.022 ◽

2005 ◽

Vol 128 (3) ◽

pp. 107-123 ◽

Author(s):

Cornelia P. Inggs ◽

Howard Barringer

Keyword(s):

Model Checking ◽

Shared Memory ◽

Memory Architecture

Download Full-text

CTL* model checking on a shared-memory architecture

Formal Methods in System Design ◽

10.1007/s10703-006-0008-z ◽

2006 ◽

Vol 29 (2) ◽

pp. 135-155 ◽

Author(s):

Cornelia P. Inggs ◽

Howard Barringer

Keyword(s):

Model Checking ◽

Shared Memory ◽

Memory Architecture

Download Full-text

Effective State Exploration for Model Checking on a Shared Memory Architecture

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)80395-0 ◽

2002 ◽

Vol 68 (4) ◽

pp. 605-620 ◽

Author(s):

Cornelia P. Inggs ◽

Howard Barringer

Keyword(s):

Model Checking ◽

Shared Memory ◽

Memory Architecture

Download Full-text

Parallelization Strategy for Elementary Morphological Operators on Graphs: Distance-Based Algorithms and Implementation on Multicore Shared-Memory Architecture

Journal of Mathematical Imaging and Vision ◽

10.1007/s10851-017-0737-1 ◽

2017 ◽

Vol 59 (1) ◽

pp. 136-160 ◽

Author(s):

Imane Youkana ◽

Jean Cousty ◽

Rachida Saouli ◽

Mohamed Akil

Keyword(s):

Shared Memory ◽

Memory Architecture ◽

Morphological Operators ◽

Parallelization Strategy

Download Full-text

Shared Memory Architecture

Parallel Computing Architectures and APIs ◽

10.1201/9781351029223-13 ◽

2019 ◽

pp. 141-155

Author(s):

Vivek Kale

Keyword(s):

Shared Memory ◽

Memory Architecture

Download Full-text

Scalable and fault tolerant restricted shared memory architecture

Electronics Letters ◽

10.1049/el:19930524 ◽

1993 ◽

Vol 29 (9) ◽

pp. 783 ◽

Author(s):

G.N. Khan ◽

K. Mahmud

Keyword(s):

Shared Memory ◽

Fault Tolerant ◽

Memory Architecture

Download Full-text

Exemplar S-and X-Class: 2nd Generation of High-Performance Systems with a Global Shared Memory Architecture

Advances in High Performance Computing ◽

10.1007/978-94-011-5514-4_4 ◽

1997 ◽

pp. 61-76

Author(s):

Frank P. E. Baetke

Keyword(s):

Shared Memory ◽

High Performance ◽

Memory Architecture ◽

2Nd Generation ◽

High Performance Systems

Download Full-text

Implementation of Graph Isomorphism Algorithm on Shared Memory Architecture

Algorithms for Intelligent Systems - Proceedings of Integrated Intelligence Enable Networks and Computing ◽

10.1007/978-981-33-6307-6_53 ◽

2021 ◽

pp. 529-541

Author(s):

Vijaya Balpande ◽

Pradnya Borkar ◽

Anjali Mahajan

Keyword(s):

Shared Memory ◽

Graph Isomorphism ◽

Memory Architecture

Download Full-text

Shared-Memory Architecture

Encyclopedia of Database Systems ◽

10.1007/978-0-387-39940-9_1082 ◽

2009 ◽

pp. 2638-2638

Author(s):

Patrick Valduriez

Keyword(s):

Shared Memory ◽

Memory Architecture

Download Full-text

1K manycore FPGA shared memory architecture for SOC (abstract only)

Proceedings of the 2014 ACM/SIGDA international symposium on Field-programmable gate arrays - FPGA '14 ◽

10.1145/2554688.2554699 ◽

2014 ◽

Author(s):

Yosi Ben Asher ◽

Jacob Gendel ◽

Gadi Haber ◽

Oren Segal ◽

Yousef Shajrawi

Keyword(s):

Shared Memory ◽

Memory Architecture

Download Full-text

Improved algorithms for partitioning tree and linear task graphs on shared memory architecture

14th International Conference on Distributed Computing Systems ◽

10.1109/icdcs.1994.302437 ◽

2002 ◽

Author(s):

S. Ray ◽

Hong Jiang

Keyword(s):

Shared Memory ◽

Memory Architecture ◽

Download Full-text