默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

约翰·雷格尔

>主页 >珀森斯

人员信息

附属： 美国犹他州盐湖城犹他大学

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2024
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/MukherjeeR24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/MukherjeeR24
马纳西·穆克吉,约翰·雷格尔:
Hydra：用程序合成推广剥离优化。程序。ACM计划。语言。 8(OOPSLA1公司):725-753(2024)
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cgo/FanR24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cgo/FanR24
范玉友,约翰·雷格尔:
LLVM的高吞吐量、形式化方法辅助模糊。 CGO公司 2024:349-358
2023
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/LivinskiiBR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/LivinskiiBR23
维塞沃洛德·利文斯基,德米特里·巴博金,约翰·雷格尔:
C++和数据并行语言编译器中的模糊循环优化。程序。ACM计划。语言。 7(PLDI公司):1826-1847(2023)
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2306-00229
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2306-00229
刘正阳,斯特凡·马达,约翰·雷格尔:
Minotaur：一个面向SIMD的合成超级优化器。 CoRR公司腹肌/2306.00229(2023)
2021
[公元46年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LopesLHLR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LopesLHLR21
努诺·P·洛佩斯,朱尼扬·李,中基尔湖,刘正阳,约翰·雷格尔:
Alive2:LLVM的有界翻译验证。 PLDI公司 2021:65-79
2020
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/MukerjeeKLR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/MukherjeeKLR20
马纳西·穆克吉,普拉纳夫·坎特,刘正阳,约翰·雷格尔:
基于数据流的修剪可以加快超优化。程序。ACM计划。语言。 4(OOPSLA公司):177:1-177:24(2020)
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/LivinskiiBR20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/LivinskiiBR20
维塞沃洛德·利文斯基,德米特里·巴博金,约翰·雷格尔:
使用YARPGen对C和C++编译器进行随机测试。程序。ACM计划。语言。 4(OOPSLA公司):196:1-196:25(2020)
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cgo/TanejaLR20会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cgo/TanejaLR20
朱比·塔内加,刘正阳,约翰·雷格尔:
测试静态分析的精确度和可靠性。 CGO公司 2020:81-93

2010 – 2019

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2018
[j10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/LopesMNR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/LopesMNR18
努诺·P·洛佩斯,大卫·梅内德斯,Santosh Nagarakatte公司,约翰·雷格尔:
用Alive对窥视孔优化进行实际验证。 Commun公司。ACM公司 61(2):84-91(2018)
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/LeeHJLRL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/LeeHJLRL18
朱尼扬·李,中基尔湖,拉尔夫·荣格,刘正阳,约翰·雷格尔,努诺·P·洛佩斯:
协调LLVM中的高级优化和低级代码。程序。ACM计划。语言。 2(OOPSLA公司):125:1-125:28(2018)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1809-02161
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-02161
努诺·P·洛佩斯,约翰·雷格尔:
优化编译器的未来方向。 CoRR公司 abs/1809.02161(2018)
2017
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/RegehrB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/RegehrB17
约翰·雷格尔,彼得·贝利斯:
实践研究：学术计算机科学中的激烈公开辩论。 Commun公司。ACM公司 60(12):48-50(2017)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/队列/Regehr17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/queue/Regehr17
约翰·雷格尔:
学术计算机科学中的激烈公开辩论。 ACM队列 15(三):70(2017)
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LeeKSHDMRL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LeeKSHDMRL17
朱尼扬·李,Yoonseung Kim先生,宋永州,中基尔湖,桑乔伊·达斯,大卫·马尼默,约翰·雷格尔,努诺·P·洛佩斯:
驯服LLVM中未定义的行为。 PLDI公司 2017:633-647
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-04422
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-04422
莱蒙达斯·萨斯诺斯卡斯,杨晨,彼得·科林伯恩,杰伦·凯特马,朱比·塔内加,约翰·雷格尔:
Souper：合成超级优化器。 CoRR公司 abs/1711.04422(2017)
2016
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cacm/Regehr16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cacm/Regehr16
约翰·雷格尔:
堆叠未定义的行为：技术角度。 Commun公司。ACM公司 59(三):98(2016)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/stvr/GroceAZCR16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/stvr/GroceAZCR16
亚历克斯·格罗斯,穆罕默德·阿明·阿利普尔,张超强,杨晨,约翰·雷格尔:
减少原因：增量调试，即使没有错误。柔和。测试。验证可靠性。 26(1):40-68(2016)
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vee/BurtsevJHER16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vee/BurtsevJHER16
安东·伯采夫,大卫·约翰逊,迈克·希布勒,埃里克·艾德,约翰·雷格尔:
实用虚拟机回放摘要。 VEE公司 2016:93-106
2015
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tosem/DietzLRA15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tosem/DietzLRA15
威尔·迪茨,彭丽,约翰·雷格尔,维克拉姆·S·阿德:
了解C/C++中的整数溢出。 ACM事务处理。柔和。工程方法。 25(1):2:1-2:29(2015)
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/LopesMNR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/LopesMNR15
努诺·P·洛佩斯,大卫·梅内德斯,Santosh Nagarakatte公司,约翰·雷格尔:
用alive验证正确的窥视孔优化。 PLDI公司 2015:22-32
2014
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/GroceAZCR14会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/GroceAZCR14
亚历克斯·格罗斯,穆罕默德·阿明·阿利普尔,张超强,杨晨,约翰·雷格尔:
快速测试原因减少。 ICST公司 2014:243-252
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/SassnauskasR14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/SasnauskasR14
莱蒙达斯·萨斯诺斯卡斯,约翰·雷格尔:
意图模糊：制造死亡意图。沃达牌手表+佩尔蒂@ISSTA 2014:1-5
2013
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issre/GroceZAECR13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issre/GroceZAECR13
亚历克斯·格罗斯,张超强,穆罕默德·阿明·阿利普尔,埃里克·艾德,杨晨,约翰·雷格尔:
救命，救命，我被镇压了！抑制器在软件测试中的重要性。 ISSRE公司 2013:390-399
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ChenGZWFER13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ChenGZWFER13
杨晨,亚历克斯·格罗斯,张超强,王瓮记,小李Z.蕨类,埃里克·艾德,约翰·雷格尔:
驯服编译器模糊器。 PLDI公司 2013:197-208
2012
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/DietzLRA12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/DietzLRA12
威尔·迪茨,彭丽,约翰·雷格尔,维克拉姆·S·阿德:
理解C/C++中的整数溢出。 ICSE公司 2012:760-770
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/GroceZECR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/GroceZECR12
亚历克斯·格罗斯,张超强,埃里克·艾德,杨晨,约翰·雷格尔:
群集测试。 ISSTA公司 2012:78-88
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/CuoqMPPRYY12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/CuoqMPPRYY12
帕斯卡·库克,本杰明·莫纳特,安妮·帕卡莱特,维吉尔·普雷沃斯托,约翰·雷格尔,鲍里斯·亚科博夫斯基,杨学军:
使用随机生成的程序测试静态分析器。 NASA形式方法 2012:120-125
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/RegehrCCEEY12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/RegehrCCEEY12
约翰·雷格尔,杨晨,帕斯卡·库克,埃里克·艾德,丘基·埃里森,杨学军:
C编译器错误的测试用例减少。 PLDI公司 2012:335-346
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/emsoft/2012
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/2012
艾哈迈德·杰拉亚,卢卡·卡洛尼,弗洛伦斯·马兰尼奇,约翰·雷格尔:
第十二届嵌入式软件国际会议论文集，EMSOFT 2012，第八届嵌入式系统周，ESWeek 2012，芬兰坦佩雷，2012年10月7日至12日。 ACM公司 2012，国际标准图书编号978-1-4503-1425-1 [目录]
2011
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/ZhaoLSR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/ZhaoLSR11
Lu Zhao先生,李国栋,比约恩·德·萨特,约翰·雷格尔:
ARMor：经过充分验证的软件故障隔离。 EMSOFT公司 2011:289-298
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/YangCER11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/YangCER11
杨学军,杨晨,埃里克·艾德,约翰·雷格尔:
发现并理解C编译器中的错误。 PLDI公司 2011:283-294
2010
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ipsn/LiR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ipsn/LiR10
彭丽,约翰·雷格尔:
T-检查：传感器网络的错误查找。 IPSN网络 2010:174-185
[公元30年]
- 看法
  - 电子版@usenix.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ssv/DuanR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ssv/DuanR10
段建军,约翰·雷格尔:
嵌入式系统中设备驱动程序的正确性证明。小型蒸汽发生器 2010

2000 – 2009

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2009
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iwmm/RafkindWRF09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iwmm/RafkindWRF09
乔恩·拉夫金德,亚当·威克,约翰·雷格尔,马修·弗拉特:
C的精确垃圾收集。 ISMM公司 2009:39-48
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lctrts/阳CR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lctrts/YangCR09
杨学军,内森·库普里德,约翰·雷格尔:
消除调用堆栈以节省RAM。 LCTES公司 2009:60-69
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sosp/ChenGKLR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sosp/ChenGKLR09
杨晨,奥姆普拉卡什·格纳瓦利,玛丽亚·卡赞杰娃,菲利普·亚历山大·利维斯,约翰·雷格尔:
幸存的传感器网络软件故障。 SOSP（标准操作程序） 2009:235-246
2008
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigbed/Coprider2008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigbed/CoopriderR08
内森·库普里德,约翰·雷格尔:
使用排序触发更好的分析。 SIGBED版本。 5(1):9(2008)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aosd/ChakravarthyRE08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aosd/ChakravarthyRE08
文卡特·查克拉瓦尔西,约翰·雷格尔,埃里克·艾德:
法令：通过灵活的绑定时间实现功能。 AOSD公司 2008:108-119
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/EideR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/EideR08
埃里克·艾德,约翰·雷格尔:
波动率被错误编译，以及该怎么办。 EMSOFT公司 2008:255-264
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lctrts/2008年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lctrts/2008
Krisztián Flautner公司,约翰·雷格尔:
2008年ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具会议记录（LCTES'08），美国亚利桑那州图森，2008年6月12-13日。 ACM公司 2008，国际标准图书编号978-1-60558-104-0 [目录]
2007
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ipsn/ArcherLR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ipsn/ArcherLR07
阿彻,菲利普·亚历山大·利维斯,约翰·雷格尔:
TinyOS的接口合同。 IPSN网络 2007:158-165
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/协调员R07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/CoopriderR07
内森·库普里德,约翰·雷格尔:
片上ram的脱机压缩。 PLDI公司 2007:363-372
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/SammapunLSR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/SammapunLSR07
乌萨·桑马普恩,因苏普·李,奥列格·索科尔斯基,约翰·雷格尔:
概率特性的统计运行时检查。右心室 2007:164-175
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sensys/CoopriderAEGR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sensys/CoopriderAEGR07
内森·库普里德,阿彻,埃里克·艾德,大卫·盖伊,约翰·雷格尔:
TinyOS的高效内存安全。传感器系统 2007:205-218
【r1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 参考号/crc/Regehr07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/reference/crc/Regehr07
约翰·雷格尔:
实时和嵌入式软件中中断的安全和结构化使用。实时和嵌入式系统手册 2007
[i1]
- 看法
  - 电子版@dagstuhl.de（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/SokolskySRL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/SokolskySRL07
奥列格·索科尔斯基,乌萨·桑马普恩,约翰·雷格尔,因苏普·李:
无线传感器网络应用程序的运行时验证。运行时验证 2007
2006
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/dsonline/Regehr06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dsonline/Regehr06
约翰·雷格尔:
来自编者：实时和嵌入式系统——教学可靠性。 IEEE分布式系统。在线的 7(5)(2006)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asplos/RegehrCG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asplos/RegehrCG06
约翰·雷格尔,内森·库普里德,大卫·盖伊:
微型嵌入式系统中的原子性和可见性。多环芳烃 2006:2
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asplos/RegehrCAE06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asplos/RegehrCAE06网址
约翰·雷格尔,内森·库普里德,阿彻,埃里克·艾德:
小型嵌入式系统的高效类型和内存安全。多环芳烃 2006:6
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lctrts/RegehrD06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lctrts/RegehrD06
约翰·雷格尔,Usit Duongsaa公司:
推导用于分析嵌入式软件的抽象传递函数。 LCTES公司 2006:34-43
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lctrts/协调员R06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lctrts/CoopriderR06
内森·库普里德,约翰·雷格尔:
用于分析嵌入式软件的可插入抽象域。 LCTES公司 2006:44-53
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/RegehrC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/RegehrC07
约翰·雷格尔,内森·库普里德:
通过线程验证进行中断验证。电视@FLoC 2006:139-150
2005
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tecs/RegehrRW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tecs/RegehrRW05
约翰·雷格尔,阿拉斯泰尔·里德,柯克·韦伯:
通过抽象解释消除堆栈溢出。 ACM事务处理。嵌入。计算。系统。 4(4):751-778(2005)
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/Regehr05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/Regehr05
约翰·雷格尔:
中断驱动软件的随机测试。 EMSOFT公司 2005:290-298
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lctrts/RegehrD05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lctrts/RegehrD05
约翰·雷格尔,Usit Duongsaa公司:
防止中断过载。 LCTES公司 2005:50-58
2004
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asplos/RegehrR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asplos/RegehrR04
约翰·雷格尔,阿拉斯泰尔·里德:
升降机：一个为嵌入式系统自动导出静态分析器的系统。 ASPLOS公司 2004:133-143
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ratas/EideSRL04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtas/EideSRL04
埃里克·艾德,蒂姆·斯塔克,约翰·雷格尔,杰·勒普劳（Jay Lepreau）:
基于中间件的实时系统的动态CPU管理。 IEEE实时和嵌入式技术及应用研讨会 2004:286-295
2003
[c11]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/emsoft/RegehrRW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/emsoft/RegehrRW03
约翰·雷格尔,阿拉斯泰尔·里德,柯克·韦伯:
通过抽象解释消除堆栈溢出。 EMSOFT公司 2003:306-322
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtss/RegehrRWPL03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtss/RegehrRWPL03
约翰·雷格尔,阿拉斯泰尔·里德,柯克·韦伯,迈克尔·帕克,杰·勒普劳（Jay Lepreau）:
使用分层调度和并发分析进化实时系统。 RTSS系统 2003:25-36
2002
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/EideRRL02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/EideRL02
埃里克·艾德,阿拉斯泰尔·里德,约翰·雷格尔,杰·勒普劳（Jay Lepreau）:
设计模式中的静态和动态结构。 ICSE公司 2002:208-218
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtss/Regehr02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtss/Regehr02
约翰·雷格尔:
具有混合抢占关系的调度任务对定时故障的鲁棒性。 RTSS系统 2002:315-326
【c7】
- 看法
  - 电子版@usenix.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/usenix/Regehr02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/usenix/Regehr02
约翰·雷格尔:
用沙漏推断调度行为。 USENIX ATC，FREENIX轨道 2002:143-156
2001
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mm/RegehrL01型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mm/RegehrL01
约翰·雷格尔,杰·勒普劳（Jay Lepreau）:
使用中间件来管理各种软实时调度器的情况。 M3W@毫米 2001:23-27
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtas/RegehrS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtas/RegehrS01
约翰·雷格尔,约翰·斯坦科维奇:
增强的CPU保留：在通用操作系统上实现可预测的执行。 IEEE实时技术与应用研讨会 2001:141-148
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtas/JonesRS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtas/JonesRS01
迈克尔·琼斯,约翰·雷格尔,斯特凡·萨鲁:
使用Rialto/NT的可预测应用程序调度的两个案例研究。 IEEE实时技术与应用研讨会 2001:157-164
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtss/RegehrS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtss/RegehrS01
约翰·雷格尔,约翰·斯坦科维奇:
HLS：一个用于编写软实时调度器的框架。 RTSS系统 2001:3-14

1990 – 1999

请参阅常见问题解答

出版物列表中的颜色是什么意思？

1999
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/hotos/JonesR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hotos/JonesR99
迈克尔·琼斯,约翰·雷格尔:
你所遇到的问题可能不是你认为你遇到的问题：来自Windows NT延迟研究的结果。操作系统热点专题研讨会 1999:96-101
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rtas/JonesR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rtas/JonesR99
迈克尔·琼斯,约翰·雷格尔:
你所遇到的问题可能不是你认为你遇到的问题：来自Windows NT延迟研究的结果。 IEEE实时技术与应用研讨会 1999:287-

合著者索引

请参阅常见问题解答

管理站点设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。