Bernadette Charron-Bost公司
人员信息
优化列表
2020年–今天
2023 [公元19年] 路易斯·佩内特·德·蒙特诺 , Bernadette Charron-Bost公司 , 斯蒂芬·默兹 以下为:
同步模块 P(P) 在动态网络中。 西奥。 计算。 科学。 942 以下为: 200-212 ( 2023 ) [公元32年] Bernadette Charron-Bost公司 , 路易斯·佩内特·德·蒙特诺 以下为:
概率网络中的自稳定时钟同步。 磁盘 2023 以下为: 12:1-12:18 [i20] Bernadette Charron-Bost公司 , 帕特里克·兰贝·莫内特 以下为:
了解你的观众。 CoRR公司 abs/2311.17728 ( 2023 ) 2022 [公元18年] Bernadette Charron-Bost公司 以下为:
平均算法收敛速度的几何界。 Inf.计算。 285 ( 零件 ) 以下为: 104909 ( 2022 ) [公元31年] Bernadette Charron-Bost公司 , 路易斯·佩内特·德·蒙特诺 以下为:
动态网络中的自稳定时钟同步。 足类动物 2022 以下为: 28:1-28:17 [公元30年] Bernadette Charron-Bost公司 , 帕特里克·兰贝·莫内特 以下为:
框外计算:动态网络上的平均共识。 沙子 2022 以下为: 10:1-10:16 [i19] Bernadette Charron-Bost公司 , 路易斯·佩内特·德·蒙特诺 以下为:
动态网络中的自稳定时钟同步。 CoRR公司 abs/2207.06243 ( 2022 ) 2021 [公元17年] Bernadette Charron-Bost公司 , 什洛莫·莫兰 以下为:
用于稳定共识的MinMax算法。 分布式计算。 34 ( 三 ) 以下为: 195-206 ( 2021 ) [公元29年] 路易斯·佩内特·德·蒙特诺 , Bernadette Charron-Bost公司 , 斯蒂芬·默兹 以下为:
动态网络中的同步模块。 安全系统 2021 以下为: 425-439 2020 [i18] Bernadette Charron-Bost公司 以下为:
平均算法收敛速度的几何界。 CoRR公司 abs/2007.04837 ( 2020 ) [i17] Bernadette Charron-Bost公司 , 帕特里克·兰贝·莫内特 以下为:
平均共识:一点学问能走很长的路。 CoRR公司 abs/2010.05675 ( 2020 )
2010 – 2019
2019 [公元16年] Bernadette Charron-Bost公司 , 什洛莫·莫兰 以下为:
行刑队问题再次出现。 西奥。 计算。 科学。 793 以下为: 100-112 ( 2019 ) [i16] Bernadette Charron-Bost公司 , 什洛莫·莫兰 以下为:
稳定共识的MinMax算法。 CoRR公司 abs/1906.09073 ( 2019 ) 2018 [公元28年] Bernadette Charron-Bost公司 , 帕特里克·兰贝·莫内特 以下为:
平均共识的随机化和量化。 疾病预防控制中心 2018 以下为: 3716-3721 [公元27年] Bernadette Charron-Bost公司 , 什洛莫·莫兰 以下为:
重新审视射击队问题。 STACS公司 2018 以下为: 20:1-20:14 【i15】 Bernadette Charron-Bost公司 , 帕特里克·兰贝·莫内特 以下为:
平均共识的随机化和量化。 CoRR公司 abs/1804.10919 ( 2018 ) 2017 [公元15年] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 托马斯·诺瓦克 以下为:
max-plus线性系统的新瞬态界。 谨慎。 申请。 数学。 219 以下为: 第83页至第99页 ( 2017 ) [第14条] Bernadette Charron-Bost公司 , 什洛莫·莫兰 以下为:
动态网络中的同步。 CoRR公司 abs/1706.07831 ( 2017 ) 2016 [公元26年] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 托马斯·诺瓦克 以下为:
快速、稳健、可量化的近似共识。 ICALP公司 2016 以下为: 137:1-137:14 【r2】 Bernadette Charron-Bost公司 , 安德烈·希珀 以下为:
部分同步一致。 算法百科全书 2016 以下为: 436-441 [i13] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 托马斯·诺瓦克 以下为:
动态网络中的多维渐近一致性。 CoRR公司 abs/1611.02496 ( 2016 ) 2015 [公元14年] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 詹妮弗·韦尔奇 , 约瑟夫·威德 以下为:
链路反向路由的时间复杂性。 ACM变速器。 算法 11 ( 三 ) 以下为: 18:1-18:39 ( 2015 ) [公元25年] 马蒂亚斯·弗格 , 托马斯·诺瓦克 , Bernadette Charron-Bost公司 以下为:
高动态网络中的扩散时钟同步。 CISS公司 2015 以下为: 1-6 [公元24年] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 托马斯·诺瓦克 以下为:
高度动态网络中的近似共识:平均算法的作用。 ICALP(二) 2015 以下为: 528-539 [i12] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 托马斯·诺瓦克 以下为:
圆上Hegselmann-Krause动力学收敛性的证明。 CoRR公司 abs/1504.05479 ( 2015 ) [i11] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 托马斯·诺瓦克 以下为:
近似共识的摊销平均算法。 CoRR公司 腹肌/1512.04222 ( 2015 ) 2014 [i10] 托马斯·诺瓦克 , Bernadette Charron-Bost公司 以下为:
Max-Plus代数中瞬变界的概述。 CoRR公司 abs/1405.3458 ( 2014 ) [i9] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 托马斯·诺瓦克 以下为:
高度动态网络中的近似一致性。 CoRR公司 abs/1408.0620 ( 2014 ) 2013 [j13] Bernadette Charron-Bost公司 , 安托万·盖拉德 , 詹妮弗·韦尔奇 , 约瑟夫·威德 以下为:
带有二进制链接标签的链接反向路由:工作复杂性。 SIAM J.计算。 42 ( 2 ) 以下为: 634-661 ( 2013 ) 【c23】 Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 托马斯·诺瓦克 以下为:
分布式算法的瞬态边界。 格式 2013 以下为: 77-90 [i8] Bernadette Charron-Bost公司 以下为:
基于方向和连通性的渐进共识标准。 CoRR公司 abs/1303.2043 ( 2013 ) [i7] Bernadette Charron-Bost公司 , 斯蒂芬·默兹 , 安德烈·里巴尔琴科 , 约瑟夫·威德 以下为:
分布式算法的形式验证(Dagstuhl研讨会13141)。 达格斯图尔报告 三 ( 4 ) 以下为: 1-16 ( 2013 ) 2012 [i6] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 托马斯·诺瓦克 以下为:
长距离步行的新过渡界限。 CoRR公司 abs/1209.3342 ( 2012 ) 2011 [公元22年] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 詹妮弗·韦尔奇 , 约瑟夫·维德 以下为:
作为线性动力系统的完全反向路由。 SIROCCO公司 2011 以下为: 101-112 【c21】 Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 詹妮弗·韦尔奇 , 约瑟夫·威德 以下为:
部分已满。 SIROCCO公司 2011 以下为: 113-124 [公元20年] Bernadette Charron-Bost公司 , 马蒂亚斯·福格尔 , 詹妮弗·韦尔奇 , 约瑟夫·威德 以下为:
简要声明:作为一个线性动力系统的完全反向路由。 SPAA公司 2011 以下为: 129-130 [第19条] Bernadette Charron-Bost公司 , 亨利·德布拉特 , 斯蒂芬·默兹 以下为:
容忍恶意错误的一致性算法的形式化验证。 安全系统 2011 以下为: 120-134 [i5] Bernadette Charron-Bost公司 , 马蒂亚斯·弗格 , 托马斯·诺瓦克 以下为:
线性Max-Plus动力系统的暂态性。 CoRR公司 abs/1111.4600 ( 2011 ) 2010 [公元12年] Bernadette Charron-Bost公司 , 马丁·胡特 , 约瑟夫·维德 以下为:
寻找失去的时间。 信息处理。 莱特。 110 ( 21 ) 以下为: 928-933 ( 2010 ) [电子3] Bernadette Charron-Bost公司 , 费尔南多·佩多内 , 安德烈·希珀 以下为:
复制:理论与实践。 计算机科学课堂讲稿 5959, 施普林格 2010 ,国际标准图书编号 978-3-642-11293-5 [目录]
2000 – 2009
2009 [公元11年] Bernadette Charron-Bost公司 , 安德烈·希珀 以下为:
Headd-Of模型:具有良性故障的分布式系统中的计算。 分布式计算。 22 ( 1 ) 以下为: 49-71 ( 2009 ) [公元10年] Bernadette Charron-Bost公司 , 斯蒂芬·默兹 以下为:
Head-of模型中一致性算法的形式化验证。 国际期刊软件。 信息学 三 ( 2-3 ) 以下为: 273-303 ( 2009 ) [第18条] Bernadette Charron-Bost公司 , 詹妮弗·韦尔奇 , 约瑟夫·威德 以下为:
链接反转:如何更好地玩游戏以减少工作。 ALGOSENSORS公司 2009 以下为: 88-101 [第17条] 穆纳·朝沙德(Mouna Chaouch-Saad) , Bernadette Charron-Bost公司 , 斯蒂芬·默兹 以下为:
一个用于验证基于圆的分布式算法的约简定理。 RP公司 2009 以下为: 93-106 [第16条] Bernadette Charron-Bost公司 , 安托万·盖拉德 , 詹妮弗·韦尔奇 , 约瑟夫·维德 以下为:
路由而不订购。 SPAA公司 2009 以下为: 145-153 2008 [电子2] Bernadette Charron-Bost公司 , 什洛米·多列夫 , 乔·埃贝根(Jo C.Ebergen) , 乌尔里希·施密德 以下为:
VLSI芯片上的容错分布式算法,2009年7月 10.09.2008. Dagstuhl研讨会论文集 08371, 德国莱布尼兹·泽特鲁姆·福尔·Informatik Schloss Dagstuhl 2008 [目录] [r1] Bernadette Charron-Bost公司 , 安德烈·希珀 以下为:
部分同步一致。 算法百科全书 2008 [i4] Bernadette Charron-Bost公司 , 什洛米·多列夫 , 乔·埃贝根(Jo C.Ebergen) , 乌尔里希·施密德 以下为:
08371摘要集-VLSI芯片上的容错分布式算法。 VLSI芯片上的容错分布式算法 2008 [i3] Bernadette Charron-Bost公司 , 什洛米·多列夫 , 乔·埃贝根(Jo C.Ebergen) , 乌尔里希·施密德 以下为:
08371概要-VLSI芯片上的容错分布式算法。 VLSI芯片上的容错分布式算法 2008 2007 [公元9年] Bernadette Charron-Bost公司 , 安德烈·希珀 以下为:
容错分布式计算中的有害教条。 SIGACT新闻 38 ( 1 ) 以下为: 53-61 ( 2007 ) [第15条] 马丁·比利 , 约瑟夫·威德 , Bernadette Charron-Bost公司 , 安托万·盖拉德 , 马丁·胡特 , 安德烈·希珀 以下为:
容忍损坏的通信。 PODC公司 2007 以下为: 244-253 2006 [第14条] Bernadette Charron-Bost公司 , 安德烈·希珀 以下为:
改进Fast Paxos:保持乐观,没有开销。 公共工程设计委员会 2006 以下为: 287-295 2005 [电子1] 彼得·沃塔斯 , 玛丽亚·比利科娃 , Bernadette Charron-Bost公司 , 昂德雷·西科拉 以下为:
SOFSEM 2005:《计算机科学理论与实践》,第31届计算机科学理论和实践当前趋势会议,斯洛伐克利普托夫斯克,2005年1月22日至28日,会议记录。 计算机科学课堂讲稿 3381中, 施普林格 2005 ,国际标准图书编号 编号:3-540-24302-X [目录] 2004 [j8] Bernadette Charron-Bost公司 , 安德烈·希珀 以下为:
统一共识比共识更难。 J.算法 51 ( 1 ) 以下为: 15-37 ( 2004 ) [第13条] Bernadette Charron-Bost公司 , Fabrice Le Fessant公司 以下为:
协议问题的有效性条件和时间复杂性。 SOFSEM公司 2004 以下为: 196-207年 [i2] Bernadette Charron-Bost公司 以下为:
分布式计算中的简化第一部分:共识和原子承诺任务。 CoRR公司 abs/cs/0412115 ( 2004 ) [i1] Bernadette Charron-Bost公司 以下为:
分布式计算的减少第二部分:k阈值协议任务。 CoRR公司 abs/cs/0412116 ( 2004 ) 2003 [j7] Bernadette Charron-Bost公司 , 罗伯特·科里 以下为:
关于线性化和全局时间公理的注记。 并行过程。 莱特。 13 ( 1 ) 以下为: 19-24 ( 2003 ) [第12条] Bernadette Charron-Bost公司 以下为:
比较原子承诺和共识问题。 分布式计算的未来方向 2003 以下为: 29-34 2002 [第11条] Bernadette Charron-Bost公司 , 泽维尔·德法戈 , 安德烈·希珀 以下为:
容错分布式系统中的广播消息:不同处理输入触发和输出触发怀疑的好处。 SRDS公司 2002 以下为: 244-249 2001 [第10条] Bernadette Charron-Bost公司 以下为:
容错分布式系统中的协议问题。 SOFSEM公司 2001 以下为: 10-32 【c9】 Bernadette Charron-Bost公司 , 泽维尔·德法戈 , 安德烈·希珀 以下为:
容错分布式系统中的时间与空间。 话 2001 以下为: 21-27 2000 【c8】 Bernadette Charron-Bost公司 , 萨姆·图格 , 安妮迪亚·巴苏 以下为:
在失败的背景下重新审视安全和生命。 CONCUR公司 2000 以下为: 552-565 [c7] Bernadette Charron-Bost公司 , 拉希德·格拉维 , 安德烈·希珀 以下为:
同步系统和完美故障检测器:可解决性和效率问题。 DSN(DSN) 2000 以下为: 523-532
1990 – 1999
1997 [j6] Bernadette Charron-Bost公司 , 罗伯特·科里 , 安托万·佩蒂特 以下为:
对象部分算法简介。 RAIRO提奥。 信息学应用。 31 ( 2 ) 以下为: 97-148 ( 1997 ) [j5] Bernadette Charron-Bost公司 , Gerard电话 以下为:
Calculs接近于为员工举办的社交聚会提供信息。 RAIRO提奥。 信息学应用。 31 ( 4 ) 以下为: 305-330 ( 1997 ) 1996 [j4] Bernadette Charron-Bost公司 , 弗里德曼·马特恩 , Gerard电话 以下为:
同步、异步和因果顺序通信。 分布式计算。 9 ( 4 ) 以下为: 173-191 ( 1996 ) 【c6】 阿妮迪亚·巴苏 , Bernadette Charron-Bost公司 , 萨姆·图格 以下为:
崩溃故障与崩溃+链接故障(摘要)。 PODC公司 1996 以下为: 246 【c5】 图沙·迪帕克·钱德拉 , 瓦索斯·哈齐拉科斯 , Sam Toueg公司 , Bernadette Charron-Bost公司 以下为:
论集团成员资格的不可能性。 PODC公司 1996 以下为: 322-330 【c4】 安妮迪亚·巴苏 , Bernadette Charron-Bost公司 , 萨姆·图格 以下为:
在进程崩溃的情况下模拟具有不可靠链接的可靠链接。 WDAG公司 1996 以下为: 105-122 1995 [j3] Bernadette Charron-Bost公司 , 卡罗尔·德尔波特(Carole Delport-Gallet) , Hugues Fauconnier先生 以下为:
分布式系统中的局部谓词和时间谓词。 ACM变速器。 程序。 语言系统。 17 ( 1 ) 以下为: 157-179 ( 1995 ) 1993 [注2] Bernadette Charron-Bost公司 以下为:
分布式执行的耦合系数。 西奥。 计算。 科学。 110 ( 2 ) 以下为: 341-376 ( 1993 ) 1991 [j1] Bernadette Charron-Bost公司 以下为:
关于分布式系统中逻辑时钟的大小。 信息处理。 莱特。 39 ( 1 ) 以下为: 11-16 ( 1991 ) 1990 【c3】 Bernadette Charron-Bost公司 以下为:
关于时钟的大小。 并发过程系统的语义 1990 以下为: 176-184
1980 – 1989
1989 [c2] Bernadette Charron-Bost公司 以下为:
分布式计算的并行性度量。 STACS公司 1989 以下为: 434-445 【c1】 Bernadette Charron-Bost公司 以下为:
一致割的组合数学和几何:并发理论的应用。 WDAG公司 1989 以下为: 45-56