艾伦·J·胡
人员信息
其他同名人员
优化列表
2020年–今天
2024 [公元77年] 尼克·冯 , 艾伦·J·胡 , 萨姆·贝利斯 , 赛义德·伊克巴尔 , 帕特里克·特伦丁 , 迈克·沃伦 , 李派克 , 约翰·巴克斯 :
SAT模单调理论不满足性的DRAT证明。 TACAS(1) 2024 : 3-23 [i4] 尼克·冯 , 艾伦·J·胡 , 萨姆·贝利斯 , 赛义德·伊克巴尔 , 帕特里克·特伦丁 , 迈克·沃伦 , 李派克 , 约翰·巴克斯 :
SAT模单调理论不满足性的DRAT证明。 CoRR公司 abs/2401.10703 ( 2024 ) 2023 [j13] 梅·杨 , 艾伦·J·胡 , 盖伊·G·F·勒米厄 :
具有非相干加速器的异构系统中用于数据竞争检测的缓存抽象。 ACM事务处理。 嵌入。 计算。 系统。 22 ( 1 ) : 6:1-6:25 ( 2023 ) 2022 [公元76年] 赛义德·伊克巴尔 , 哈利·李 , 谢恩·伯格斯玛 , 伊万·贝沙特尼克 , 艾伦·J·胡 :
CoSpot:一个协作虚拟机分配框架,用于从现场实例增加收入。 SoCC公司 2022 : 540-556 [i3] 诺迪尔·科迪洛夫 , 谢恩·伯格斯玛 , 赛义德·伊克巴尔 , 艾伦·J·胡 , 伊万·贝沙特尼克 , 马戈·I·萨尔茨 :
Gridiron:一种根据网络带宽要求增加云工作负载的技术。 CoRR公司 abs/2201.04322 ( 2022 ) 2021 [公元75年] 梅·杨 , 艾伦·J·胡 , 盖伊·G·F·勒米厄 :
具有非相干加速器的异构系统中用于数据竞争检测的缓存抽象。 LCTES公司 2021 : 151-162 2020 [公元12年] 萨姆·贝利斯 , 诺迪尔·科迪洛夫 , 赛义德·伊克巴尔 , 伊万·贝沙特尼克 , 霍尔格·H·胡斯 , 艾伦·J·胡 :
基于可扩展约束的虚拟数据中心分配。 Artif公司。 智力。 278 ( 2020 )
2010 – 2019
2019 [c74] 约翰·巴克斯 , 萨姆·贝利斯 , 拜伦·库克 , 凯瑟琳·道奇 , 安德鲁·加塞克 , 艾伦·J·胡 , Temesghen Kahsai公司 , 比尔·科西克 , 叶夫根尼·科特利尼科夫 , 朱尔·库科维奇 , 肖恩·麦克劳林 , 杰森·里德 , 内哈·隆塔 , 约翰·西斯莫尔 , 马克·斯坦泽(Mark A.Stalzer) , 普雷西·斯里尼瓦桑 , 铺装亚音阶 , 卡斯滕·瓦明 , 布莱克·沃利 :
基于AWS的网络可达性分析。 CAV(2) 2019 : 231-241 2018 [公元73年] 诺迪尔·科迪洛夫 , 萨姆·贝利斯 , 费边·拉菲 , 伊万·贝沙特尼克 , 霍尔格·H·胡斯 , 艾伦·J·胡 :
数据中心规模的VNF链分配和管理。 ANCS公司 2018 : 125-140 [公元72年] 诺迪尔·科迪洛夫 , 萨姆·贝利斯 , 费边·拉菲 , 伊万·贝沙特尼克 , 霍尔格·H·胡斯 , 艾伦·J·胡 :
云服务提供商的VNF链抽象。 ANCS公司 2018 : 165-166 2017 [公元71年] 萨姆·贝利斯 , 诺迪尔·科迪洛夫 , 伊万·贝沙特尼克 , 霍尔格·H·胡斯 , 艾伦·J·胡 :
基于可扩展约束的虚拟数据中心分配。 国际JCAI 2017 : 546-554 2016 [公元70年] 托比亚斯·克伦泽 , 萨姆·贝利斯 , 艾伦·J·胡 :
通过SMT快速、灵活、最小限度地合成CTL。 CAV(1) 2016 : 136-156 [公元69年] 塞琳娜·G·瓦尔 , 迈克尔·恩内斯库 , 萨姆·贝利斯 , 威廉·埃洛 , 艾伦·J·胡 :
精确测量定量信息流:10K行代码及以上。 欧洲标准普尔 2016 : 31-46 [公元68年] 萨姆·贝利斯 , 霍尔格·H·胡斯 , 艾伦·J·胡 :
可扩展、高质量、基于SAT的多层转义路由。 国际计算机辅助设计协会 2016 : 22 2015 [公元67年] 萨姆·贝利斯 , 诺亚·贝利斯 , 霍尔格·H·胡斯 , 艾伦·J·胡 :
SAT模单调理论。 AAAI公司 2015 : 3702-3709 [公元66年] 里卡多·奥乔亚·加拉多 , 艾伦·J·胡 , 安德烈·伊万诺夫 , 玛丽亚姆·米里安 :
通过仿真和贝叶斯特征选择减少硅后覆盖监测开销。 国际计算机辅助设计协会 2015 : 816-823 2014 [公元11年] 安切成(An-Che Cheng) , 张志杰(Chia-Chih Jack Yen) , 塞琳娜·G·瓦尔 , 萨姆·贝利斯 , 艾伦·J·胡 , 艾丽斯·惠鲁江 , Jing-Yang Jou公司 :
使用同时SAT求解的高效覆盖驱动刺激生成,并应用于SystemVerilog。 ACM事务处理。 设计自动。 选举人。 系统。 20 ( 1 ) : 7:1-7:23 ( 2014 ) [公元65年] 罗尔夫·德雷克斯勒 , 克里斯托夫·谢瓦拉兹 , 佛朗哥·富米 , 艾伦·J·胡 , 罗尼·莫拉德 , 弗兰克·席尔梅斯特 , 亚历克斯·戈亚切夫 :
小组讨论:未来SoC验证方法:UVM进化还是革命? 日期 2014 : 1-5 [i2] 萨姆·贝利斯 , 诺亚·贝利斯 , 霍尔格·H·胡斯 , 艾伦·J·胡 :
SAT模单调理论。 CoRR公司 abs/1406.0043 ( 2014 ) 2013 [公元10年] Domagoj Babic公司 , 拜伦·库克 , 艾伦·J·胡 , 兹沃尼米尔·拉卡马里克 :
证明非线性命令序列的终止。 形式方面计算。 25 ( 三 ) : 389-403 ( 2013 ) [公元9年] 凯尔·鲍斯顿 , 迈赫迪·卡里米比尤基 , 艾伦·J·胡 , 安德烈·伊万诺夫 , 史蒂芬·J·E·威尔顿 :
多处理器系统芯片设计的硅后代码覆盖率。 IEEE传输。 计算机 62 ( 2 ) : 242-246 ( 2013 ) [公元64年] 萨姆·贝利斯 , 塞琳娜·G·瓦尔 , 托马斯·鲍尔 , 霍尔格·H·胡斯 , 艾伦·J·胡 :
IC3的高效模块化SAT解决方案。 FMCAD公司 2013 : 149-156 [i1] 杰西·霍伊 , 罗伯特·圣阿宾 , 艾伦·J·胡 , Craig Boutiler公司 :
SPUDD:使用决策图的随机规划。 CoRR公司 abs/1301.6704 ( 2013 ) 2012 [j8] 马塞尔·戈特 , 弗拉维奥·德·保拉 , Johnny J.W.宽 , 托尔·阿莫特 , 艾伦·J·胡 , 史蒂芬·J·E·威尔顿 , 金阳 :
基于形式分析的硅后调试跟踪计算。 IEEE传输。 超大规模集成电路。 系统。 20 ( 11 ) : 1997-2010 ( 2012 ) [公元63年] 弗拉维奥·德·保拉 , 艾伦·J·胡 , 阿米尔·纳希尔 :
nuTAB-BackSpace:重写以规范化硅后调试跟踪中的非确定性。 腔静脉 2012 : 513-531 [公元62年] 迪潘詹·森古普塔 , 弗拉维奥·德·保拉 , 艾伦·J·胡 , 安德烈亚斯·维尼里斯 , 安德烈·伊万诺夫 :
懒惰的怀疑集计算:深层电气缺陷的故障诊断。 ACM大湖区超大规模集成电路研讨会 2012 : 189-194 [第61条] 凯尔·鲍斯顿 , 艾伦·J·胡 , 史蒂芬·J·E·威尔顿 , 阿米尔·纳希尔 :
后硅验证中的仿真:它不再仅仅是为了功能。 HLDVT公司 2012 : 110-117 [公元60年] 萨姆·贝利斯 , 艾伦·J·胡 :
2QBF的单解算法-(海报演示)。 坐 2012 : 487-488 [电子6] 艾伦·J·胡 :
2012年IEEE/ACM计算机辅助设计国际会议,2012年ICCAD,美国加利福尼亚州圣何塞,2012年11月5-8日。 ACM公司 2012 ,国际标准图书编号 978-1-4577-1398-9 [目录] 2011 [j7] 哈娜·查克勒 , 艾伦·J·胡 :
前言。 国际期刊软件。 工具技术。 Transf公司。 13 ( 三 ) : 201-205 ( 2011 ) [公元59年] 弗拉维奥·德·保拉 , 阿米尔·纳希尔 , 齐夫·尼沃 , 阿维盖尔·奥尔尼 , 艾伦·J·胡 :
TAB-BackSpace:无限制长度的跟踪缓冲区,无额外的片上开销。 数模转换器 2011 : 411-416 [公元58年] 安妮·康登 , 艾伦·J·胡 , 詹·曼努奇 , 克里斯·塔丘克 :
更少匆忙,更少浪费:关于回收及其在钢绞线置换系统中的限制。 DNA 2011 : 84-99 [公元57年] 迈赫迪·卡里米比尤基 , 凯尔·鲍斯顿 , 艾伦·J·胡 , 安德烈·伊万诺夫 :
减少SoC功能验证区域开销的硅后代码覆盖评估。 HLDVT公司 2011 : 92-97 [电子5] 乔尔·菲利普斯 , 艾伦·J·胡 , 赫尔穆特·格雷布 :
2011年IEEE/ACM计算机辅助设计国际会议,2011年ICCAD,美国加利福尼亚州圣何塞,2011年11月7日至10日。 IEEE计算机学会 2011 ,国际标准图书编号 978-1-4577-1399-6 [目录] 2010 [公元56年] 阿米尔·纳希尔 , 阿维·齐夫 , 拉杰什·加利万奇 , 艾伦·J·胡 , 米隆·阿布拉莫维奇 , 阿尔伯特·卡米莱里 , 鲍勃·本特利 , 哈里·福斯特 , 瓦莱丽亚·贝塔科 , 沙克蒂·卡普尔 :
桥接硅片前验证和硅片后验证。 数模转换器 2010 : 94-95 [公元55年] 约夫·霍兰德 , 艾伦·J·胡 , 若昂·卢伦索 , 罗尼·莫拉德 :
调试专题会议。 海法核查会议 2010 : 24-28 [公元54年] 纳格梅·加法里 , 艾伦·J·胡 , 兹沃尼米尔·拉卡马里克 :
并发软件的上下文相关翻译:实证评估。 自旋蛋白 2010 : 227-244 [电子4] 路易斯·谢弗 , 乔尔·菲利普斯 , 艾伦·J·胡 :
2010年11月7日至11日,美国加利福尼亚州圣何塞,2010年国际计算机辅助设计会议。 电气与电子工程师协会 2010 ,国际标准图书编号 978-1-4244-8192-7 [目录]
2000 – 2009
2009 [j6] Domagoj Babic公司 , 艾伦·J·胡 :
近似于一组可安全重复使用的学习事实。 国际期刊软件。 工具技术。 Transf公司。 11 ( 4 ) : 325-338 ( 2009 ) [公元53年] 兹沃尼米尔·拉卡马里克 , 艾伦·J·胡 :
低层代码的可扩展内存模型。 VMCAI公司 2009 : 290-304 [电子3] 哈娜·查克勒 , 艾伦·J·胡 :
硬件和软件:验证和测试,第四届国际海法验证会议,HVC 2008,以色列海法,2008年10月27日至30日。 诉讼程序。 计算机科学课堂讲稿 5394, 施普林格 2009 ,国际标准图书编号 978-3-642-01701-8 [目录] 2008 [第52条] 弗拉维奥·德·保拉 , 马塞尔·戈特 , 艾伦·J·胡 , 史蒂芬·J·E·威尔顿 , 金阳 :
BackSpace:硅后调试的形式化分析。 FMCAD公司 2008 : 1-10 [第51条] Domagoj Babic公司 , 艾伦·J·胡 :
Calysto:可扩展且精确的扩展静态检查。 ICSE公司 2008 : 211-220 [公元50年] 兹沃尼米尔·拉卡马里克 , 艾伦·J·胡 :
使用静态分析自动推断框架公理。 ASE公司 2008 : 89-98 [公元49年] 弗拉维奥·德·保拉 , 马塞尔·戈特 , 艾伦·J·胡 , 史蒂芬·J·E·威尔顿 :
BackSpace:走向现实。 音乐电视 2008 : 49-54 2007 [公元48年] 兹沃尼米尔·拉卡马里克 , 罗伯托·布鲁托梅索 , 艾伦·J·胡 , 亚历山德罗·西马蒂 :
验证SMT框架中的堆操作程序。 ATVA公司 2007 : 237-252 [公元47年] Domagoj Babic公司 , 艾伦·J·胡 :
软件验证条件的结构抽象。 腔静脉 2007 : 366-378 [公元46年] 弗拉维奥·德·保拉 , 艾伦·J·胡 :
一种有效的抽象制导仿真制导策略。 数模转换器 2007 : 63-68 [c45] 弗朗辛·巴基尼 , 艾伦·J·胡 , 汤姆·费茨帕特里克 , 拉杰夫·兰扬 , 大卫·莱西 , 梅赛德斯棕褐色 , 安德鲁·皮齐亚利 , 阿维·齐夫 :
验证范围:什么时候够了,够了? 数模转换器 2007 : 744-745 [公元44年] 弗兰克·赫特 , Domagoj Babic公司 , 霍尔格·H·胡斯 , 艾伦·J·胡 :
通过自动调整决策过程来增强验证。 FMCAD公司 2007 : 27-34 [公元43年] 艾伦·J·胡 :
模拟与形式:吸收有用的东西; 拒绝无用的东西。 海法核查会议 2007 : 1-7 [公元42年] Domagoj Babic公司 , 艾伦·J·胡 :
在软件验证条件下利用共享结构。 海法核查会议 2007 : 169-184 [公元41年] Domagoj Babic公司 , 艾伦·J·胡 , 兹沃尼米尔·拉卡马里克 , 拜伦·库克 :
通过分歧证明终止。 SEFM公司 2007 : 93-102 [公元40年] 兹沃尼米尔·拉卡马里克 , 杰西·宾厄姆 , 艾伦·J·胡 :
用于验证具有可变数据和循环数据结构的堆操作程序的基于推理规则的决策过程。 VMCAI公司 2007 : 106-121 2006 [j5] 大卫·W·库里 , 冯秀山 , 藤田正弘 , 艾伦·J·胡 , 马克·关 , Sreeranga P.Rajan公司 :
使用符号执行和未解释功能的嵌入式软件验证。 国际J并行程序。 34 ( 1 ) : 61-91 ( 2006 ) 【j4】 Resve A.Saleh公司 , 史蒂芬·J·E·威尔顿 , 沙赫里亚·米拉巴西 , 艾伦·J·胡 , 马克·格林斯特雷特 , 盖·勒米厄 , 帕塔·普拉蒂姆·潘德 , 克里斯蒂安·格雷库 , 安德烈·伊万诺夫 :
系统芯片:重用和集成。 程序。 电气与电子工程师协会 94 ( 6 ) : 1050-1069 ( 2006 ) [j3] Domagoj Babic公司 , 杰西·宾厄姆 , 艾伦·J·胡 :
B-Cubing:高效SAT求解的新可能性。 IEEE传输。 计算机 55 ( 11 ) : 1315-1324 ( 2006 ) [公元39年] 弗拉维奥·德·保拉 , 艾伦·J·胡 :
EverLost:工业强度抽象引导模拟的灵活平台。 腔静脉 2006 : 282-285 [公元38年] 冯秀山 , 艾伦·J·胡 :
高级软件的早期切入点插入与RTL形式化组合等价验证。 数模转换器 2006 : 1063-1068 [公元37年] 艾伦·J·胡 :
EverLost:工业强度抽象引导模拟的灵活平台。 HLDVT公司 2006 : 151-152 [公元36年] 桑迪普·K·舒克拉 , 艾伦·J·胡 , 雅各布·亚伯拉罕斯 , 普拉纳夫·阿沙尔 , 哈里·福斯特 , Avner Landver公司 , 卡尔·皮克斯利 :
小组:基于断言的验证-有什么大不了的? HLDVT公司 2006 : 183 2005 [公元35年] Domagoj Babic公司 , 艾伦·J·胡 :
在SAT求解器中集成超级立方和学习。 ASP-DAC公司 2005 : 438-444 [公元34年] 冯秀山 , 艾伦·J·胡 , 金阳 :
根据软件规范进行分区模型检查。 ASP-DAC公司 2005 : 583-587 [公元33年] Domagoj Babic公司 , 杰西·宾厄姆 , 艾伦·J·胡 :
高效的SAT解决方案:超越超立方体。 数模转换器 2005 : 744-749 [公元32年] 冯秀山 , 艾伦·J·胡 :
嵌入式软件形式等价性验证的切入点。 EMSOFT公司 2005 : 307-316 [公元31年] Domagoj Babic公司 , 杰西·宾厄姆 , 艾伦·J·胡 :
B立方理论:有效解决SAT问题的新可能性。 HLDVT公司 2005 : 192-199 [公元30年] 迈克尔·马蒂 , 杰西·宾厄姆 , 马克·D·希尔 , 艾伦·J·胡 , 米洛·M·K·马丁 , 大卫·A·伍德 :
使用令牌一致性改进多CMP系统。 HPCA公司 2005 : 328-339 [公元29年] 杰西·宾厄姆 , 艾伦·J·胡 :
一类无限状态系统的经验有效验证。 TACAS公司 2005 : 77-92 2004 [公元28年] 杰西·宾厄姆 , 安妮·康登 , 艾伦·J·胡 , 沙兹·卡迪尔 , 张志川 :
无边界地址和数据值的顺序一致性自动验证。 腔静脉 2004 : 427-439 [公元27年] Kelvin Ng(开尔文·吴) , 艾伦·J·胡 , 金阳 :
为仿真友好的GSTE断言图生成监控电路。 ICCD公司 2004 : 409-416 [公元26年] 德鲁·迪恩 , 艾伦·J·胡 :
为乐趣和利润修复比赛:如何使用访问权限(2)。 USENIX安全研讨会 2004 : 195-206 [电子2] 艾伦·J·胡 , 安德鲁·马丁 :
计算机辅助设计中的形式方法,第五届国际会议,FMCAD 2004,美国德克萨斯州奥斯汀,2004年11月15日至17日,会议记录。 计算机科学课堂讲稿 3312, 施普林格 2004 ,国际标准图书编号 3-540-23738-0 [目录] 2003 [注2] 安妮·康登 , 艾伦·J·胡 :
自动验证顺序一致性。 理论计算。 系统。 36 ( 5 ) : 431-460 ( 2003 ) [公元25年] 艾伦·J·胡 , 杰里米·卡斯 , 金阳 :
关于GSTE断言图的推理。 CHARME公司 2003 : 170-184 [公元24年] 艾伦·J·胡 , 杰里米·卡斯 , 金阳 :
GSTE断言图监控电路的高效生成。 国际计算机辅助设计协会 2003 : 154-160 【c23】 杰西·宾厄姆 , 安妮·康登 , 艾伦·J·胡 :
朝向顺序一致性的可判定概念。 SPAA公司 2003 : 304-313 2002 [公元22年] 杰西·宾厄姆 , 艾伦·J·胡 :
半形式有界模型检查。 腔静脉 2002 : 280-294 【c21】 马西奥·T·奥利维拉 , 艾伦·J·胡 :
IP接口监控器的高级规范和自动生成。 数模转换器 2002 : 129-134 [公元20年] 冯秀山 , 艾伦·J·胡 :
计划VLIW代码的自动形式验证。 液晶显示器 2002 : 85-92 2001 [第19条] 阿尔文·阿尔布雷希特 , 艾伦·J·胡 :
使用多个时钟域注册转换。 CHARME公司 2001 : 126-139 [第18条] 蒂姆·布劳恩 , 安妮·康登 , 艾伦·J·胡 , Kai S.Juse公司 , 马吕斯·拉萨 , 迈克尔·莱斯利 , 丽塔·夏尔玛 :
通过模型检查证明序列一致性。 HLDVT公司 2001 : 103-108 [第17条] 费利克斯·盛浩昌 , 艾伦·J·胡 :
周期精确处理器模型的快速规范。 ICCD公司 2001 : 488-492 [第16条] 安妮·康登 , 艾伦·J·胡 :
自动验证顺序一致性。 SPAA公司 2001 : 113-121 2000 [第15条] 大卫·W·库里 , 艾伦·J·胡 , Sreeranga P.Rajan公司 :
DSP软件的自动形式验证。 数模转换器 2000 : 130-135 [第14条] 神奈清水 , 大卫·L·迪尔 , 艾伦·J·胡 :
基于监视器的PCI形式规范。 FMCAD公司 2000 : 335-353 [第13条] 布莱恩·温特斯 , 艾伦·J·胡 :
改进形式验证的源代码级转换。 ICCD公司 2000 : 599-602
1990 – 1999
1999 [第12条] 艾伦·J·胡 , 芮莉(Rui Li) , 西征市 , 儿子T.Vuong :
安全Gorup通信协议的模型检查:案例研究。 复地 1999 : 469-478 [第11条] 杰西·霍伊 , 罗伯特·圣阿宾 , 艾伦·J·胡 , Craig Boutiler公司 :
SPUDD:使用决策图的随机规划。 阿拉伯联合酋长国 1999 : 279-288 1998 [第10条] Shankar G.Govindaraju公司 , 大卫·L·迪尔 , 艾伦·J·胡 , 马克·霍洛维茨 :
使用重叠投影与BDD的近似可达性。 数模转换器 1998 : 451-456 【c9】 藤田正弘 , Sreeranga P.Rajan公司 , 艾伦·J·胡 :
两种真正的形式验证经验:ATM交换芯片和并行缓存协议。 FM-趋势 1998 : 281-295 【c8】 金·米尔万·延森 , 艾伦·J·胡 :
BDDNOW:并行BDD包。 FMCAD公司 1998 : 501-507 [电子1] 艾伦·J·胡 , 莫舍·瓦尔迪 :
1998年6月28日至7月2日,加拿大不列颠哥伦比亚省温哥华CAV’98第十届国际会议,计算机辅助验证,会议记录。 计算机科学课堂讲稿 1427, 施普林格 1998 ,国际标准图书编号 3-540-64608-6 [目录] 1997 【c7】 艾伦·J·胡 , 藤田正弘 , 克里斯·威尔逊 :
HAL S1系统缓存一致性协议的正式验证。 ICCD公司 1997 : 438-444 1994 【c6】 艾伦·J·胡 , 加里·约克 , 大卫·L·迪尔 :
隐式连接BDD有效验证的新技术。 数模转换器 1994 : 276-282 1993 [c5] 艾伦·J·胡 , 大卫·L·迪尔 :
使用隐连接不变量对BDD进行有效验证。 腔静脉 1993 : 3-14 【c4】 艾伦·J·胡 , 大卫·L·迪尔 :
通过利用函数依赖减少BDD大小。 数模转换器 1993 : 266-271 1992 【c3】 艾伦·J·胡 , 大卫·L·迪尔 , 安德烈亚斯·德雷克斯勒 , C.韩阳 :
使用BDD进行高级规范和验证。 腔静脉 1992 : 82-95 【c2】 大卫·L·迪尔 , 安德烈亚斯·德雷克斯勒 , 艾伦·J·胡 , C.韩阳 :
作为硬件设计辅助的协议验证。 ICCD公司 1992 : 522-525 1991 【c1】 大卫·L·迪尔 , 艾伦·J·胡 , 霍华德·旺·托伊 :
使用模拟预订单检查语言包含。 腔静脉 1991 : 255-265
1980 – 1989
1986 [j1] 艾伦·J·胡 :
最佳均匀分区搜索的选择。 计算 37 ( 三 ) : 261-264 ( 1986 )