让·维莱明
人员信息
优化列表
2010 – 2019
2016 [公元38年] Ehsan Aerabi公司 , A.Elhadi Amirouche , 侯达·费拉迪 , 雷米·杰拉德 , 大卫·纳卡切 , 让·维莱明 :
连接微处理器。 主机 2016 : 67-70 2015 [i2] Ehsan Aerabi公司 , A.Elhadi Amirouche , 侯达·费拉迪 , 雷米·杰拉德 , 大卫·纳卡切 , 让·维莱明 :
连接微处理器。 IACR加密。 电子打印架构。 2015 : 974 ( 2015 ) 2012 [公元37年] 埃里克·布里尔 , 昆汀·福蒂尔 , 罗马科尔基基亚语 , 哈立德·马格尔德 , 大卫·纳卡切 , 吉尔赫梅·奥扎里·德·阿尔梅达 , 阿德里安·蓬梅莱 , A.H.拉加布 , 让·维莱明 :
防御性泄漏伪装。 卡迪斯 2012 : 277-295 [i1] 埃里克·布里尔 , 昆汀强化剂 , 罗马科尔基基亚语 , 哈立德·马格尔德 , 大卫·纳卡切 , 吉尔赫梅·奥扎里·德·阿尔梅达 , 阿德里安·蓬梅莱 , A.H.拉加布 , 让·维莱明 :
防御性泄漏伪装。 IACR加密。 电子打印架构。 2012 : 728 ( 2012 )
2000 – 2009
2009 [公元36年] 让·维莱明 :
稀疏整数、集和谓词的有效数据结构和算法。 IEEE计算机算法研讨会 2009 : 7-14 [公元35年] 让·维莱明 , 尼古拉斯·伽马 :
正则语言的压缩范式为Xor自动机。 CIAA公司 2009 : 24-33 2006 [公元34年] 让-巴蒂斯特笔记 , 马克·沙德 , 让·维莱明 :
实时视频像素匹配。 FPL公司 2006 : 1-6 2004 [公元33年] 让·维莱明 , 弗雷德里克·贝亚尔(Frédéric Béal) :
关于随机布尔函数的BDD。 亚洲的 2004 : 483-493 2003 [公元32年] 让·维莱明 :
数字代数与电路。 验证:理论与实践 2003 : 733-746 2000 [公元31年] 让·维莱明 :
用2-代数真值表表征有限数字同步电路。 亚洲的 2000 : 1-12
1990 – 1999
1999 [公元30年] 阿兰·马歇尔 , 托尼·斯坦斯菲尔德 , 伊戈尔·科斯塔诺夫 , 让·维莱明 , 布拉德·哈钦斯 :
一种用于多媒体应用的可重构算法阵列。 FPGA(现场可编程门阵列) 1999 : 135-143 1998 [公元29年] 让·维莱明 :
可重构系统:过去和未来10年。 VECPAR公司 1998 : 334-354 1996 [公元24年] 让·维莱明 , 帕特里斯·伯廷 , 迪迪埃·隆辛 , 马克·沙德 , H.H.图瓦蒂 , 菲利普·布卡德 :
可编程主动存储器:可重构系统成熟。 IEEE传输。 超大规模集成。 系统。 4 ( 1 ) : 56-69 ( 1996 ) [公元23年] 劳伦特·摩尔 , 让·维莱明 , 菲利普·布卡德 , 拉尔斯·伦德海姆 :
DECPeRLe-1可编程有源存储器上的实时高能物理应用。 超大规模集成电路信号处理。 12 ( 1 ) : 21-33 ( 1996 ) 1995 [公元28年] 劳伦特·摩尔 , 让·维莱明 , 菲利普·布卡德 :
DECPeRLe-1可编程主动存储器上的高能物理。 FPGA(现场可编程门阵列) 1995 : 47-52 1994 [公元22年] 让·维莱明 :
关于电路和数字。 IEEE传输。 计算机 43 ( 8 ) : 868-879 ( 1994 ) [公元27年] 让·维莱明 :
快速线性霍夫变换。 尽快 1994 : 1-9 [公元26年] 马克·达马斯 , 珍妮·米歇尔·穆勒 , 让·维莱明 :
在PAM上实现在线算法。 FPL公司 1994 : 196-207 [公元25年] 让·维莱明 :
关于计算能力。 编程语言和系统架构 1994 : 69-86 1993 [公元24年] 马克·沙德 , 让·维莱明 :
RSA加密的快速实施。 IEEE计算机算法研讨会 1993 : 252-259 1992 【c23】 帕特里斯·伯廷 , 迪迪埃·隆辛 , 让·维莱明 :
可编程活动存储器:性能评估。 Heinz Nixdorf研讨会 1992 : 119-130 1991 [公元21年] 马克·沙德 , 帕特里斯·伯廷 , 让·维莱明 :
长整数乘法的硬件加速。 SIGARCH计算。 阿基特。 新闻 19 ( 1 ) : 106-113 ( 1991 ) [公元22年] 让·维莱明 :
恒定时间任意长度的同步二进制计数器。 IEEE计算机算法研讨会 1991 : 180-183 1990 [公元20年] 佛朗哥·P·普雷斯塔 , 让·维莱明 :
实用蜂窝分隔器。 IEEE传输。 计算机 39 ( 5 ) : 605-614 ( 1990 ) [公元19年] 让·维莱明 :
带连分式的精确实机算法。 IEEE传输。 计算机 39 ( 8 ) : 1087-1105 ( 1990 ) 【c21】 马克·沙德 , 帕特里斯·伯廷 , 让·维莱明 :
长整数乘法中的硬件加速。 SPAA公司 1990 : 138-145
1980 – 1989
1988 [公元20年] 让·维莱明 :
带连分式的精确实机算法。 LISP与函数编程 1988 : 14-27 1986 [公元18年] 菲利普·弗拉乔莱 , 克劳德·普奇 , 让·维莱明 :
简单列表结构的分析。 信息科学。 38 ( 2 ) : 121-146 ( 1986 ) 1983 [公元17年] 让·维莱明 :
一种用于VLSI实现的快速乘法算法。 集成。 1 ( 1 ) : 39-52 ( 1983 ) [公元16年] 让·维莱明 :
VLSI电路计算能力的组合极限。 IEEE传输。 计算机 32 ( 三 ) : 294-300 ( 1983 ) [公元15年] Gérard M.波德 , 佛朗哥·P·普雷斯塔 , 让·维莱明 :
用于卷积的面积-时间最优VLSI电路。 IEEE传输。 计算机 32 ( 7 ) : 684-688 ( 1983 ) [第19条] 列奥尼达斯·吉巴斯 , 让·维莱明 :
关于MDS Technologies中的快速二进制加法。 IEEE计算机算法研讨会 1983 : 22 1981 [公元14年] 佛朗哥·P·普雷斯塔 , 让·维莱明 :
立方连通循环:用于并行计算的通用网络。 Commun公司。 ACM公司 24 ( 5 ) : 300-309 ( 1981 ) [第18条] 佛朗哥·P·普雷斯塔 , 让·维莱明 :
用于计算整数乘法和离散傅里叶变换的区域-时间最优VLSI网络。 ICALP公司 1981 : 29-40 1980 [j13] 让·维莱明 :
统一看待数据结构。 Commun公司。 ACM公司 23 ( 4 ) : 229-239 ( 1980 ) [公元12年] 佛朗哥·P·普雷斯塔 , 让·维莱明 :
矩阵乘法的区域时间最优VLSI网络。 信息处理。 莱特。 11 ( 2 ) : 77-80 ( 1980 ) [公元11年] Jean-Claude拉乌尔 , 让·维莱明 :
递归程序之间的操作和语义等价。 J.ACM公司 27 ( 4 ) : 772-796 ( 1980 ) [公元10年] 菲利普·弗拉乔莱 , 让·弗朗松 , 让·维莱明 :
动态数据结构的操作顺序分析。 J.算法 1 ( 2 ) : 111-141 ( 1980 ) [第17条] 让·维莱明 :
V.L.S.I.电路计算能力的组合极限(扩展抽象)。 光纤通信系统 1980 : 294-300 [第16条] Jean-Claude拉乌尔 , 让·维莱明 :
最优无边界搜索策略。 ICALP公司 1980 : 512-530
1970 – 1979
1979 [公元9年] 菲利普·弗拉乔莱 , Jean-Claude拉乌尔 , 让·维莱明 :
计算算术表达式所需的寄存器数。 理论。 计算。 科学。 9 : 99-125 ( 1979 ) [第15条] 佛朗哥·P·普雷斯塔 , 让·维莱明 :
立方体连接循环:并行计算的通用网络(扩展抽象)。 光纤通信系统 1979 : 140-147 [c14] 菲利普·弗拉乔莱 , 让·弗朗松 , 让·维莱明 :
面向分析动态数据结构的操作序列(初步版本)。 光纤通信系统 1979 : 183-195 [第13条] 菲利普·弗拉乔莱 , 让·弗朗松 , 让·维莱明 :
计算操作序列的综合成本并应用于词典。 STOC公司 1979 : 49-61 1978 [j8] 让·维莱明 :
用于操作优先级队列的数据结构。 Commun公司。 ACM公司 21 ( 4 ) : 309-315 ( 1978 ) [第12条] 让·弗朗松 , 杰拉德·维诺 , 让·维莱明 :
高效优先级队列表示的描述和分析。 光纤通信系统 1978 : 1-7 [第11条] Jean-Claude拉乌尔 , 让·维莱明 :
递归程序之间的操作和语义等价。 STOC公司 1978 : 75-85 1977 [j7] 让·维莱明 :
注释验证程序l'Associavite d'une Table de Groupe。 理论。 计算。 科学。 4 ( 1 ) : 77-82 ( 1977 ) [第10条] 菲利普·弗拉乔莱 , Jean-Claude拉乌尔 , 让·维莱明 :
计算算术表达式所需的平均寄存器数。 光纤通信系统 1977 : 196-205 1976 [j6] 布鲁诺·库塞尔 , 让·维莱明 :
递归模式等价的完备性结果。 J.计算。 系统。 科学。 12 ( 2 ) : 179-197 ( 1976 ) [j5] 罗纳德·里维斯 , 让·维莱明 :
从邻接矩阵中识别图的性质。 理论。 计算。 科学。 三 ( 三 ) : 371-384 ( 1976 ) 1975 【c9】 罗纳德·里维斯 , 让·维莱明 :
Aandera-Rosenberg猜想的推广和证明。 STOC公司 1975 : 6-11 1974 【j4】 让·维莱明 :
简单编程语言中递归的正确优化实现。 J.计算。 系统。 科学。 9 ( 三 ) : 332-354 ( 1974 ) 【c8】 布鲁诺·库塞尔 , 吉尔斯·卡恩 , 让·维莱明 :
等价与约简算法使表达式最小化,而类方程递归化简。 ICALP公司 1974 : 200-213 【c7】 劳伦特·海菲尔 , F.普鲁斯克 , 让·维莱明 :
直接访问设备上的最优合并设计。 IFIP大会 1974 : 979-982 【c6】 布鲁诺·库塞尔 , 让·维莱明 :
某些修道院的综合体系具有同等性。 规划专题讨论会 1974 : 234-252 【c5】 布鲁诺·库塞尔 , 让·维莱明 :
简单递归语言的语义和公理化。 STOC公司 1974 : 13-26 【c4】 劳伦特·海菲尔 , F.普鲁斯克 , 让·维莱明 :
一种计算最优桌面合并模式的有效算法(扩展摘要)。 STOC公司 1974 : 216-229 1973 【b1】 让·维莱明 :
递归程序的证明技术。 美国斯坦福大学, 1973 [j3] 莫里斯·斯伦贝谢 , 让·维莱明 :
最佳磁盘合并模式。 信息学学报 三 : 25-35 ( 1973 ) [注2] 佐哈尔·曼纳 , 斯蒂芬·奈斯 , 让·维莱明 :
程序性质证明的归纳方法。 Commun公司。 ACM公司 16 ( 8 ) : 491-502 ( 1973 ) 【c3】 让·维莱明 :
简单编程语言中递归的正确优化实现。 STOC公司 1973 : 224-239 1972 [j1] 佐哈尔·曼纳 , 让·维莱明 :
计算理论的定点方法。 Commun公司。 ACM公司 15 ( 7 ) : 528-536 ( 1972 ) 【c2】 佐哈尔·曼纳 , 让·维莱明 :
计算理论的不动点方法。 ICALP公司 1972 : 273-291 [c1] 佐哈尔·曼纳 , 斯蒂芬·奈斯 , 让·维莱明 :
证明程序属性的归纳方法。 证明关于程序的断言 1972 : 27-50