若昂·卢伦索
人员信息
其他同名人员
若昂·维克托·劳伦索·阿奎尔 乔·卡洛斯·卢伦索 乔·里卡多·卢伦索 Joao Carlos M.C.Lourenco先生 若昂·路易斯·洛伦科 若昂·莫塔·卢伦索 若昂·卢伦索(Joáo Lourenço Marques) 乔·里贝罗 0002 (又名:乔·里贝罗 0001 (Joáo Miguel Lourenço Ribeiro) — 葡萄牙里斯本大学高等教育学院 (还有4个) 乔·洛伦索·席尔瓦
优化列表
2020年–今天
2024 [公元19年] 安德烈·德·马托斯·佩德罗 , 托马斯·席尔瓦 , 蒂亚戈·塞奎拉 , 若昂·卢伦索 , 乔·科斯塔·塞科 , 卡拉·费雷拉 :
使用非线性SAT解算器监测时空特性。 国际期刊软件。 技术工具。 Transf公司。 26 ( 2 ) : 169-188 ( 2024 ) [i12] 安德烈·科斯塔 , 努诺·M·普雷古伊萨 , 乔·卢伦索 :
FLeeC:一种快速无锁应用程序缓存。 CoRR公司 腹肌/2406.09428 ( 2024 ) 2023 [公元18年] 布鲁诺·罗梅拉 , 里卡多·M·R·阿多 , 贾娜·尼德 , Qusay Raghib Ali Al Taai公司 , 张维康 , 罗伯特·哈德菲尔德 , 爱德华·瓦西格 , 马特杰·海达 , 安东尼奥·赫塔多 , 叶卡捷琳娜·马利舍娃 , 维克托·多洛斯·卡扎迪拉 , 若昂·卢伦索 , D.卡斯特罗·阿尔维斯 , 何塞·M·L·菲格雷多 , 伊格纳西奥·奥尔特加·皮旺卡 , 朱利安·贾瓦洛伊斯 , 斯图亚特·爱德华兹 , J.伊万·戴维斯 , 福克特·霍斯特 , 伯特·J·奥夫林 :
灵感来源于大脑的纳米光子尖峰计算:挑战和前景。 神经形态。 计算。 工程师。 三 ( 三 ) : 33001 ( 2023 ) [公元54年] 弗朗西斯科·卡尔迪拉 , 若昂·卢伦索 , 特蕾莎·尚贝尔 :
快乐还是悲伤,微笑还是绘画:基于情绪的电影的多模式搜索和视觉化。 VISIGRAPP(2:轮毂) 2023 : 85-97 [公元53年] 若昂·卢伦索 , 安东尼奥·里托·席尔瓦 :
微服务识别的整体发展历史:比较分析。 ICWS公司 2023 : 50-56 [第52条] 特蕾莎·尚贝尔 , 弗朗西斯科·卡尔迪拉 , 若昂·卢伦索 :
快乐或悲伤,微笑或绘画,多模式搜索和基于情绪的电影视觉化。 IMX研讨会 2023 : 109 [i11] 马哈茂德·塔瓦科利 , 安德烈·赛尤克 , 若昂·卢伦索 , 佩德罗·内托 :
用于抓取应用的拟人手指:柔软皮肤中的3D打印内骨骼。 CoRR公司 abs/2304.06517 ( 2023 ) 2022 [公元17年] 卡洛斯·维加斯 , 巴巴克·切赫 , 何塞·安德拉德 , 若昂·卢伦索 :
用于森林消防的多旋翼和喷水推进联合系链无人机。 J.智力。 机器人系统。 104 ( 2 ) : 21 ( 2022 ) [第51条] 安德烈·德·马托斯·佩德罗 , 托马斯·席尔瓦 , 蒂亚戈·塞奎拉 , 若昂·卢伦索 , 乔·科斯塔·塞科 , 卡拉·费雷拉 :
用非线性SAT解算器监测时空特性。 飞行管理信息系统 2022 : 155-171 [公元50年] 弗朗西斯科·卡尔迪拉 , 若昂·卢伦索 , 努诺·塔瓦雷斯·席尔瓦 , 特蕾莎·尚贝尔 :
基于情感的电影多模式搜索与可视化。 IMX公司 2022 : 349-356 [i10] 若昂·卢伦索 , 安东尼奥·里托·席尔瓦 :
微服务识别的整体发展历史:比较分析。 CoRR公司 abs/2212.11656 ( 2022 ) 2021 [公元16年] 乔·席尔瓦 , 菲利佩·塞奎拉 , 埃尔维·保利诺 , 乔·卢伦索 , 约昂·莱特昂 , 努诺·M·普雷古伊萨 :
它是关于Thyme的:关于为普及边缘计算环境设计和实现一个具有时间意识的反应式存储系统。 未来一代。 计算。 系统。 118 : 14-36 ( 2021 ) [公元49年] 若昂·卢伦索 , 乔·特谢拉 , 保罗·卡瓦略 , 路易斯·帕杜瓦 , Telmo Adáo公司 , 伊曼纽尔·佩雷斯 , 若阿金·若昂·索萨 :
虚拟环境与精准葡萄栽培:案例研究。 IGARSS公司 2021 : 7035-7038 [第九章] 马特杰·海达 , 胡安·阿图罗·阿拉尼斯 , 伊格纳西奥·奥尔特加·皮旺卡 , 若昂·卢伦索 , 何塞·M·L·菲格雷多 , 朱利安·贾瓦洛伊斯 , 布鲁诺·罗梅拉 , 安东尼奥·赫塔多 :
用于神经形态信息处理的共振隧穿二极管纳米光电尖峰节点。 CoRR公司 abs/2107.06721 ( 2021 ) 2020 [公元48年] 安托尼奥·特奥菲罗 , 乔·卢伦索 , 埃尔维·保利诺 :
RedMesh:一种用于大规模场景的WiFi直接网络形成算法。 MobiQuitous公司 2020 : 147-157 [i8] 蒂亚戈·M·维尔 , 约昂·莱特昂 , 努诺·M·普雷古伊萨 , 罗德里戈·罗德里格斯 , 里卡多·J·迪亚斯 , 乔·卢伦索 :
懒惰状态确定:用于争用线性化事务的更多并发性。 CoRR公司 abs/2007.09733 ( 2020 )
2010 – 2019
2019 [j15] 塞萨尔·桑切斯 , 杰拉尔多·施奈德 , 沃尔夫冈·阿伦特 , 埃齐奥·巴托西 , 多梅尼科·比安库利 , 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 , 阿德里安·弗兰卡兰扎 , 斯丹·克里斯蒂 , 乔·卢伦索 , 德扬·尼科维奇 , 戈登·J·佩斯 , 何塞·鲁菲诺 , 朱利安·西莫尔斯 , 德米特里·特拉泰尔 , 亚历山大·维斯 :
高级应用程序域(软件以外)的运行时验证挑战调查。 形式方法系统。 设计。 54 ( 三 ) : 279-335 ( 2019 ) [公元14年] 塞萨尔·桑切斯 , 杰拉尔多·施奈德 , 沃尔夫冈·阿伦特 , 埃齐奥·巴托西 , 多梅尼科·比安库利 , 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 , 阿德里安·弗兰卡兰扎 , 斯丹·克里斯蒂 , 乔·卢伦索 , 德扬·尼科维奇 , 戈登·J·佩斯 , 何塞·鲁菲诺 , 朱利安·西莫尔斯 , 德米特里·特拉泰尔 , 亚历山大·维斯 :
更正为:对来自高级应用程序域(软件以外)的运行时验证挑战的调查。 形式方法系统。 设计。 55 ( 1 ) : 72 ( 2019 ) [公元47年] 乔·席尔瓦 , 埃尔维·保利诺 , 乔·卢伦索 , 约昂·莱特昂 , 努诺·M·普雷古伊萨 :
无线边缘环境中的实时响应式存储。 MobiQuitous公司 2019 : 238-247 [i7] 沃尔夫冈·阿伦特 , 西里尔·阿瑟 , 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 , 斯丹·克里斯蒂 , 马丁·勒克 , 弗洛里安·洛伯 , 乔·卢伦索 , 莱昂纳多·马里亚尼 , 塞萨尔·桑切斯 , 杰拉尔多·施奈德 , 沃尔克·斯托尔茨 :
COST Action IC 1402 ArVI:监控之外的运行时验证-工作组1的活动报告。 CoRR公司 abs/1902.03776 ( 2019 ) 2018 [公元46年] 乔·卢伦索 :
使用合同验证Real-World软件的并发性。 ISoLA(4) 2018 : 70-73 [第2页] 乔·卢伦索 , 简·费多尔 , 博胡斯拉夫·克雷纳 , 托马斯·沃伊纳 :
发现并发错误。 运行时验证讲座 2018 : 34-60 [i6] 乔·席尔瓦 , 埃尔维·保利诺 , 乔·卢伦索 , 约昂·莱特昂 , 努诺·M·普雷古伊萨 :
移动设备网络的Time-Aware发布/订阅。 CoRR公司 abs/1801.00297 ( 2018 ) [i5] 巴蒂西亚·蒙泰罗 , 若昂·卢伦索 , 安托尼奥·拉瓦拉 :
《记忆之路》(Uma análise comparativa de ferramats de aálise-estática para deteço de erros de memória)。 CoRR公司 abs/1807.08015 ( 2018 ) [i4] 塞萨尔·桑切斯 , 杰拉尔多·施奈德 , 沃尔夫冈·阿伦特 , 埃齐奥·巴托西 , 多梅尼科·比安库利 , 克里斯蒂安·科伦坡 , 伊利耶斯·法尔科内 , 阿德里安·弗兰卡兰扎 , 斯丹·克里斯蒂 , 乔·卢伦索 , 德扬·尼科维奇 , 戈登·J·佩斯 , 何塞·鲁菲诺 , 朱利安·西莫尔斯 , 德米特里·特拉泰尔 , 亚历山大·维斯 :
高级应用程序域(超越软件)的运行时验证挑战调查。 CoRR公司 abs/1811.06740 ( 2018 ) 2017 [公元45年] 里卡多·J·迪亚斯 , 卡拉·费雷拉 , 简·费多尔 , 乔·卢伦索 , 亚历斯·斯姆卡 , 迪奥戈·苏萨 , 托马斯·沃伊纳 :
使用合同验证并发程序。 ICST公司 2017 : 196-206 [公元44年] 菲利佩·塞奎拉 , 乔·席尔瓦 , 乔·卢伦索 , 埃尔维·保利诺 :
面向移动设备网络的持久发布/订阅系统。 MECC@中间件 2017 : 2:1-2:6 [公元43年] 安托尼奥·特奥菲罗 , 迪奥戈·雷梅迪奥斯 , 乔·卢伦索 , 埃尔维·保利诺 :
GOCRGO和GOGO:WiFi直接多组网络的两种最小通信拓扑。 MobiQuitous公司 2017 : 232-241 2016 [j13] 努诺·里卡多·科斯塔 , 若昂·卢伦索 :
高斯过程模型——响应面方法的探索性研究。 资格。 Reliab公司。 工程国际。 32 ( 7 ) : 2367-2380 ( 2016 ) [公元12年] 蒂亚戈·M·维尔 , 乔·席尔瓦 , 里卡多·J·迪亚斯 , 乔·卢伦索 :
锅:确定性事务执行。 ACM事务处理。 阿基特。 代码优化。 13 ( 4 ) : 52:1-52:24 ( 2016 ) [公元42年] 乔治·加布里埃尔·门德斯·杜拉多 , 保罗·塞尔吉奥·洛佩斯·德索萨 , 拉斐尔·普拉多 , 拉斐尔·内格里索利·巴蒂斯塔 , 西蒙·苏扎(Simone R.S.Souza) , 朱利奥·塞扎尔·埃斯特雷拉 , Sarita Mazzini Bruschi公司 , 若昂·卢伦索 :
支持测试模型、标准和工具验证的Java消息传递基准套件。 ICCS系统 2016 : 2226-2230 [公元41年] 若昂·卢伦索 , 莱昂纳多·马丁斯 , 鲁伊·阿尔梅达 , 克洛伊迪亚·夸雷斯马 , 人佩德罗·维埃拉 :
生物医学应用中用于运动捕捉的低成本惯性测量单元。 DoCEIS公司 2016 : 151-158 [公元40年] 乔·席尔瓦 , 约昂·莱特昂 , 努诺·M·普雷古伊萨 , 乔·卢伦索 , 埃尔维·保利诺 :
走向移动自组织网络与基础设施接入的机会主义结合。 MECC@中间件 2016 : 三 [公元39年] 路易斯·奥罗萨 , 若昂·卢伦索 :
检测、暴露和容忍高水平数据种族的硬件方法。 产品开发计划 2016 : 159-167 [公元38年] 乔·席尔瓦 , 里卡多·蒙泰罗 , 埃尔维·保利诺 , 乔·卢伦索 :
手持设备网络的临时数据存储。 Trustcom/BigDataSE/ISPA 2016 : 1106-1113 [i3] 蒂亚戈·M·维尔 , 乔·席尔瓦 , 里卡多·J·迪亚斯 , 乔·卢伦索 :
锅:确定性事务执行。 CoRR公司 abs/1612.07702 ( 2016 ) 2015 [公元11年] 埃坦·法基 , 罗伯特·海伦斯 , 若昂·卢伦索 :
并发程序的测试、分析和调试专题。 柔和。 测试。 验证可靠性。 25 ( 三 ) : 165-166 ( 2015 ) [公元37年] 拉斐尔·普拉多 , 保罗·苏扎 , 乔治·G·M·杜拉多 , 西蒙·苏扎(Simone R.S.Souza) , 朱利奥·塞扎尔·埃斯特雷拉 , Sarita Mazzini Bruschi公司 , 若昂·卢伦索 :
从java并发程序中提取静态和动态结构信息以进行覆盖测试。 CLEI公司 2015 : 1-8 [公元36年] 简·费多尔 , 兹德内克·莱特科 , 若昂·卢伦索 , 托马斯·沃伊纳 :
并发代码中合同的动态验证。 欧洲广播公司 2015 : 555-564 [公元35年] 乔·席尔瓦 , 蒂亚戈·M·维尔 , 里卡多·J·迪亚斯 , 埃尔维·保利诺 , 若昂·卢伦索 :
支持分布式事务内存中的多个数据复制模型。 ICDCN公司 2015 : 11:1-11:10 [公元34年] 安托尼奥·特奥菲罗 , 迪奥戈·雷梅迪奥斯 , 埃尔维·保利诺 , 若昂·卢伦索 :
具有两个中继节点的组对组双向Wi-Fi直接通信。 MobiQuitous公司 2015 : 275-276 [公元33年] 迪奥戈·雷梅迪奥斯 , 安托尼奥·特奥菲罗 , 埃尔维·保利诺 , 若昂·卢伦索 :
使用数据集的移动设备到设备分布式计算。 MobiQuitous公司 2015 : 297-298 [公元32年] 里卡多·蒙泰罗 , 乔·席尔瓦 , 若昂·卢伦索 , 埃尔维·保利诺 :
手持设备网络的分散存储。 MobiQuitous公司 2015 : 299-300 [公元31年] 乔·席尔瓦 , 若昂·卢伦索 , 埃尔维·保利诺 :
在多版本部分数据复制中提升局部性。 囊 2015 : 1309-1314 [第1页] 里卡多·J·迪亚斯 , 蒂亚戈·M·维尔 , 乔·卢伦索 :
高效实现多版本算法的框架支持。 事务型内存 2015 : 166-191 [i2] 迪奥戈·苏萨 , 里卡多·J·迪亚斯 , 卡拉·费雷拉 , 若昂·卢伦索 :
防止原子性违反合同。 CoRR公司 abs/1505.02951 ( 2015 ) 2014 [公元30年] 简·费多尔 , 兹德内克·莱特科 , 若昂·卢伦索 , 托马斯·沃伊纳 :
关于监视C/C++事务性内存程序。 MEMICS公司 2014 : 73-87 2013 [公元10年] 里卡多·J·迪亚斯 , 蒂亚戈·M·维尔 , 若昂·卢伦索 :
有效支持Java软件事务内存中的就地元数据。 同意。 计算。 实际。 支出。 25 ( 17 ) : 2394-2411 ( 2013 ) [公元29年] 乔·索尔斯 , 若昂·卢伦索 , 努诺·M·普雷古伊萨 :
MacroDB:在多核上扩展数据库引擎。 欧洲-保时捷 2013 : 607-619 [公元28年] 乔·索尔斯 , 若昂·卢伦索 , 努诺·M·普雷古伊萨 :
用于改进容错性的软件组件复制:多核处理器能使其工作吗? EWDC公司 2013 : 173-180 [公元27年] 蒂亚戈·M·维尔 , 里卡多·J·迪亚斯 , 若昂·卢伦索 :
复制软件事务存储器中全序广播实现的相关性。 MUSEPAT公司 2013 : 49-60 [公元26年] 乔·米格尔·莱莫斯·查斯克拉·纳拜斯 , 鲁迪·内根伯恩 , 拉斐尔·贝纳多·卡莫娜·贝尼特斯 , 路易斯·门登萨 , 若昂·卢伦索 , 米格尔·阿亚拉·博托 :
使用预测拉动流观点的供应链多代理控制体系结构。 PAAMS(研讨会) 2013 : 94-105 [电子5] 若昂·卢伦索 , 埃坦·法基 :
2013年8月19-20日,俄罗斯圣彼得堡,2013年MUSEPAT,多核软件工程、性能和工具国际会议。 诉讼程序。 计算机科学课堂讲稿 8063, 施普林格 2013 ,国际标准图书编号 978-3-642-39954-1 [目录] 2012 [公元9年] 努诺·里卡多·科斯塔 , 若昂·卢伦索 , 祖勒马·洛佩斯·佩雷拉 :
响应建模和优化标准影响多个质量特性的优化。 计算。 工业工程。 62 ( 4 ) : 927-935 ( 2012 ) [j8] 努诺·里卡多·科斯塔 , 若昂·卢伦索 , 祖勒马·洛佩斯·佩雷拉 :
多响应优化和帕累托前沿。 资格。 Reliab公司。 工程国际。 28 ( 7 ) : 701-712 ( 2012 ) [公元25年] 里卡多·J·迪亚斯 , 迪诺·迪斯特法诺 , 乔·科斯塔·塞科 , 若昂·卢伦索 :
事务内存Java程序中快照隔离的验证。 ECOOP公司 2012 : 640-664 [公元24年] 里卡多·J·迪亚斯 , 蒂亚戈·M·维尔 , 若昂·卢伦索 :
高效支持事务存储器中的就地元数据。 欧洲-保时捷 2012 : 589-600 [c23] 里卡多·J·迪亚斯 , 瓦斯科·佩桑哈 , 若昂·卢伦索 :
原子性违规的精确检测。 海法核查会议 2012 : 8-23 [公元22年] 埃坦·法基 , 伊泰·塞格尔 , 若昂·卢伦索 , 迪奥戈·索萨 :
使用程序闭包使应用程序编程接口(API)实现线程安全。 帕达德 2012 : 18-24 [电子4] 科尔斯汀·埃德尔 , 若昂·卢伦索 , Onn Shehory公司 :
硬件和软件:验证和测试-第七届国际海法验证会议,HVC 2011,以色列海法,2011年12月6-8日,修订论文集。 计算机科学课堂讲稿 7261, 施普林格 2012 ,国际标准图书编号 978-3-642-34187-8 [目录] 2011 [j7] 若昂·卢伦索 , 迪奥戈·索萨 , 布鲁诺·C·特谢拉 , 里卡多·J·迪亚斯 :
检测事务性内存程序中的并发异常。 计算。 科学。 信息系统。 8 ( 2 ) : 534-548 ( 2011 ) 【c21】 瓦斯科·佩桑哈 , 里卡多·J·迪亚斯 , 若昂·卢伦索 , 埃坦·法基 , 迪奥戈·索萨 :
事务内存程序中高级数据竞赛的实际验证。 帕达德 2011 : 26-34 [公元20年] 若昂·卢伦索 , 汉娜·蒂尼恩 :
低成本三维手势界面的评估:Wii3D。 SAICSIT公司 2011 : 298-301 [电子3] 若昂·卢伦索 , 埃坦·法基 :
2011年7月17日至21日,加拿大安大略省多伦多市,《第九届并行和分布式系统研讨会论文集:测试、分析和调试》,PADTAD 2011。 ACM公司 2011 ,国际标准图书编号 978-1-4503-0809-0 [目录] 2010 [j6] 路易斯·戈麦斯 , 若昂·卢伦索 :
基于Petri网的控制器图形用户界面的快速原型制作。 IEEE传输。 Ind.Electron公司。 57 ( 5 ) : 1806-1813 ( 2010 ) [第19条] 埃尔维·保利诺 , 乔·安德烈·马丁斯 , 若昂·卢伦索 , 努诺·杜罗 :
SmART:应用程序重新配置框架。 CSDM公司 2010 : 73-84 [第18条] 若昂·卢伦索 :
了解事务性内存(扩展抽象)。 海法核查会议 2010 : 1-2 [第17条] 约夫·霍兰德 , 艾伦·J·胡 , 若昂·卢伦索 , 罗尼·莫拉德 :
调试专题会议。 海法核查会议 2010 : 24-28 [第16条] 布鲁诺·C·特谢拉 , 若昂·卢伦索 , 埃坦·法基 , 里卡多·J·迪亚斯 , 迪奥戈·索萨 :
使用静态分析检测事务性内存异常。 PDATAD(PDATAD) 2010 : 26-36 [第15条] 努诺·杜罗 , 鲁伊·桑托斯 , 若昂·卢伦索 , 埃尔维·保利诺 , 乔·马丁斯 :
用于测试地面系统的开放虚拟化框架。 PDATAD(PDATAD) 2010 : 67-73 [电子2] 若昂·卢伦索 :
《第八届并行和分布式系统研讨会论文集:测试、分析和调试》,PADTAD 2010,意大利特伦托,2010年7月12日至16日。 ACM公司 2010 ,国际标准图书编号 978-1-4503-0136-7 [目录]
2000 – 2009
2009 [第14条] 里卡多·J·迪亚斯 , 若昂·卢伦索 :
统一内存和数据库事务。 欧洲-保时捷 2009 : 349-360 [第13条] 若昂·卢伦索 , 里卡多·J·迪亚斯 , 乔·路易斯 , 米盖尔·雷贝洛 , 瓦斯科·佩桑哈 :
了解事务性内存应用程序的行为。 帕达德 2009 2008 [j5] 里卡多·J·迪亚斯 , 若昂·卢伦索 , 贡萨洛·库尼亚 :
使用软件事务性内存开发库。 计算。 科学。 信息系统。 5 ( 2 ) : 103-117 ( 2008 ) [第12条] 若昂·卢伦索 , 路易斯·戈麦斯 :
输入输出位置转换Petri网模型的动画图形用户界面生成器框架。 Petri网 2008 : 409-418 [第11条] 马里奥斯·迪凯亚科斯 , 奥马尔·拉纳 , Shmuel Ur公司 , 若昂·卢伦索 :
主题1:支持工具和环境。 欧洲-保时捷 2008 : 1-2 [c10] 努诺·M·普雷古伊萨 , 罗德里戈·罗德里格斯 , 克里斯托夫·霍诺拉托 , 若昂·卢伦索 :
拜占庭:拜占庭容错数据库复制提供快照隔离。 HotDep公司 2008 2007 【c9】 若昂·卢伦索 , 贡萨洛·库尼亚 :
软件事务性内存引擎的测试模式。 帕达德 2007 : 36-42 2005 [电子1] 何塞·C·库尼亚 , 威廉·弗利什曼 , 维埃拉·普鲁克斯 , 若昂·卢伦索 :
2005年6月27日至29日在葡萄牙卡帕里卡举行的第十届SIGCSE计算机科学教育创新与技术年会论文集,ITiCSE 2005。 ACM公司 2005 ,国际标准图书编号 1-59593-024-8 [目录] 2003 [i1] 若昂·卢伦索 , 何塞·C·库尼亚 , 维托·莫雷拉 :
使用Fiddle控制和调试分布式程序。 CoRR公司 反恐精英。 DC/0309049 ( 2003 ) 2001 【j4】 维托·杜阿尔特 , 若昂·卢伦索 , 何塞·C·库尼亚 :
支持在线分布式监测和调试。 并行分布式计算。 实际。 4 ( 三 ) ( 2001 ) 【c8】 若昂·卢伦索 , 何塞·C·库尼亚 :
Fiddle:一种灵活的分布式调试体系结构。 国际计算科学会议(2) 2001 : 821-830
1990 – 1999
1999 [j3] 何塞·C·库尼亚 , 若昂·卢伦索 , 蒂亚戈·R·安托 :
工具集成实验:DDBG并行和分布式调试器。 J.系统。 阿奇特。 45 ( 11 ) : 897-907 ( 1999 ) 【c7】 何塞·C·库尼亚 , 佩德罗·梅德罗斯 , 维托·杜阿尔特 , 若昂·卢伦索 , 玛丽亚·塞西莉亚·戈麦斯 :
构建并行和分布式问题解决环境的经验。 PDPTA公司 1999 : 1804-1809 1998 [注2] 何塞·C·库尼亚 , 若昂·卢伦索 , 维托·杜阿尔特 :
使用DDBG支持测试和高级调试接口。 计算。 Artif公司。 因特尔。 17 ( 5 ) : 429-439 ( 1998 ) 【c6】 何塞·C·库尼亚 , 若昂·卢伦索 , 若昂·维埃拉 , 布鲁诺·莫斯科奥 , 丹尼尔·白瑞拉 :
支持并行和分布式调试的框架。 HPCN欧洲 1998 : 708-717 【c5】 何塞·C·库尼亚 , 佩德罗·梅德罗斯 , 若昂·卢伦索 , 维托·杜阿尔特 , 若昂·维埃拉 , 布鲁诺·莫斯科奥 , 丹尼尔·白瑞拉 , 鲁伊·瓦兹 :
DOTPAR项目:建立一个支持面向领域的并行和分布式处理工具的框架。 HPCN欧洲 1998 : 952-954 【c4】 何塞·C·库尼亚 , 若昂·卢伦索 :
关于并行和分布式处理的综合课程。 SIGCSE公司 1998 : 217-221 【c3】 若昂·卢伦索 , 何塞·C·库尼亚 :
用于并行和分布式程序的PDBG进程级调试器。 SPDT公司 1998 : 154 1997 [j1] 佩特卡苏克 , 何塞·C·库尼亚 , 戈博尔·多萨 , 若昂·卢伦索 , 蒂博·法吉亚斯 , 蒂亚戈·R·安托 :
并行程序的图形化开发和调试环境。 并行计算。 22 ( 13 ) : 1747-1770 ( 1997 ) 【c2】 若昂·卢伦索 , 何塞·C·库尼亚 , 亨利克·克劳茨克 , 彼得罗·库佐拉 , 马辛·内曼 , 博格丹·维兹涅夫斯基 :
用于并行和分布式程序的集成测试和调试环境。 欧洲微生物公司 1997 : 291- 1996 【c1】 扬·奎亚特科夫斯基 , 马雷克·安德鲁斯·基维茨(Marek Andruszkiewicz) , 埃米利奥·卢克 , 汤姆的玛格丽夫 , 何塞·C·库尼亚 , 若昂·卢伦索 , 亨利克·克劳茨克 , 斯坦尼斯拉夫·舍伊科 :
教学并行处理:开发课程和软件工具。 ITiCSE公司 1996 : 159-161