保罗·塞尔吉奥·洛佩斯·德索萨
人员信息
附属: 巴西圣保罗大学数学和计算机科学研究所
其他同名人员
保罗·苏扎 — 消歧页 Paulo Silas Severo de Souza公司 (又名:Paulo Souza 0002 ) -巴西阿雷格里港南里奥格兰德天主教大学
优化列表
2020年-今天
2024 [公元15年] 卢塞利亚·库尼亚(Lucélia Cunha da Rocha Santos) , Sarita Mazzini Bruschi公司 , 保罗·塞尔吉奥·洛佩斯·德索萨 , JóUeyama村 , 阿利森·德·耶稣·多斯桑托斯 , 杰兹里尔·索托·巴博萨 :
使用LoRa技术和亚马逊河物联网设备的车载Ad Hoc网络的性能分析。 Ad Hoc网络 152 : 103301 ( 2024 ) [公元14年] 海尔德·J·F·卢兹 , 保罗·S·L·苏扎 , 西蒙·苏扎(Simone R.S.Souza) :
CUDA编程模型的结构测试。 同意。 计算。 实际。 支出。 36 ( 14 ) ( 2024 ) 2023 [j13] 里卡多·费雷拉·维莱拉 , 乔·乔马·内托 , 维克托·雨果·圣地亚哥·科斯塔·平托 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 西蒙·多·罗西奥·森格·德索萨 :
支持并发软件测试数据生成的生物灵感优化。 同意。 计算。 实际。 支出。 35 ( 2 ) ( 2023 ) [公元49年] 马修斯·恩里克·迪亚斯·西里罗 , 古斯塔沃·萨伦西·德·卡瓦略·费雷拉 , 米歇尔·赫克尔·法里亚 , 亚历山大·蓬斯·德·奥利维拉 , 卡拉·罗伯塔·德·奥利维拉·卡瓦略 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
健康大亨:关于积极习惯的教育模拟游戏。 外商投资企业 2023 : 1-7 [公元48年] 米歇尔·赫克尔·法里亚 , 古斯塔沃·M·S·德·卡瓦略·费雷拉 , 马修斯·恩里克·迪亚斯·西里罗 , 亚历山大·蓬斯·德·奥利维拉 , 卡拉·罗伯塔·德·奥利维拉·卡瓦略 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
食物之战:基于游戏的学习传授健康的饮食习惯。 外商投资企业 2023 : 1-6 [公元47年] 古斯塔沃·M·S·德·卡瓦略·费雷拉 , 米歇尔·赫克尔·法里亚 , 马修斯·恩里克·迪亚斯·西里罗 , 亚历山大·蓬斯·德·奥利维拉 , 卡拉·罗伯塔·德·奥利维拉·卡瓦略 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
酶:关于酶和新陈代谢的教育游戏。 外商投资企业 2023 : 1-6 [公元46年] 亚历山大·蓬斯·德·奥利维拉 , 马修斯·恩里克·迪亚斯·西里罗 , 古斯塔沃·萨伦西·德·卡瓦略·费雷拉 , 米歇尔·赫克尔·法里亚 , 卡拉·罗伯塔·德·奥利维拉·卡瓦略 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
Metabuleiro:关于人体和健康饮食的数字棋盘游戏。 外商投资企业 2023 : 1-5 [公元45年] 维尼希乌斯·戈梅斯·费雷拉 , 凯奥·吉马朗斯·埃雷拉 , 西蒙·苏扎(Simone R.S.Souza) , 里卡多·里贝罗·多斯桑托斯 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
应用于物联网系统开发的软件测试:初步结果。 SAST公司 2023 : 113-122 2022 [公元12年] 西尔瓦娜·梅洛 , 尼塔洛·桑托斯 , 保罗·S·L·苏扎 , 西蒙·苏扎(Simone R.S.Souza) :
软件测试实践调查:巴西公司调查。 J.软件。 工程研究开发。 10 : 11:1-11:15 ( 2022 ) [公元11年] 玛丽亚·布里托 , 西蒙·R·S·苏扎 , 保罗·S·L·苏扎 :
机器人系统的集成测试。 柔和。 资格。 J。 30 ( 1 ) : 3-35 ( 2022 ) [电子2] 马塞洛·德·阿尔梅达·迈亚 , 法比亚诺·多拉萨 , 拉斐尔·迪亚斯·阿劳约 , 布伦奥·亚历山德罗·费雷拉·德米兰达 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 埃德娜·迪亚斯·卡内多 :
SAST 2022:第七届巴西系统和自动化软件测试研讨会,2022年10月3日至7日,巴西Uberlandia。 ACM公司 2022 ,国际标准图书编号 978-1-4503-9753-7 [目录] 2021 [公元10年] 西尔维亚M.D.迪亚兹 , 保罗·S·L·苏扎 , 西蒙·苏扎(Simone R.S.Souza) :
将通信事件结构化测试到消息传递并行程序的循环中。 同意。 计算。 实际。 支出。 33 ( 18 ) ( 2021 ) [公元9年] 马尔西奥·德拉马罗 , 圣·阿尔维斯·德·安德拉德 , 西蒙·多·罗西奥·森格·德索萨 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
并行执行程序以支持突变测试:一项复制研究。 国际期刊软件。 工程知识。 工程师。 31 ( 三 ) : 337-380 ( 2021 ) [公元44年] 安娜·卡罗琳·费尔南德斯·斯宾格勒 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
使用CouchDB对异构医疗数据存储的Hyperledger Fabric性能的影响。 CLEI公司 2021 : 1-10 2020 [公元43年] 戴维·何塞·孔戴 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 吉尔赫梅·马丁斯 , Sarita Mazzini Bruschi公司 :
计算机科学初学者并行编程教学。 外商投资企业 2020 : 1-9 [公元42年] 蒂亚戈·德·杰西斯·奥利维拉·杜雷斯 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 吉尔赫梅·马丁斯 , 戴维·何塞·孔戴 , 内勒·加西亚·巴奇埃加 , Sarita Mazzini Bruschi公司 :
并行计算教学研究:现状和未来方向。 外商投资企业 2020 : 1-9 [公元41年] 吉尔赫梅·马丁斯 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 戴维·何塞·孔戴 , Sarita Mazzini Bruschi公司 :
通过编程挑战学习并行编程。 外商投资企业 2020 : 1-9 [公元40年] 内勒·G·巴契加 , 保罗·塞尔吉奥·洛佩斯·德索萨 , Sarita Mazzini Bruschi公司 , 西蒙·多·罗西奥·森格·德索萨 :
集装箱共享容量的性能评估。 ICST研讨会 2020 : 114-123 [公元39年] 尼塔洛·桑托斯 , 席尔瓦娜·森塔·梅洛 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 西蒙·苏扎(Simone R.S.Souza) :
建立统一的属性目录,以指导软件测试技术选择行业。 ICST研讨会 2020 : 398-407 [公元38年] 尼塔洛·桑托斯 , 安德烈·B·P·富兰内蒂 , 西尔瓦娜·梅洛 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 马尔西奥·德拉马罗 , 西蒙·苏扎(Simone R.S.Souza) :
有助于改进并发软件测试技术的组合选择。 SAST公司 2020 : 69-78 [电子1] Calebe P.Bianchini公司 , 卡拉·奥斯托夫 , 保罗·苏扎 , 雷纳托·费雷拉 :
高性能计算系统第19届研讨会,2018年WSCAD,巴西圣保罗,2018年10月1日至3日,修订论文集。 计算机与信息科学中的通信 1171, 施普林格 2020 ,国际标准图书编号 978-3-030-41049-0 [目录]
2010 – 2019
2019 [j8] 西尔瓦娜·梅洛 , 杰弗里·卡弗 , 保罗·S·L·苏扎 , 西蒙·苏扎(Simone R.S.Souza) :
并发软件测试的实证研究:系统映射研究。 Inf.柔软。 Technol公司。 105 : 226-251 ( 2019 ) [公元37年] 维克托·雨果·圣地亚哥·C·平托 , 西蒙·苏扎(Simone R.S.Souza) , 保罗·S·L·苏扎 :
多租户SaaS系统的初步故障分类。 CCGRID公司 2019 : 178-187 [c36] 马修斯·恩里克·容奎拉·萨尔达尼亚 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
用于计数碰撞和成对交互的高性能算法。 ICCS(1) 2019 : 182-196 [公元35年] 西尔瓦娜·梅洛 , 菲利佩·莫拉 , 保罗·S·L·苏扎 , 西蒙·苏扎(Simone R.S.Souza) :
SeleCTT:选择并发软件测试技术的基础设施。 SAST公司 2019 : 62-71 [公元34年] 伊塔洛·桑托斯 , 西尔瓦娜·梅洛 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 西蒙·苏扎(Simone R.S.Souza) :
测试技术选择:系统绘图研究。 SBES公司 2019 : 347-356 [i1] 马修斯·恩里克·容奎拉·萨尔达尼亚 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
计算碰撞和成对相互作用的高性能算法。 CoRR公司 abs/1901.11204 ( 2019 ) 2018 [j7] 席尔瓦娜·森塔·梅洛 , 西蒙·多·罗西奥·森格·德索萨 , 菲利佩·萨曼霍 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
对多线程程序结构测试的贡献:覆盖标准、测试工具和实验评估。 柔和。 资格。 J。 26 ( 三 ) : 921-959 ( 2018 ) [c33] 内勒·G·巴契加 , 保罗·S·L·苏扎 , Sarita Mazzini Bruschi公司 , 西蒙·多·罗西奥·森格·德索萨 :
基于集装箱的绩效评估:调查与挑战。 IC2E公司 2018 : 398-403 [公元32年] Gesiel Rios洛佩斯 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 亚历山大·德尔贝姆 :
蛋白质结构预测高性能计算的系统映射。 VECPAR公司 2018 : 77-91 2017 [j6] 鲁道夫·阿达姆舒克·席尔瓦 , 西蒙·多·罗西奥·森格·德索萨 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
基于搜索的突变测试的系统综述。 Inf.柔软。 Technol公司。 81 : 19-35 ( 2017 ) [公元31年] 达尼洛·科斯塔·马里姆·塞古拉 , 拉斐尔·德索萨(Rafael de Souza)马厩 , Sarita Mazzini Bruschi公司 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
通过移动设备以协作方式提供计算服务-雾计算案例研究。 微软WiM 2017 : 117-121 [公元30年] 席尔瓦娜·森塔·梅洛 , 西蒙·多·罗西奥·森格·德索萨 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 杰弗里·卡弗 :
如何测试并发软件:选择测试技术的方法。 飞溅时的SEPS 2017 : 42-43 2016 [公元29年] 玛丽亚·布里托 , 马科斯·佩雷拉 , 西蒙·苏扎(Simone R.S.Souza) , 保罗·塞尔吉奥·洛佩斯·德索萨 :
集成软件测试数据生成的系统映射。 CIbSE公司 2016 : 229-242 [公元28年] 里卡多·费雷拉·维莱拉 , 保罗·S·L·苏扎 , 马尔西奥·德拉马罗 , 西蒙·苏扎(Simone R.S.Souza) :
Evidáncias sobre配置Algoritmos Genéticos para Geraçáo Automática de Dados de Test。 CIbSE公司 2016 : 243-256 [公元27年] 乔治·加布里埃尔·门德斯·杜拉多 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 拉斐尔·普拉多 , 拉斐尔·内格里索利·巴蒂斯塔 , 西蒙·苏扎(Simone R.S.Souza) , 朱利奥·塞扎尔·埃斯特雷拉 , Sarita Mazzini Bruschi公司 , 若昂·卢伦索 :
支持测试模型、标准和工具验证的Java消息传递基准套件。 ICCS系统 2016 : 2226-2230 [公元26年] 卡洛斯·埃米利奥·德安德拉德·卡乔 , 保罗·S·L·苏扎 , Sarita Mazzini Bruschi公司 , 埃伦·巴博萨 , 费尔南多·蒂索索 :
使用开放教育资源进行虚拟记忆教学的交互式方法。 囊 2016 : 225-231 [公元25年] 亚历山大·奥利维拉 , 保罗·S·L·苏扎 , 西蒙·苏扎(Simone R.S.Souza) :
ValiErlang:Erlang程序的结构测试工具。 SAST公司 2016 : 13:1-13:10 [公元24年] 西尔瓦娜·梅洛 , 保罗·S·L·苏扎 , 西蒙·苏扎(Simone R.S.Souza) :
并行软件测试的实证研究设计。 南卡罗来纳州SE-HPCCSE 2016 : 49 【c23】 维克多·H·S·C·品托 , 海尔德·J·F·卢兹 , 里卡多·奥利维拉 , 保罗·S·L·苏扎 , 西蒙·苏扎(Simone R.S.Souza) :
SaaS系统多租户体系结构的系统映射研究。 瑞典克朗 2016 : 396-401 2015 [j5] 西蒙·苏扎(Simone R.S.Souza) , 保罗·S·L·苏扎 , 玛丽亚·布里托 , 阿登尼索·达席尔瓦·西芒 , 埃德·萨卢斯卡 :
对并发程序的覆盖标准和可达性测试的一种新的复合方法的经验评估。 柔和。 测试。 验证可靠性。 25 ( 三 ) : 310-332 ( 2015 ) [公元22年] 拉斐尔·普拉多 , 保罗·S·L·苏扎 , 乔治·G·M·杜拉多 , 西蒙·苏扎(Simone R.S.Souza) , 朱利奥·塞扎尔·埃斯特雷拉 , Sarita Mazzini Bruschi公司 , 若昂·卢伦索 :
从java并发程序中提取静态和动态结构信息以进行覆盖测试。 CLEI公司 2015 : 1-8 【c21】 费尔南多·蒂索索 , Sarita Mazzini Bruschi公司 , 保罗·S·L·苏扎 , 埃伦·巴博萨 , 卡洛斯·埃米利奥·德·安德拉德·卡乔 :
遗忘症:记忆层次教学的学习对象。 外商投资企业 2015 : 1-7 [公元20年] 玛丽亚·布里托 , 马科斯·桑托斯 , 保罗·S·L·苏扎 , 西蒙·苏扎(Simone R.S.Souza) :
移动机器人系统的集成测试标准。 瑞典克朗 2015 : 182-187 [第19条] Silvana M.梅洛 , 西蒙·苏扎(Simone R.S.Souza) , 鲁道夫·席尔瓦 , 保罗·S·L·苏扎 :
实践中的并发软件测试:工具目录。 SIGSOFT的A-TEST FSE公司 2015 : 31-40 2014 【j4】 保罗·S·L·苏扎 , 西蒙·多·罗西奥·森格·德索萨 , 埃德·扎鲁斯卡 :
消息传递并发程序的结构测试:扩展测试模型。 同意。 计算。 实际。 支出。 26 ( 1 ) : 21-50 ( 2014 ) [第18条] 爱德华·马丁斯·德·奥利维拉 , 朱利奥·塞扎尔·埃斯特雷拉 , 布鲁诺·塔迪奥勒·奎恩 , 迪奥尼西奥·马查多·莱特·菲略 , 卢卡斯·琼奎拉·阿达米 , 路易斯·恩里克·努斯 , 路易斯·希德奥·瓦康塞洛斯·纳卡穆拉 , 拉斐尔·米拉·德奥利维拉·利巴迪 , 保罗·塞尔吉奥·洛佩斯·德索萨 , Stephan Reiff Marganiec公司 :
设计和实现容错技术以提高SOA中的QoS。 中国科学院 2014 : 37-45 2013 [j3] 丹尼尔·罗德里戈·费拉兹·博内蒂 , 亚历山大·德尔贝姆 , 冈萨洛·特拉维索 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
蛋白质结构预测遗传算法中的增强范德瓦尔斯计算。 同意。 计算。 实际。 支出。 25 ( 15 ) : 2170-2186 ( 2013 ) [第17条] 保罗·塞尔吉奥·洛佩斯·德索萨 , 西蒙·多·罗西奥·森格·德索萨 , 穆里洛·罗查 , 拉斐尔·普拉多 , 拉斐尔·内格里索利·巴蒂斯塔 :
具有消息传递和共享内存范例的并发程序中的数据流测试。 ICCS系统 2013 : 149-158 [第16条] 玛丽亚·布里托 , 西蒙·多·罗西奥·森格·德索萨 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
并行程序结构测试标准的成本和有效性的实证评估。 ICCS系统 2013 : 250-259 2012 [第15条] 鲁道夫·阿达姆舒克·席尔瓦 , 西蒙·多·罗西奥·森格·德索萨 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
MPI中并发程序的变异运算符。 LATW公司 2012 : 1-6 [第14条] 西尔瓦娜·梅洛 , 西蒙·多·罗西奥·森格·德索萨 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
多线程程序的结构测试:成本、强度和有效性的实验评估。 瑞典克朗 2012 : 476-479 2011 [第13条] 保罗·塞尔吉奥·洛佩斯·德索萨 , 布鲁诺·S·费萨尔 , 马科斯·何塞·桑塔纳 , 里贾纳·H·C·桑塔纳 , 乔纳森·德·马托斯 , 埃德·萨卢斯卡 :
Jerrymouse:Web服务请求的灵活动态分发工具。 IEEE SCC 2011 : 520-527 [第12条] 西蒙·多·罗西奥·森格·德索萨 , 玛丽亚·布里托 , 鲁道夫·席尔瓦 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 埃德·萨卢斯卡 :
并发软件测试研究:系统综述。 帕达德 2011 : 1-5 [第11条] 西蒙·多·罗西奥·森格·德索萨 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 马里奥·马查多 , 马里奥·卡米洛 , 阿登尼索·达席尔瓦·西芒 , 埃德·扎鲁斯卡 :
使用覆盖和可达性测试来提高并发程序测试质量。 瑞典克朗 2011 : 207-212 2010 [第10条] 丹尼尔·罗德里戈·费拉兹·博内蒂 , 亚历山大·德尔贝姆 , 冈萨洛·特拉维索 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
使用Celllists和MPI优化van der Waals计算。 IEEE进化计算大会 2010 : 1-7
2000 – 2009
2008 [注2] 西蒙·多·罗西奥·森格·德索萨 , 西尔维娅·里贾娜·维吉利奥 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 阿登尼索·达席尔瓦·西芒 , 亚历山大·塞奥林·豪森 :
消息传递并行程序的结构测试标准。 同意。 计算。 实际。 支出。 20 ( 16 ) : 1893-1916 ( 2008 ) 【c9】 菲利佩·萨曼霍 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 西蒙·多·罗西奥·森格·德索萨 , 阿登尼索·达席尔瓦·西芒 :
基于信号的多线程程序的结构测试。 ICCS(1) 2008 : 337-346 【c8】 保罗·塞尔吉奥·洛佩斯·德索萨 , 爱德华多·萨瓦贝 , 阿登尼索·达席尔瓦·西芒 , 西尔维娅·里贾娜·维吉利奥 , 西蒙·多·罗西奥·森格·德索萨 :
ValiPVM-用于PVM程序结构测试的图形工具。 PVM/MPI公司 2008 : 257-264 2006 [j1] 乔纳森·德·马托斯 , 爱德华多·博托拉托 , 小亚历山大·卡米洛。 , 乔安吉洛·马提尼 , 罗纳尔多·奥古斯托·拉拉·冈萨尔维斯 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
二进制SCF:基于SCF方法的GAMESS能量评估改进。 计算。 物理学。 Commun公司。 174 ( 1 ) : 1-16 ( 2006 ) 2005 【c7】 西蒙·多·罗西奥·森格·德索萨 , 西尔维娅·里贾娜·维吉利奥 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 阿德尼索·达席尔瓦·西蒙 , 蒂亚戈·布利斯科斯克·贡卡尔维斯 , 亚历山大·德梅洛·利马 , 亚历山大·塞奥林·豪森 :
ValiPar:消息传递并行程序的测试工具。 瑞典克朗 2005 : 386-391 2004 【c6】 保罗·塞尔吉奥·洛佩斯·德索萨 , Alceu de Souza Britto Jr.公司。 , 罗伯特·萨博林 , 西蒙·多·罗西奥·森格·德索萨 , 迪比奥·利安德罗·博尔赫斯 :
使用低成本并行集群计算的K-Means VQ算法。 并行和分布式计算及网络 2004 : 392-397 2003 【c5】 Alceu de Souza Britto Jr.公司。 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 罗伯特·萨博林 , 西蒙·多·罗西奥·森格·德索萨 , 迪比奥·利安德罗·博尔赫斯 :
使用集群计算的低成本并行K-Means VQ算法。 ICDAR公司 2003 : 839-843 2000 【b1】 保罗·塞尔吉奥·洛佩斯·德索萨 :
AMIGO:对进程调度领域的趋同作出贡献(AMIGO):Uma contribuiçao para a convergéncia naárea de escalonamento de processos)。 巴西圣保罗大学, 2000
1990 – 1999
1999 【c4】 保罗·塞尔吉奥·洛佩斯·德索萨 , 马科斯·何塞·桑塔纳 :
一种新的接近最佳性能的调度环境。 PDPTA公司 1999 : 2573-2579 【c3】 阿莱特·帕特里西亚·法瓦乔 , 马科斯·何塞·桑塔纳 , 里贾娜·海伦娜·卡洛奇·桑塔纳 , 保罗·塞尔吉奥·洛佩斯·德索萨 :
一种新的动态调度算法。 PDPTA公司 1999 : 3075-3078 1997 【c2】 保罗·苏扎 , 卢西亚诺·何塞·森格 , 马科斯·何塞·桑塔纳 , 里贾娜·海伦娜·卡鲁奇·桑塔纳 :
在Windows和LINUX环境下使用PVM评估个人高性能计算。 PVM/MPI公司 1997 : 49-56 1996 【c1】 马科斯·何塞·桑塔纳 , 里贾娜·海伦娜·卡鲁奇·桑塔纳 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 西蒙·多·罗西奥·森格·德索萨 :
Windows95并行虚拟机。 PVM公司 1996 : 288-295