Multi‐dimensional lock‐free arrays for multithreaded mode‐directed tabling in Prolog (English)
- New search for: Areias, Miguel
- New search for: Rocha, Ricardo
- New search for: Areias, Miguel
- New search for: Rocha, Ricardo
In:
Concurrency and Computation: Practice and Experience
;
31
, 5
;
2019
- Article (Journal) / Electronic Resource
-
Title:Multi‐dimensional lock‐free arrays for multithreaded mode‐directed tabling in Prolog
-
Contributors:Areias, Miguel ( author ) / Rocha, Ricardo ( author )
-
Published in:
-
Publisher:
-
Publication date:2019-03-10
-
Size:1 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 31, Issue 5
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
-
Multi‐dimensional lock‐free arrays for multithreaded mode‐directed tabling in PrologAreias, Miguel / Rocha, Ricardo et al. | 2019
-
High‐level parallel programming in a heterogeneous worldGarcia, J. Daniel / Llanos, Diego R. et al. | 2019
-
ATF: A generic directive‐based auto‐tuning frameworkRasch, Ari / Gorlatch, Sergei et al. | 2019
-
Issue Information| 2019
-
Extending smart containers for data locality‐aware skeleton programmingErnstsson, August / Kessler, Christoph et al. | 2019
-
Automatic runtime calculation of communications for data‐parallel expressions with periodic conditionsMoreton‐Fernandez, Ana / Gonzalez‐Escribano, Arturo et al. | 2019
-
Dissecting sequential programs for parallelization—An approach based on computational unitsAtre, Rohit / Ul‐Huda, Zia / Wolf, Felix / Jannesari, Ali et al. | 2019
-
Power‐aware pipelining with automatic concurrency controlTorquati, Massimo / De Sensi, Daniele / Mencagli, Gabriele / Aldinucci, Marco / Danelutto, Marco et al. | 2019
-
STMs in practice: Partial rollback vs pure abort mechanismsAnand, Anshu S. / Shyamasundar, R. K. / Peri, Sathya et al. | 2019