阿里亚斯JBae K公司Olarte C公司奥列夫茨基·P佩特鲁奇L勒明F(2024)基于Maude和SMT求解的全局变量参数时间自动机网络的符号分析和参数综合计算机程序设计科学2016年10月10日/j.scico.2023.103074233：C在线发布日期：2024年3月1日
https://dl.acm.org/doi/10.1016/j.scico.2023.103074
阿尔西尔J安德烈埃(2024)参数时间自动机中的区域外推系统和软件工程创新2007年10月1日/11334-024-00554-5在线发布日期：2024年4月17日
https://doi.org/10.1007/s11334-024-00554-5
滑雪板A库特尼M米库尔斯基彭切克W(2024)反应系统的反应采矿自然计算2007年10月17日/11047-024-09989-y23:2(323-343)在线发布日期：2024年7月24日
https://doi.org/10.1007/s11047-024-09989-y
显示更多引用者

索引术语

参数化实时推理
1. 计算机系统组织
  1. 嵌入式和网络物理系统
  2. 实时系统
2. 计算理论
  1. 形式语言与自动机理论
  2. 计算模型
    1. 可计算性

建议

实时系统的参数定时分析

我们将TCTL模型检查问题扩展到实时系统的参数定时分析问题，并开发了解决该问题的新技术。。。
实时系统中的Cpu分时
实时操作系统的WCET分析综述
ICESS’09：2009年嵌入式软件与系统国际会议论文集

硬实时系统的时序正确性由程序的可调度性分析和最坏情况执行时间（WCET）分析来保证。传统的WCET分析主要处理应用程序，并在行业中取得了成功。。。

信息和贡献者

问询处

发布于

STOC’93：第二十五届ACM计算理论研讨会会议记录

1993年6月

812页

国际标准图书编号：0897915917

内政部：10.1145/167088

主席：
饶科萨拉州
约翰·霍普金斯大学，马里兰州巴尔的摩
,
大卫·约翰逊
AT&T贝尔实验室。
,
阿洛克·阿加瓦尔
IBM T.J.Watson研究中心，纽约州约克敦高地

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

赞助商

SIGACT:ACM算法和计算理论特别兴趣小组

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1993年6月1日

权限

请求对此文章的权限。

请求权限

检查更新

限定符

第条

会议

STOC93公司

赞助商：

SIGACT公司

STOC93：第25届ACM计算理论年会

1993年5月16日至18日

加利福尼亚州，美国圣地亚哥

接受率

4586份提交文件的总体接受率为1469份，占32%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章度量标准

264
引文总数
查看引文
761
总下载次数

下载次数（过去12个月）77
下载次数（最近6周）11

反映截至2024年9月18日的下载量

其他指标

查看作者指标

引文

引用人

查看全部

阿里亚斯JBae K公司Olarte C公司奥列夫茨基·P佩特鲁奇L勒明F(2024)基于Maude和SMT求解的全局变量参数时间自动机网络的符号分析和参数综合计算机程序设计科学2016年10月10日/j.scico.2023.103074233：C在线发布日期：2024年3月1日
https://dl.acm.org/doi/10.1016/j.scico.2023.103074
阿尔西尔J安德烈埃(2024)参数时间自动机中的区域外推系统和软件工程创新2007年10月1日/11334-024-00554-5在线发布日期：2024年4月17日
https://doi.org/10.1007/s11334-024-00554-5
滑雪板A库特尼M米库尔斯基彭切克W(2024)反应系统的反应采矿自然计算2007年10月17日/11047-024-09989-y23:2(323-343)在线发布日期：2024年7月24日
https://doi.org/10.1007/s11047-024-09989-y
哥特曼H凯撒B啤酒L洛豪姆Schürr A公司费伊A(2024)基于随机定价时间博弈的实时感知重构策略的成本敏感预计算软件和系统建模10.1007/s10270-024-01195-9在线发布日期：2024年8月5日
https://doi.org/10.1007/s10270-024-01195-9
Sucu B公司艾丁·戈尔E(2024)基于循环编码的时间自动机安全参数综合信息学报10.1007/s00236-024-00460-0在线发布日期：2024年7月30日
https://doi.org/10.1007/s00236-024-00460-0
唐T扎哈罗夫五世(2024)参数化有限状态同步传感器决策问题的复杂性自动机的实现与应用10.1007/978-3-031-71112-1_24(332-346)在线发布日期：2024年9月3日
https://doi.org/10.1007/978-3-031-71112-1_24
勒克莱尔L石灰D鲁克斯O(2024)参数DBM及其在时间Petri网中的应用系统的定量评估和时间系统的形式化建模与分析10.1007/978-3-031-68416-6_7(107-124)在线发布日期：2024年9月10日
https://dl.acm.org/doi/10.1007/978-3-031-68416-6_7
安德烈埃阿里亚斯J巴博特BHulin-Hubard F公司Kordon F公司勒夫佩特鲁奇L(2024)CosyVerify：形式化同居之路Petri网和并发的应用与理论10.1007/978-3-031-61433-0_21(432-444)在线发布日期：2024年6月13日
https://doi.org/10.1007/978-3-031-61433-0_21
Dahlsen-Jensen M公司Fievet B公司佩特鲁奇L德波尔J(2024)参数时间博弈可达性的即时算法系统构建和分析的工具和算法10.1007/978-3-031-57256-2_10(194-212)在线发布日期：2024年4月5日
https://doi.org/10.1007/978-3-031-57256-2_10
安德烈Lefaucheux E公司石灰D马里奥·D太阳J(2023)配置定时参数以确保定时自动机中的执行时间不透明度理论计算机科学中的电子论文集10.4204年9月392.1日392(1-26)在线发布日期：2023年10月31日
https://doi.org/10.4204/EPTCS.392.1
显示更多引用者

引用人

索引术语

建议

实时系统的参数定时分析

实时系统中的Cpu分时

实时操作系统的WCET分析综述

评论

发布于

赞助商

出版商

出版历史

权限

检查更新

限定符

会议

接受率

其他指标

文章度量标准

其他指标

引用人

PDF格式

电子阅读器

登录选项

完全访问权限

工具书类

引用人

索引术语

建议

实时系统的参数定时分析

实时系统中的Cpu分时

实时操作系统的WCET分析综述

评论

问询处

发布于

赞助商

出版商

出版历史

权限

检查更新

限定符

会议

接受率

贡献者

其他指标

文献计量学

文章度量标准

其他指标

引文

引用人

查看选项

PDF格式

电子阅读器

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司