保罗·洛文斯坦
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2010 – 2019
2019 [第13条] 马尔扬·拉迪 , 韦斯利·特普斯特拉 , 保罗·洛文斯坦 , 德扬·武西尼奇 :
OmniXtend:直接缓存商品结构。 热互连 2019 : 59-62 2016 [j6] 乔治奥斯·康斯塔迪尼迪斯 , 李洪平(音) , 弗朗西斯·舒马赫 , 文卡特拉姆·克里希纳斯瓦米 , 霍约尔·赵 , Sudesna破折号 , 罗伯特·马斯利德 , 朝阳郑 , 袁荣·大卫·林 , 保罗·洛文斯坦 , Heechoul公园 , 维杰·斯里尼瓦桑 , 黄大伟 , 昌库黄 , 徐文杰(Wenjay Hsu) , 柯蒂斯·麦卡利斯特 , 杰弗里·布鲁克斯 , 哈芬 , 塞巴斯蒂安·图鲁洛尔 , 一帆杨功 , 罗伯特·戈拉 , 艾伦·P·史密斯 , 阿里·瓦希达法 :
SPARC M7:一个20 nm 32核64 MB三级缓存处理器。 IEEE J.固态电路 51 ( 1 ) : 79-91 ( 2016 ) 2015 [j5] 凯蒂尔加马尔·安加兰 , 苏姆蒂·贾拉思 , 乔治奥斯·康斯塔迪尼迪斯 , 塞雷娜·梁 , 保罗·洛文斯坦 , 柯蒂斯·麦卡利斯特 , 总裁傅仲森 , 拉道微克 , 拉姆·西瓦拉马克里希南 , 大卫·斯门特克 , 托马斯·威基 :
M7:Oracle的下一代Sparc处理器。 IEEE微型 35 ( 2 ) : 36-45 ( 2015 ) [第12条] 李佩妮(Penny Li) , 基努克·卢克·申 , 乔治奥斯·康斯塔迪尼迪斯 , 弗朗西斯·舒马赫 , 文卡特拉姆·克里希纳斯瓦米 , 霍约尔·赵 , Sudesna破折号 , 罗伯特·马斯利德 , 朝阳郑 , 袁荣·大卫·林 , 保罗·洛文斯坦 , Heechoul公园 , 维杰·斯里尼瓦桑 , 黄大伟 , 昌库黄 , 徐文杰(Wenjay Hsu) , 柯蒂斯·麦卡利斯特 :
4.2一个20nm 32核64MB L3缓存SPARC M7处理器。 ISSCC公司 2015 : 1-3 2013 【j4】 约翰·费勒 , 苏姆蒂·贾拉思 , 保罗·洛文斯坦 , 拉姆·西瓦拉马克里希南 , 大卫·斯门特克 , 塞巴斯蒂安·图鲁洛尔 , 阿里·瓦希达法 :
Oracle Sparc T5 16核处理器可扩展到8个插槽。 IEEE微型 33 ( 2 ) : 48-57 ( 2013 )
1990 – 1999
1995 [第11条] 劳伦斯·杨 , 大卫·高 , 杰姆希德·莫斯图菲(Jamshid Mostoufi) , 拉朱·乔希 , 保罗·洛文斯坦 :
UltraSPARC-I的系统设计方法。 数模转换器 1995 : 7-12 [第10条] 保罗·洛文斯坦 :
逆流管道体系结构的形式验证。 TPHOL公司 1995 : 261-276 1993 [j3] 保罗·洛文斯坦 :
无限自动机之间模拟的形式化理论。 形式方法系统。 设计。 三 ( 1/2 ) : 117-149 ( 1993 ) 1992 [注2] 保罗·洛文斯坦 :
使用模拟关系和高阶逻辑验证多处理器缓存协议。 形式方法系统。 设计。 1 ( 4 ) : 355-383 ( 1992 ) 【c9】 保罗·洛文斯坦 :
无限自动机之间模拟的形式化理论。 TPHOL公司 1992 : 227-246 1991 【c8】 保罗·洛文斯坦 :
学习使用HOL。 TPHOL公司 1991 : 67-74 1990 【c7】 保罗·洛文斯坦 , 大卫·L·迪尔 :
使用模拟关系和高阶逻辑验证多处理器缓存协议。 CAV汽车 1990 : 302-311 【c6】 保罗·洛文斯坦 , 大卫·L·迪尔 :
使用模拟关系和高阶逻辑验证多处理器缓存协议。 CAV(DIMACS/AMS卷) 1990 : 187-206 【c5】 保罗·洛文斯坦 , 大卫·L·迪尔 :
使用细化关系对缓存系统进行形式化验证。 ICCD公司 1990 : 228-233
1980 – 1989
1989 【c4】 保罗·洛文斯坦 :
使用高阶逻辑对状态机进行形式化验证。 ICCD公司 1989 : 204-207 【c3】 保罗·洛文斯坦 :
关于高阶逻辑中状态机的推理。 硬件规范、验证和合成 1989 : 67-89 1988 [j1] 保罗·洛文斯坦 , 安德鲁·福克斯 :
缩小语义差距。 微加工。 微程序设计 24 ( 1-5 ) : 767-772 ( 1988 ) 1983 【c2】 S.N.特雷平 , 保罗·洛文斯坦 :
可编程LSI数字滤波器的结构和指令集。 ICASSP公司 1983 : 435-438 1982 [c1] 保罗·洛文斯坦 :
使用状态空间滤波的数字脉冲频率解调。 ICASSP公司 1982 : 1829-1832
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)