罗纳德·奥尔森
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2018 [j49] 罗纳德·奥尔森 , 亚伦·W·基恩 , 托德·威廉姆森 :
通过扩展JR的操作抽象来减少分布式JR程序的启动时间。 同意。 计算。 实际。 支出。 30 ( 14 ) ( 2018 ) 2017 [公元48年] 罗纳德·奥尔森 :
关于从JR的并发调用语句中正确收集结果的说明。 可扩展计算。 实际。 支出。 18 ( 三 ) : 253-260 ( 2017 ) 2016 [公元47年] 罗纳德·奥尔森 , 托德·威廉姆森 :
RJ:一个提供类似JR的并发编程的Java包。 柔和。 实际。 支出。 46 ( 5 ) : 685-708 ( 2016 ) 2015 [公元46年] 罗纳德·奥尔森 , 亚伦·W·基恩 , 托德·威廉姆森 :
早期回复和转发消息传递机制的转换。 同意。 计算。 实际。 支出。 27 ( 17 ) : 4645-4658 ( 2015 ) [j45] 罗纳德·奥尔森 , 亚伦·W·基恩 :
调用和服务操作中用户可访问的回复功能。 同意。 计算。 实际。 支出。 27 ( 17 ) : 5134-5155 ( 2015 ) 2014 [公元44年] 托德·威廉姆森 , 罗纳德·奥尔森 :
PySy:用于增强并发编程的Python包。 同意。 计算。 实际。 支出。 26 ( 2 ) : 309-335 ( 2014 ) 2011 [公元43年] 马修·罗珀 , 罗纳德·奥尔森 :
分布式应用程序的特定于应用程序的线程调度程序。 同意。 计算。 实际。 支出。 24 ( 三 ) : 260-280 ( 2011 ) [公元42年] 马修·罗珀 , 罗纳德·奥尔森 :
internet服务器应用程序的特定于应用程序的线程调度程序。 同意。 计算。 实际。 支出。 24 ( 三 ) : 281-304 ( 2011 )
2000 – 2009
2009 [公元41年] Hiu Ning(安吉拉)Chan , 安德鲁·J·加拉格尔 , Appu S.Goundan公司 , 伊琳威廉·欧阳 , 亚伦·W·基恩 , 罗纳德·奥尔森 :
JR并发编程语言中的通用操作和功能。 计算。 语言系统。 结构。 35 ( 三 ) : 293-305 ( 2009 ) 2008 [j40] Billy Yan-Kit男子 , Hiu Ning(安吉拉)Chan , 安德鲁·加拉赫 , Appu S.Goundan公司 , 亚伦·W·基恩 , 罗纳德·奥尔森 :
部分静止的定义和对部分静止的语言学支持。 同意。 计算。 实际。 支出。 20 ( 8 ) : 969-995 ( 2008 ) 2007 [公元39年] 乍得·D·斯特林 , 罗纳德·奥尔森 :
通过程序芯片自动隔离错误。 柔和。 实际。 支出。 37 ( 10 ) : 1061-1086 ( 2007 ) 2006 [c30] Billy Yan-Kit男子 , Hiu Ning(安吉拉)Chan , 安德鲁·加拉赫 , Appu S.Goundan公司 , 亚伦·W·基恩 , 罗纳德·奥尔森 :
部分安静的定义及其语言支持。 欧洲-保时捷 2006 : 655-665 [公元29年] Nija Shi公司 , 罗纳德·奥尔森 :
Java源代码中设计模式的逆向工程。 ASE公司 2006 : 123-134 2005 [公元28年] 乍得·D·斯特林 , 罗纳德·奥尔森 :
通过程序芯片自动隔离错误。 AADEBUG公司 2005 : 23-32 [公元27年] 马修·罗珀 , 罗纳德·奥尔森 :
使用CATAPULTS开发嵌入式多线程应用程序,这是一种用于生成线程调度程序的特定于域的语言。 案例 2005 : 295-303 [公元26年] 陈慧宁(Angela) , 埃斯特班·保利 , Billy Yan-Kit男子 , 亚伦·W·基恩 , 罗纳德·奥尔森 :
并发调用语句的异常处理机制。 欧洲-保时捷 2005 : 699-709 2004 [公元38年] 贾斯汀·马里斯 , 亚伦·W·基恩 , 石原隆志 , 罗纳德·奥尔森 :
负载平衡应用程序下并发编程和协作多线程的比较。 同意。 计算。 实际。 支出。 16 ( 4 ) : 345-369 ( 2004 ) [公元37年] 亚伦·W·基恩 , 丁健阁 , 贾斯汀·马里斯 , 罗纳德·奥尔森 :
JR:扩展Java中的灵活分布式编程。 ACM事务处理。 程序。 语言系统。 26 ( 三 ) : 578-608 ( 2004 ) 2003 [公元36年] 贾斯汀·马里斯 , 马修·罗珀 , 罗纳德·奥尔森 :
DesCaRTeS:具有类似SR功能的运行时系统,用于对嵌入式系统网络进行编程。 计算。 语言系统。 结构。 29 ( 4 ) : 75-100 ( 2003 ) [j35] 亚伦·W·基恩 , 石原隆志 , 贾斯汀·马里斯 , 李铁军 , 尤金·福多 , 罗纳德·奥尔森 :
并发编程和协作多线程的比较。 同意。 计算。 实际。 支出。 15 ( 1 ) : 27-53 ( 2003 ) [公元25年] 亚伦·W·基恩 , 罗纳德·奥尔森 :
并发编程语言的一种内部调用选择机制。 欧洲-保时捷 2003 : 770-780 2002 [公元34年] 尤金·福多尔 , 罗纳德·奥尔森 :
SIR:对SR程序的程序间并发支持。 计算。 语言系统。 结构。 28 ( 4 ) : 307-325 ( 2002 ) [公元33年] 罗纳德·奥尔森 , 格雷戈里·本森 , 丁健阁 , 亚伦·W·基恩 :
共享调用服务的公平性。 计算。 语言系统。 结构。 28 ( 4 ) : 327-351 ( 2002 ) [公元32年] 罗纳德·奥尔森 :
多级别转义语句的附加转换。 柔和。 测试。 验证可靠性。 12 ( 2 ) : 71-76 ( 2002 ) [公元24年] 亚伦·W·基恩 , 罗纳德·奥尔森 :
异步方法调用期间的异常处理(研究注释)。 欧洲-保时捷 2002 : 656-660 【c23】 石原隆 , 亚伦·W·基恩 , 贾斯汀·马里斯 , 埃里克·沃尔斯塔特 , 罗纳德·奥尔森 :
CoW:一个协作的多线程Web服务器。 PDPTA公司 2002 : 991-996 2001 [公元22年] 亚伦·W·基恩 , 丁健阁 , 贾斯汀·马里斯 , 罗纳德·奥尔森 :
JR:扩展Java中的灵活分布式编程。 ICDCS系统 2001 : 575-584 2000 [公元31年] 罗纳德·奥尔森 :
调用处理的并发编程语言支持:设计和实现。 ACM SIGSOFT软件。 工程注释 25 ( 1 ) : 68-69 ( 2000 ) 【c21】 石原隆志 , 李铁军 , 尤金·福多 , 罗纳德·奥尔森 :
并发编程与协作多线程的比较。 欧洲-保时捷 2000 : 729-738 [公元20年] 罗纳德·奥尔森 , 拉克西坎特·V·卡莱 , 彼得·贝克曼 , 马修·海恩斯 :
并行编程运行时系统研讨会(RTSPP)。 IPDPS研讨会 2000 : 1134-1135
1990 – 1999
1999 [j30] 罗纳德·奥尔森 :
SR程序的可复制执行。 同意。 实际。 支出。 11 ( 9 ) : 479-507 ( 1999 ) [公元29年] 米拉·阿切尔 , 艾米·洛 , 罗纳德·奥尔森 :
走向程序验证的转换方法。 柔和。 测试。 验证可靠性。 9 ( 2 ) : 85-106 ( 1999 ) [公元28年] 崔章 , 布莱恩·贝克尔 , 戴夫·佩蒂科拉斯 , 罗纳德·奥尔森 , 卡尔·莱维特 :
LVT:分布式计算系统的分层验证技术。 柔和。 测试。 验证可靠性。 9 ( 2 ) : 107-133 ( 1999 ) [公元27年] 崔章 , 罗纳德·奥尔森 , 卡尔·莱维特 :
分布式编程语言编程逻辑的形式验证。 西奥。 计算。 科学。 216 ( 1-2 ) : 213-235 ( 1999 ) [第19条] 尤金·福多 , 罗纳德·奥尔森 :
对互操作应用程序的并发语言支持。 IPPS/SDPP研讨会 1999 : 100-107 [第18条] 尤金·福多 , 罗纳德·奥尔森 :
合作多线程:应用经验。 PDPTA公司 1999 : 1953-1957 [电子1] 何塞·D·P·罗利姆 , 弗兰克·米勒 , 阿尔伯特·Y·佐马亚 , 菲克雷特·埃尔萨勒 , 斯蒂芬·奥拉里奥 , 比诺伊·拉文德兰 , 简·古斯塔夫森 , Hiroaki Takada公司 , 罗纳德·奥尔森 , 拉克西坎特·V·卡莱 , 彼得·贝克曼 , 马修·海恩斯 , 霍萨姆·A·埃尔金迪 , 丹尼斯·卡罗姆 , 谢尔盖·乔米特 , 杰弗里·福克斯 , 易潘 , 李克勤 , 陶阳 , G.吉奥拉 , 吉安尼·孔蒂 , 路易吉·曼奇尼 , 多米尼克·梅里 , 贝弗利·A·桑德斯 , 德维什·巴特 , 维克托·普拉桑纳 :
并行和分布式处理,11个IPPS/SDP'99研讨会,与第13届国际并行处理研讨会和第10届并行和分布式处理研讨会同时举行,1999年4月12日至16日,美国波多黎各圣胡安,会议记录。 计算机科学课堂讲稿 1586, 施普林格 1999 ,十亿 3-540-65831-9 [目录] 1998 [公元26年] 钟溥敏 , 罗纳德·奥尔森 :
并发程序设计语言中调用处理的新机制。 计算。 语言。 24 ( 4 ) : 245-270 ( 1998 ) [公元25年] 罗伯特·J·肖 , 罗纳德·奥尔森 :
解决并发程序的传统形式推理方法的缺点:源代码正确性的新工具和技术。 信息科学。 106 ( 3-4 ) : 259-275 ( 1998 ) [公元24年] 柯克·A·布拉德利 , 史蒂文·张 , 尼古拉斯·普克萨 , 比斯瓦纳特·穆克吉 , 罗纳德·奥尔森 :
检测破坏性路由器:一种分布式网络监测方法。 IEEE网络。 12 ( 5 ) : 50-60 ( 1998 ) [第17条] 格雷戈里·D·本森 , 罗纳德·奥尔森 :
并发运行时系统中专门化线程的框架。 LCR公司 1998 : 139-152 [第16条] 柯克·A·布拉德利 , 史蒂文·张 , 尼古拉斯·普克萨 , 比斯瓦纳特·穆克吉 , 罗纳德·奥尔森 :
检测中断路由器:一种分布式网络监控方法。 标准普尔 1998 : 115-124 1997 [公元23年] 尼古拉斯·普克萨 , 钟溥敏 , 罗纳德·奥尔森 , 比斯瓦纳特·穆克吉 :
用于测试入侵检测系统的软件平台。 IEEE软件。 14 ( 5 ) : 43-51 ( 1997 ) [公元22年] 雷蒙德·W·罗 , 卡尔·莱维特 , 罗纳德·奥尔森 :
数组访问验证:流分析和程序验证技术的集成。 柔和。 测试。 验证可靠性。 7 ( 4 ) : 201-227 ( 1997 ) [第15条] 崔章 , 布莱恩·贝克尔 , 戴夫·佩蒂科拉斯 , 马克·赫克曼 , 卡尔·莱维特 , 罗纳德·奥尔森 :
分布式计算的验证。 HICSS(5) 1997 : 252-261 1996 [公元21年] W.Wilson Ho先生 , 罗纳德·奥尔森 :
用于构建调试和监视工具的分层模型。 J.系统。 柔和。 34 ( 三 ) : 211-222 ( 1996 ) [公元20年] 罗纳德·奥尔森 , 卡罗尔·M·麦克纳米 :
使用C预处理器实现SR的CCR、Monitor和CSP预处理器的经验。 柔和。 实际。 支出。 26 ( 2 ) : 125-134 ( 1996 ) [公元19年] 尼古拉斯·普克萨 , Kui Zhang(张奎) , 钟溥敏 , 比斯瓦纳特·穆克吉 , 罗纳德·奥尔森 :
一种测试入侵检测系统的方法。 IEEE传输。 软件工程。 22 ( 10 ) : 719-729 ( 1996 ) [第14条] 格雷戈里·本森 , 罗纳德·奥尔森 :
SR并发编程语言的微内核支持。 PDPTA公司 1996 : 1513-1524 [第13条] 罗伯特·J·肖 , 罗纳德·奥尔森 :
解决并发程序的传统形式推理方法的缺点:源代码修正的新工具和技术。 PDPTA公司 1996 : 1525-1548 [第12条] 罗伯特·M·盖巴拉 , 卡罗尔·M·麦克纳米 , 罗纳德·奥尔森 :
一种强制性并发编程语言的解释器。 PDPTA公司 1996 : 1561- [第11条] 马克·赫克曼 , 崔章 , 布莱恩·贝克尔 , 戴夫·佩蒂科拉斯 , 卡尔·莱维特 , 罗纳德·奥尔森 :
应用组合原理验证微内核操作系统。 TPHOL公司 1996 : 235-250 1995 [j18] 理查德·H·克劳福德 , 罗纳德·奥尔森 , W.Wilson Ho先生 , 克里斯托弗·E·韦 :
调试语言设计中的语义问题。 计算。 语言。 21 ( 1 ) : 17-37 ( 1995 ) [公元17年] 雷蒙德·W·罗 , 卡尔·莱维特 , 罗纳德·奥尔森 :
MCF:恶意代码过滤器。 计算。 安全。 14 ( 6 ) : 541-566 ( 1995 ) [公元16年] 罗纳德·奥尔森 , 卡罗尔·麦克纳姆 :
用于教授CCR、监控器和CSP并发编程概念的工具。 ACM SIGCSE公牛。 27 ( 2 ) : 31-40 ( 1995 ) [第10条] 格雷戈里·D·本森 , 罗纳德·奥尔森 :
Sr并发编程语言的微内核支持设计。 LCR公司 1995 : 227-240 【c9】 崔章 , 布莱恩·贝克尔 , 马克·赫克曼 , 卡尔·莱维特 , 罗纳德·奥尔森 :
分布式编程语言推理的层次方法。 TPHOL公司 1995 : 385-400 1993 【c8】 崔章 , 罗伯特·J·肖 , 罗纳德·奥尔森 , 卡尔·莱维特 , 米拉·阿切尔 , 马克·赫克曼 , 格雷戈里·本森 :
HOL中并发编程语言microSR的编程逻辑机械化。 拥抱 1993 : 29-42 1992 [公元15年] 罗纳德·奥尔森 , 卡罗尔·麦克纳姆 :
进入选择:非确定性和显性控制机制。 计算。 语言。 17 ( 4 ) : 269-282 ( 1992 ) 【c7】 理查德·克劳福德 , 罗纳德·奥尔森 , W.Wilson Ho先生 , 克里斯托弗·E·韦 :
调试语言设计中的语义问题。 ICCL公司 1992 : 252-261 【c6】 卡罗尔·麦克纳姆 , 罗纳德·奥尔森 :
用于确定处理器共存的静态模块间分析。 ICPP(2) 1992 : 200-207 1991 [公元14年] 卡罗尔·麦克纳姆 , 罗纳德·奥尔森 :
一种用于编译器优化模块内进程间通信的属性语法方法。 国际J并行程序。 20 ( 三 ) : 181-202 ( 1991 ) [j13] 罗纳德·奥尔森 , 丹尼尔·T·黄 :
“转义”语句的公理语义。 信息处理。 莱特。 39 ( 1 ) : 27-33 ( 1991 ) [公元12年] 罗纳德·奥尔森 , 理查德·克劳福德 , W.Wilson Ho先生 , 克里斯托弗·E·韦 :
高抽象级别的顺序调试。 IEEE软件。 8 ( 三 ) : 27-36 ( 1991 ) [公元11年] 罗纳德·奥尔森 , 理查德·克劳福德 , W.Wilson Ho先生 :
基于事件的调试的数据流方法。 柔和。 实际。 支出。 21 ( 2 ) : 209-230 ( 1991 ) [公元10年] W.Wilson Ho先生 , 罗纳德·奥尔森 :
一种真正的动态链接方法。 柔和。 实际。 支出。 21 ( 4 ) : 375-390 ( 1991 ) 【c5】 雷蒙德·W·罗 , P.Kerchen先生 , 理查德·克劳福德 , W.Wilson Ho先生 , J.克罗斯利 , 乔治·芬克 , 卡尔·莱维特 , 罗纳德·奥尔森 , 米拉·阿切尔 :
朝向恶意代码检测的测试台。 康普康 1991 : 160-166 【c4】 罗纳德·奥尔森 :
SR中的并行性、分发和同步。 美国电力公司 1991 : 407-412 【c3】 罗纳德·奥尔森 , 卡罗尔·麦克纳姆 :
进程间通信和同步机制的编译器优化概述。 ICPP(2) 1991 : 31-35 1990 [公元9年] 丹尼尔·T·黄 , 罗纳德·奥尔森 :
SR的异常处理机制。 计算。 语言。 15 ( 三 ) : 163-176 ( 1990 ) [j8] 卡罗尔·麦克纳姆 , 罗纳德·奥尔森 :
用于优化进程间通信和同步机制的转换。 国际J并行程序。 19 ( 5 ) : 357-387 ( 1990 ) [j7] 罗纳德·奥尔森 :
将SR用于离散事件模拟:并发编程研究。 柔和。 实际。 支出。 20 ( 12 ) : 1187-1208 ( 1990 ) [j6] 卡罗尔·麦克纳姆 , 罗纳德·奥尔森 :
关于“Ada项目中的关键竞赛”的评论。 IEEE传输。 软件工程。 16 ( 12 ) : 1439 ( 1990 ) 【c2】 罗纳德·奥尔森 , 理查德·克劳福德 , W.Wilson Ho先生 :
Dalek:一个GNU,改进的可编程调试器。 USENIX夏季 1990 : 221-232
1980 – 1989
1989 [j5] 迈克尔·H·科芬 , 罗纳德·奥尔森 :
多路交会的SR方法。 计算。 语言。 14 ( 4 ) : 255-262 ( 1989 ) 【j4】 罗纳德·奥尔森 , 格雷戈里·怀特黑德 :
模块化编程语言中自动重新编译的简单技术。 柔和。 实际。 支出。 19 ( 8 ) : 757-773 ( 1989 ) 1988 [j3] M.斯特拉·阿特金斯 , 罗纳德·奥尔森 :
程序设计语言SR中多任务和同步机制的性能。 柔和。 实际。 支出。 18 ( 9 ) : 879-895 ( 1988 ) [注2] 格雷戈里·安德鲁斯 , 罗纳德·奥尔森 , 迈克尔·H·科芬 , 欧文·埃尔肖夫 , 开尔文·D·尼尔森 , 提图斯·D·M·珀丁 , 格雷格·汤森 :
SR语言和实现概述。 ACM事务处理。 程序。 语言系统。 10 ( 1 ) : 51-86 ( 1988 ) 1987 【c1】 理查德·施利钦(Richard D.Schlichting) , 格雷戈里·安德鲁斯 , 诺曼·C·哈钦森 , 罗纳德·奥尔森 , 拉里·彼得森 :
关于构建分布式语言和系统的观察。 分布式系统经验 1987 : 271-291 1986 [j1] 格雷戈里·安德鲁斯 , 罗纳德·奥尔森 :
SR语言的演变。 分布式计算。 1 ( 三 ) : 133-149 ( 1986 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)