Parallel State Space Generation and Exploration on Shared-Memory Architectures

Lecture Notes in Computer Science - Computer Aided Systems Theory – EUROCAST 2005 ◽

10.1007/11556985_37 ◽

2005 ◽

pp. 275-280

Author(s):

Milan Češka ◽

Bohuslav Křena ◽

Tomáš Vojnar

Keyword(s):

State Space ◽

Shared Memory ◽

State Space Generation ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

Realising a concurrent object-based programming model on parallel virtual shared memory architectures

Programming Models for Massively Parallel Computers ◽

10.1109/pmmpc.1995.504345 ◽

2002 ◽

Cited By ~ 1

Author(s):

M. Fisher ◽

J. Keane

Keyword(s):

Shared Memory ◽

Programming Model ◽

Object Based ◽

Virtual Shared Memory ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

Analytic evaluation of shared-memory architectures

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2003.1178880 ◽

2003 ◽

Vol 14 (2) ◽

pp. 166-180 ◽

Cited By ~ 6

Author(s):

D.J. Sorin ◽

J.L. Lemon ◽

D.L. Eager ◽

M.K. Vernon

Keyword(s):

Shared Memory ◽

Analytic Evaluation ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

Adaptive software cache management for distributed shared memory architectures

[1990] Proceedings. The 17th Annual International Symposium on Computer Architecture ◽

10.1109/isca.1990.134515 ◽

2002 ◽

Cited By ~ 37

Author(s):

J.K. Bennett ◽

J.B. Carter ◽

W. Zwaenepoel

Keyword(s):

Shared Memory ◽

Distributed Shared Memory ◽

Cache Management ◽

Adaptive Software ◽

Memory Architectures ◽

Shared Memory Architectures ◽

Software Cache

Download Full-text

Or-Parallel Prolog on Distributed Shared-Memory Architectures

Implementations of Logic Programming Systems ◽

10.1007/978-1-4615-2690-2_14 ◽

1994 ◽

pp. 203-215

Author(s):

Fernando M. A. Silva

Keyword(s):

Shared Memory ◽

Distributed Shared Memory ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

Parallel algorithms for clustering biological graphs on distributed and shared memory architectures

International Journal of High Performance Computing and Networking ◽

10.1504/ijhpcn.2014.062724 ◽

2014 ◽

Vol 7 (4) ◽

pp. 241 ◽

Cited By ~ 5

Author(s):

Inna Rytsareva ◽

Timothy Chapman ◽

Ananth Kalyanaraman

Keyword(s):

Parallel Algorithms ◽

Shared Memory ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

Large in-memory cyber-physical security-related analytics via scalable coherent shared memory architectures

2011 IEEE Symposium on Computational Intelligence in Cyber Security (CICS) ◽

10.1109/cicybs.2011.5949414 ◽

2011 ◽

Cited By ~ 1

Author(s):

John R. Williams ◽

Sergio Herrero ◽

Christopher Leonardi ◽

Stephen Chan ◽

Abel Sanchez ◽

...

Keyword(s):

Shared Memory ◽

Physical Security ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

Complexity of the parallel Givens factorization on shared memory architectures

Lecture Notes in Computer Science - Optimal Algorithms ◽

10.1007/3-540-51859-2_9 ◽

1989 ◽

pp. 86-105 ◽

Cited By ~ 1

Author(s):

Michel Cosnard ◽

Mostafa Daoudi ◽

Yves Robert

Keyword(s):

Shared Memory ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

An Or-Parallel Logic Programming Machine for Non-shared Memory Architectures

Architektur und Betrieb von Rechensystemen - Informatik-Fachberichte ◽

10.1007/978-3-642-73451-9_17 ◽

1988 ◽

pp. 213-232

Author(s):

Johannes Engels

Keyword(s):

Logic Programming ◽

Shared Memory ◽

Parallel Logic Programming ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

Energy-Efficient Shared Memory Architectures for Multi-Processor Systems-On-Chip

Ultra Low-Power Electronics and Design ◽

10.1007/1-4020-8076-x_5 ◽

2005 ◽

pp. 84-102

Author(s):

Kimish Patel ◽

Alberto Macii ◽

Massimo Poncino

Keyword(s):

Shared Memory ◽

Energy Efficient ◽

Systems On Chip ◽

On Chip ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

Execution behavior analysis and performance improvement in shared-memory architectures

Proceedings of 1993 5th IEEE Symposium on Parallel and Distributed Processing ◽

10.1109/spdp.1993.395555 ◽

2002 ◽

Cited By ~ 2

Author(s):

X. Zhang ◽

K. He ◽

G. Butchee

Keyword(s):

Behavior Analysis ◽

Shared Memory ◽

Performance Improvement ◽

And Performance ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text