E-LIB Suche - Ergebnisse für: Areias, Miguel

1

Yet Another Lock-Free Atom Table Design for Scalable Symbol..:

Moreno, Pedro ; Areias, Miguel ; Rocha, Ricardo.
International Journal of Parallel Programming. 52 (2024) 3 - p. 187-206 , 2024

Link: https://doi.org/10.1007/..

2

Automating microsatellite screening and primer design from ..:

Alves, Filipe ; Martins, Filipa M. S. ; Areias, Miguel.
Scientific Reports. 12 (2022) 1 - p. , 2022

Link: https://doi.org/10.1038/..

3

On the correctness of a lock-free compression-based elastic..:

Areias, Miguel ; Rocha, Ricardo
Computing. 104 (2022) 10 - p. 2279-2305 , 2022

Link: https://doi.org/10.1007/..

4

On the implementation of memory reclamation methods in a lo..:

Moreno, Pedro ; Areias, Miguel ; Rocha, Ricardo
Journal of Parallel and Distributed Computing. 155 (2021) - p. 1-13 , 2021

Link: https://doi.org/10.1016/..

5

On the correctness and efficiency of a novel lock-free hash..:

Areias, Miguel ; Rocha, Ricardo
Journal of Parallel and Distributed Computing. 150 (2021) - p. 184-195 , 2021

Link: https://doi.org/10.1016/..

6

A Compression-Based Design for Higher Throughput in a Lock-..:

, In: Euro-Par 2020: Parallel Processing; Lecture Notes in Computer Science,

Moreno, Pedro ; Areias, Miguel ; Rocha, Ricardo - p. 458-473 , 2020

Link: https://doi.org/10.1007/..

7

Multi‐dimensional lock‐free arrays for multithreaded mode‐d..:

Areias, Miguel ; Rocha, Ricardo
Concurrency and Computation: Practice and Experience. 31 (2018) 5 - p. , 2018

Link: https://doi.org/10.1002/..

8

Table space designs for implicit and explicit concurrent ta..:

AREIAS, MIGUEL ; ROCHA, RICARDO
Theory and Practice of Logic Programming. 18 (2018) 5-6 - p. 950-992 , 2018

Link: https://doi.org/10.1017/..

9

On scaling dynamic programming problems with a multithreade..:

Areias, Miguel ; Rocha, Ricardo
Journal of Systems and Software. 125 (2017) - p. 417-426 , 2017

Link: https://doi.org/10.1016/..

10

On the Implementation of a Cloud-Based Computing Test Bench..:

Gonçalves, Ricardo ; Areias, Miguel ; Rocha, Ricardo
Information. 8 (2017) 4 - p. 129 , 2017

Link: https://doi.org/10.3390/..

11

A Lock-Free Hash Trie Design for Concurrent Tabled Logic Pr..:

Areias, Miguel ; Rocha, Ricardo
International Journal of Parallel Programming. 44 (2015) 3 - p. 386-406 , 2015

Link: https://doi.org/10.1007/..

12

Batched evaluation of linear tabled logic programs:

Areias, Miguel ; Rocha, Ricardo
Computer Science and Information Systems. 10 (2013) 4 - p. 1775-1797 , 2013

Link: https://doi.org/10.2298/..

13

Network active management for load balacing based in a inte..:

, In: CIRED 2012 Workshop: Integration of Renewables into the Distribution Grid,

Melo, Francisco ; Pereira, Nuno Emanuel ; Areias, Miguel.. - p. 1-4 , 2012

Link: https://doi.org/10.1049/..

14

Towards multi-threaded local tabling using a common table s..:

AREIAS, MIGUEL ; ROCHA, RICARDO
Theory and Practice of Logic Programming. 12 (2012) 4-5 - p. 427-443 , 2012

Link: https://doi.org/10.1017/..

15

On combining linear-based strategies for tabled evaluation ..:

AREIAS, MIGUEL ; ROCHA, RICARDO
Theory and Practice of Logic Programming. 11 (2011) 4-5 - p. 681-696 , 2011

Link: https://doi.org/10.1017/..