阿雷亚斯 0001
人员信息
附属: 葡萄牙波尔图大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [公元11年] 阿雷亚斯 , 里卡多·罗查 :
关于散列trie设计中基于无锁压缩的弹性机制的正确性。 计算 104 ( 10 ) : 2279-2305 ( 2022 ) 2021 [公元10年] 阿雷亚斯 , 里卡多·罗查 :
一种新型无锁散列trie映射设计的正确性和效率。 J.并行分布式计算。 150 : 184-195 ( 2021 ) [公元9年] 佩德罗·莫雷诺 , 阿雷亚斯 , 里卡多·罗查 :
关于无锁散列trie设计中内存回收方法的实现。 J.并行分布式计算。 155 : 1-13 ( 2021 ) [第12条] 阿雷亚斯 , 里卡多·罗查 :
迈向弹性无锁散列测试设计。 ISPDC公司 2021 : 9-16 2020 [第11条] 佩德罗·莫雷诺 , 阿雷亚斯 , 里卡多·罗查 :
在无锁哈希映射中实现更高吞吐量的基于压缩的设计。 欧洲-保时捷 2020 : 458-473
2010 – 2019
2019 [j8] 阿雷亚斯 , 里卡多·罗查 :
Prolog中用于多线程模式定向表的多维无锁数组。 同意。 计算。 实际。 支出。 31 ( 5 ) ( 2019 ) [第10条] 佩德罗·莫雷诺 , 阿雷亚斯 , 里卡多·罗查 :
无锁哈希尝试的内存回收方法。 SBAC-PAD公司 2019 : 188-195 2018 [j7] 阿雷亚斯 , 里卡多·罗查 :
隐式和显式并发表计算的表空间设计。 理论与实践。 日志。 程序。 18 ( 5-6 ) : 950-992 ( 2018 ) 【c9】 阿雷亚斯 , 里卡多·罗查 :
关于扩展固定大小、持久和无锁散列映射设计以存储排序密钥。 ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018 : 415-422 [i4] 阿雷亚斯 , 里卡多·罗查 :
隐式和显式并发表求值的表空间设计。 CoRR公司 abs/1806.00441 ( 2018 ) 2017 [j6] 里卡多·贡萨尔维斯 , 阿雷亚斯 , 里卡多·罗查 :
Prolog系统基于云计算的测试平台环境的实现。 信息。 8 ( 4 ) : 129 ( 2017 ) [j5] 阿雷亚斯 , 里卡多·罗查 :
用多线程tabling Prolog系统解决动态编程问题。 J.系统。 柔和。 125 : 417-426 ( 2017 ) 【c8】 米格尔·若昂·冈萨韦斯·阿雷亚斯 , 里卡多·豪尔赫·戈麦斯·洛佩斯·达罗查 :
实现无锁、固定大小和持久哈希映射设计。 SBAC-PAD公司 2017 : 145-152 【c7】 里卡多·贡萨尔维斯 , 阿雷亚斯 , 里卡多·罗查 :
Prolog系统的自动化测试台环境。 石板 2017 : 2:1-2:13 2016 【j4】 阿雷亚斯 , 里卡多·罗查 :
并发表逻辑程序的无锁散列试验设计。 国际J并行程序。 44 ( 三 ) : 386-406 ( 2016 ) 2015 【b1】 阿雷亚斯 :
逻辑编程的多线程表格。 葡萄牙波尔图大学, 2015 【c6】 阿雷亚斯 , 里卡多·罗查 :
全共享多线程表格的批量评估。 石板 2015 : 113-124 2014 【c5】 阿雷亚斯 , 里卡多·罗查 :
表逻辑程序无锁可扩展尝试的正确性和效率。 PADL(PADL) 2014 : 168-183 [i3] 阿雷亚斯 , 里卡多·罗查 :
一种简单高效的并发制表无锁哈希试验设计。 CoRR公司 abs/1405.2850 ( 2014 ) 2013 [j3] 阿雷亚斯 , 里卡多·罗查 :
线性表格逻辑程序的批量计算。 计算。 科学。 信息系统。 10 ( 4 ) : 1775-1797 ( 2013 ) 2012 [注2] 阿雷亚斯 , 里卡多·罗查 :
使用公共表空间实现多线程本地制表。 理论与实践。 日志。 程序。 12 ( 4-5 ) : 427-443 ( 2012 ) 【c4】 阿雷亚斯 , 里卡多·罗查 :
用于逻辑程序多线程表评估的高效可扩展内存分配器。 ICPADS公司 2012 : 636-643 【c3】 阿雷亚斯 , 里卡多·罗查 :
关于扩展线性表格框架以支持批调度。 石板 2012 : 9-24 [i2] 阿雷亚斯 , 里卡多·罗查 :
使用公共表空间实现多线程本地制表。 CoRR公司 abs/1210.2282 ( 2012 ) 2011 [j1] 阿雷亚斯 , 里卡多·罗查 :
结合基于线性的策略对逻辑程序进行表格评估。 理论与实践。 日志。 程序。 11 ( 4-5 ) : 681-696 ( 2011 ) [i1] 阿雷亚斯 , 里卡多·罗查 :
逻辑程序表评估的组合线性策略。 CoRR公司 abs/1107.5030 ( 2011 ) 2010 【c2】 阿雷亚斯 , 里卡多·罗查 :
基于备选方案动态重排序的线性表格的高效实现。 PADL(PADL) 2010 : 279-293
2000 – 2009
2009 【c1】 阿雷亚斯 , 里卡多·罗查 :
提高表逻辑程序中确定性呼叫和应答的效率。 计划免疫分析 2009 : 113-125
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)