马蒂厄·莫伊
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元30年] 乌萨马·乌尔凯德 , 布鲁诺·费雷斯 , 马蒂厄·莫伊 , 帕斯卡·雷蒙德 , 梅迪·科斯拉维 , 卢多维克·亨利奥 , 加布里埃尔·拉丹 :
通过SMT求解进行电气规则检查的晶体管级关系语义。 日期 2024 : 1-6 2023 [公元29年] 布鲁诺·费雷斯 , 乌萨马·乌尔凯德 , 卢多维克·亨利奥 , Mehdi Khosravian Ghadikolaei公司 , 马蒂厄·莫伊 , 加布里埃尔·拉丹 , 帕斯卡·雷蒙德 :
使用满意模理论对集成电路进行电气规则检查。 日期 2023 : 1-2 2022 [j7] 尼古拉斯·查普 , 卢多维克·亨利奥 , 阿默里·梅勒 , 马蒂厄·莫伊 , 哈德里安·雷诺 :
对未来的优化流动:从理论到实践。 艺术科学。 工程计划。 6 ( 1 ) : 三 ( 2022 ) 2021 [j6] 加布里埃尔·巴斯诺 , Tanguy Sassolas公司 , 尼古拉斯·文特鲁 , 马蒂厄·莫伊 :
松散时间事务级模型的标准兼容并行SystemC模拟:从裸机到基于Linux的应用程序支持。 集成。 79 : 23-40 ( 2021 ) [公元28年] 阿默里·梅勒 , 卢多维克·亨利奥 , 马蒂厄·莫伊 :
Promise Plus:阵列并行计算的灵活同步。 FSEN公司 2021 : 190-196 [公元27年] 朱利安·伊曼纽尔 , 马蒂厄·莫伊 , 卢多维奇·亨里奥 , 格里戈伊尔·皮孔 :
S4BXI:MPI-ready Portals 4模拟器。 马斯科茨 2021 : 1-8 [i5] 尼古拉斯·查普 , 卢多维克·亨利奥 , 阿默里·梅勒 , 马蒂厄·莫伊 , 哈德里安·雷诺 :
期货优化流程:从理论到实践。 CoRR公司 abs/2107.07298 ( 2021 ) 2020 [公元26年] 加布里埃尔·巴斯诺 , Tanguy Sassolas公司 , 尼古拉斯·文特鲁 , 马蒂厄·莫伊 :
松散时间事务级模型的标准兼容并行SystemC模拟。 ASP-DAC公司 2020 : 363-368 [公元25年] Maximilien Dupont de Dinechin公司 , 马修斯·舒赫 , 马蒂厄·莫伊 , 克莱尔·麦扎 :
扩大硬实时多核系统的内存干扰分析。 日期 2020 : 330-333
2010 – 2019
2019 [公元24年] 阿默里·格雷亚特 , 克莱尔·麦扎 , 马蒂厄·莫伊 , 帕斯卡·雷蒙德 , 贝诺?t杜邦迪内欣 :
具有共享内存和网络连接的多核处理器上数据流应用程序的响应时间分析。 RTNS公司 2019 : 61-69 2018 [c23] 阿默里·格雷亚特 , 马蒂厄·莫伊 , 帕斯卡·雷蒙德 , 贝诺?t杜邦迪内欣 :
用于多核心体系结构的同步程序的并行代码生成。 日期 2018 : 1139-1142 [公元22年] 特里斯坦·德利齐 , 斯蒂芬·格罗斯 , 凯文·马奎特 , 马蒂厄·莫伊 , Tanguy Risset公司 , 纪尧姆·萨拉格纳克 :
评估架构和软件设计选择对异构内存动态分配的影响。 RSP公司 2018 : 15-21 2016 [j5] 卡琳·阿尔蒂森 , 马蒂厄·莫伊 :
实时微积分中的因果关系问题。 形式方法系统。 设计。 48 ( 1-2 ) : 1-45 ( 2016 ) 【j4】 马蒂厄·莫伊 , 克劳德·赫尔姆斯特特 , 塔耶布·布哈迪巴 , 弗洛伦斯·马兰尼奇 :
TLM模型中的功耗和温度建模。 莱布尼茨翻译。 嵌入。 系统。 三 ( 1 ) : 03:1-03:29 ( 2016 ) 【c21】 哈姆扎·里哈尼 , 马蒂厄·莫伊 , 克莱尔·麦扎 , 罗伯特·戴维斯 , 塞巴斯蒂安·阿尔特梅耶 :
多核处理器上同步数据流程序的响应时间分析。 RTNS公司 2016 : 67-76 2015 [公元20年] 丹尼斯·贝克尔 , 马蒂厄·莫伊 , 杰罗姆·科内特 :
松散时间SystemC程序并行化面临的挑战。 RSP公司 2015 : 54-60 [第19条] 哈姆扎·里哈尼 , 马蒂厄·莫伊 , 克莱尔·麦扎 , 塞巴斯蒂安·阿尔特梅耶 :
具有TDMA总线的共享资源实时系统中的WCET分析。 RTNS公司 2015 : 183-192 2014 【b2】 马蒂厄·莫伊 :
抽象的现代化为系统带来了障碍。 (嵌入式系统的高级模型)。 法国格勒诺布尔阿尔卑斯大学, 2014 [j3] 马蒂厄·莫伊 :
抽象的现代化为系统带来了障碍。 科技。 信息类 33 ( 三 ) : 285-293 ( 2014 ) 2013 [第18条] 马蒂厄·莫伊 :
使用SystemC进行松散时间模型的并行编程:一种非侵入式方法。 日期 2013 : 9-14 [第17条] 克劳德·赫尔姆斯特特 , 杰罗姆·科内特 , 布鲁诺·加利莱 , 马蒂厄·莫伊 , 帕斯卡·维维特 :
使用基于FIFO的通信的时间解耦进行快速准确的TLM仿真。 日期 2013 : 1185-1188 [第16条] 塔耶布·布哈迪巴 , 马蒂厄·莫伊 , 弗洛伦斯·马兰尼奇 :
TLM中能源的系统级建模,用于电力和热力管理的早期验证。 日期 2013 : 1609-1614 [第15条] 塔耶布·布哈迪巴 , 马蒂厄·莫伊 , 弗洛伦斯·马兰尼奇 , 杰罗姆·科内特 , 劳伦特·梅勒特·康托斯 , 伊利亚材料 :
功能系统TLM模型与功率/热解算器的协同模拟。 IPDPS研讨会 2013 : 2176-2181 2012 [第14条] 朱利安·亨利 , 大卫·莫尼奥 , 马蒂厄·莫伊 :
抽象解释的简洁表示-组合分析算法和实验评估。 萨斯 2012 : 283-299 [c13] 朱利安·亨利 , 大卫·莫尼奥 , 马蒂厄·莫伊 :
PAGAI:路径敏感静态分析仪。 塔帕斯@SAS 2012 : 15-25 [i4] 朱利安·亨利 , 大卫·莫尼奥 , 马蒂厄·莫伊 :
抽象解释的简洁表述。 CoRR公司 abs/1206.4234 ( 2012 ) [i3] 朱利安·亨利 , 大卫·莫尼奥 , 马蒂厄·莫伊 :
PAGAI:路径敏感静态分析器。 CoRR公司 abs/1207.3937 ( 2012 ) 2011 [第12条] 乔瓦尼·芬查尔 , 马蒂厄·莫伊 :
jTLM:一个用于模拟片上系统事务级模型的实验框架。 日期 2011 : 1184-1187 [第11条] 马蒂厄·莫伊 :
向新学生教授Unix的高效且有趣的工具。 ITiCSE公司 2011 : 93-97 [第10条] 乔瓦尼·芬查尔 , 马蒂厄·莫伊 :
系统芯片离散事件仿真中的时间建模。 记忆码 2011 : 171-180 [i2] 马蒂厄·莫伊 :
向新生教授Unix的高效且有趣的工具。 CoRR公司 abs/1103.1717 ( 2011 ) 2010 【c9】 卡琳·阿尔蒂森 , 马蒂厄·莫伊 :
ac2lus:通过同步语言Lustre将SMT求解和抽象解释技术引入实时微积分。 ECRTS系统 2010 : 207-216 【c8】 凯文·马奎特 , 马蒂厄·莫伊 :
PinaVM:基于可执行中间表示的systemC前端。 EMSOFT公司 2010 : 79-88 【c7】 凯文·马奎特 , 巴格什里·卡卡尔 , 马蒂厄·莫伊 :
SystemC前沿理论与实验综述。 FDL公司 2010 : 124-129 【c6】 马蒂厄·莫伊 , 卡琳·阿尔蒂森 :
实时微积分的到达曲线:因果关系问题及其解决方案。 TACAS公司 2010 : 358-372 【c5】 卡琳·阿尔蒂森 , 刘燕红 , 马蒂厄·莫伊 :
使用实时微积分和时间自动机之间基于粒度的接口进行组件性能评估。 QAPL公司 2010 : 16-33 [i1] 卡琳·阿尔蒂森 , 刘燕红 , 马蒂厄·莫伊 :
使用实时微积分和时间自动机之间基于粒度的接口进行组件性能评估。 CoRR公司 腹肌/1004.2637 ( 2010 )
2000 – 2009
2009 [注2] 洛伊克·贝斯纳德 , 蒂埃里·戈蒂埃 , 马蒂厄·莫伊 , Jean-Pierre Talpin女士 , 肯尼思·约翰逊 , 弗洛伦斯·马兰尼奇 :
使用SSA中间形式将C/C++并行代码自动转换为同步形式。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 23 ( 2009 ) 2007 【c4】 克劳斯·特拉尔森 , 杰罗姆·科内特 , 马蒂厄·莫伊 , 弗洛伦斯·马兰尼奇 :
Promela中的SystemC/TLM语义及其可能的应用。 自旋 2007 : 204-222 2006 【c3】 克劳德·赫尔姆斯特特 , 弗洛伦斯·马兰尼奇 , 劳伦特·梅勒特·康托斯 , 马蒂厄·莫伊 :
自动生成时间表以提高系统芯片测试覆盖率。 FMCAD公司 2006 : 171-178 2005 【b1】 马蒂厄·莫伊 :
交易级系统芯片验证技术和工具。 (技术和结果为系统-货币-产品-新交易提供了便利)。 法国格勒诺布尔理工学院, 2005 [j1] 马蒂厄·莫伊 , 弗洛伦斯·马兰尼奇 , 劳伦特·梅勒特·康托斯 :
LusSy:用于在事务级别分析系统芯片的开放工具。 设计。 自动。 嵌入。 系统。 10 ( 2-3 ) : 73-104 ( 2005 ) 【c2】 马蒂厄·莫伊 , 弗洛伦斯·马兰尼奇 , 劳伦特·梅勒特·康托斯 :
LusSy:在事务级分析系统芯片的工具箱。 ACSD系统 2005 : 26-35 【c1】 马蒂厄·莫伊 , 弗洛伦斯·马兰尼奇 , 劳伦特·梅勒特·康托斯 :
Pinapa:一个用于SystemC描述片上系统的提取工具。 EMSOFT公司 2005 : 317-324
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)