Shared Memory Implementation of the Gamma-Operation

By Gladitz K.   Kuchen H.  

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 577-591

Academic Press

Access to resources Recommend Favorite

CTL^* model checking on a shared-memory architecture

By Inggs Cornelia   Barringer Howard  

Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. : 135-155

Springer Publishing Company

Access to resources Recommend Favorite

Efficient shared-memory support for parallel graph reduction

By Bennett A.J.   Kelly P.H.J.  

Future Generation Computer Systems, Vol. 12, Iss. 6, 1997-06 ,pp. : 481-503

Elsevier

Access to resources Recommend Favorite

Distributed- and shared-memory parallelizationsof assignment-based data association formultitarget tracking

By Popp R.L.   Pattipati K.R.   Bar-Shalom Y.  

Annals of Operations Research, Vol. 90, Iss. 1, 1999-01 ,pp. : 293-322

Springer Publishing Company

Access to resources Recommend Favorite

Scalable barrier synchronisation for large-scale shared-memory multiprocessors

By Fang Zhen   Zhang Lixin   Carter John B.   Parker Mike  

International Journal of High Performance Computing and Networking, Vol. 1, Iss. 1-2, 2005-08 ,pp. : 33-42

Inderscience Publishers

Access to resources Recommend Favorite