会员服务
执行轨迹 · 操作语义 · 序列 · 操作 · 算法 ·
2023 年 4 月 11 日
Execution traces and reduction sequences
翻译：执行轨迹和规约序列
Gilles Dowek
Gilles Dowek

In this note, we defend that the notion of algorithm as a set of execution traces is somewhat independent of the notion of abstract state machine. It can be reformulated in the more general framework of small step operational semantics.


翻译：在这篇论文中，我们主张将算法定义为一组执行轨迹的概念与抽象状态机的概念相对独立。它可以在更一般的小步操作语义框架下重新定义。
0
下载
关闭预览

相关内容

MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
421+阅读 · 2021年1月11日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
纽约大学最新《语音识别Speech Recognition》2020课程，不可错过！
纽约大学最新《语音识别Speech Recognition》2020课程，不可错过！
专知会员服务
43+阅读 · 2020年11月2日
Python计算导论，560页pdf，Introduction to Computing Using Python
Python计算导论，560页pdf，Introduction to Computing Using Python
专知会员服务
72+阅读 · 2020年5月5日
【论文推荐】一种用于逆合成预测的图到图框架，A Graph to Graphs Framework for Retrosynthesis Prediction
【论文推荐】一种用于逆合成预测的图到图框架，A Graph to Graphs Framework for Retrosynthesis Prediction
专知会员服务
11+阅读 · 2020年4月1日
【电子书】大数据挖掘，Mining of Massive Datasets，附513页PDF
【电子书】大数据挖掘，Mining of Massive Datasets，附513页PDF
专知会员服务
103+阅读 · 2020年3月22日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【北京智源大会2019】增强人类智能：从搜索引擎到智能任务助理（ Augmenting Human Intelligence: From Search Engines to Intelligent Task Assistants ）
【北京智源大会2019】增强人类智能：从搜索引擎到智能任务助理（ Augmenting Human Intelligence: From Search Engines to Intelligent Task Assistants ）
专知会员服务
17+阅读 · 2019年11月22日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
56+阅读 · 2019年10月17日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
Multi-Task Learning的几篇综述文章
Multi-Task Learning的几篇综述文章
深度学习自然语言处理
15+阅读 · 2020年6月15日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
【泡泡一分钟】DS-SLAM: 动态环境下的语义视觉SLAM
【泡泡一分钟】DS-SLAM: 动态环境下的语义视觉SLAM
泡泡机器人SLAM
23+阅读 · 2019年1月18日
综述 | 事件抽取及推理 (上)
综述 | 事件抽取及推理 (上)
开放知识图谱
87+阅读 · 2019年1月9日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
AI实战圣经《Machine Learning Yearning》第1-52章中英文版pdf分享
AI实战圣经《Machine Learning Yearning》第1-52章中英文版pdf分享
深度学习与NLP
15+阅读 · 2018年9月8日
【论文推荐】最新六篇主题模型相关论文—动态主题模型、主题趋势、大规模并行采样、随机采样、非参主题建模
【论文推荐】最新六篇主题模型相关论文—动态主题模型、主题趋势、大规模并行采样、随机采样、非参主题建模
专知
14+阅读 · 2018年6月24日
【论文推荐】最新七篇强化学习相关论文—逻辑约束、综述、多任务深度强化学习、参数服务器、事件抽取、分层强化学习、过拟合研究
【论文推荐】最新七篇强化学习相关论文—逻辑约束、综述、多任务深度强化学习、参数服务器、事件抽取、分层强化学习、过拟合研究
专知
25+阅读 · 2018年4月29日
【干货】基于协同过滤的推荐系统实战（附完整代码）
【干货】基于协同过滤的推荐系统实战（附完整代码）
专知
75+阅读 · 2018年4月5日
读书报告 | CN-DBpedia: A Chinese Knowledge Extraction System
读书报告 | CN-DBpedia: A Chinese Knowledge Extraction System
科技创新与创业
19+阅读 · 2018年1月4日
Zakharov系统的解的动力学行为研究
国家自然科学基金
0+阅读 · 2015年12月31日
图论中的整数流与圆流
国家自然科学基金
0+阅读 · 2015年12月31日
III型AtOFPs转录因子对拟南芥荚果形态的调控
国家自然科学基金
0+阅读 · 2014年12月31日
网络设计中的负载均衡问题
国家自然科学基金
0+阅读 · 2013年12月31日
多智能体系统的可控性与群可控性研究
国家自然科学基金
10+阅读 · 2013年12月31日
全基因组关联分析中基因-基因交互网络比较的统计推断方法研究
国家自然科学基金
0+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
轴对称的Navier-Stokes方程
国家自然科学基金
1+阅读 · 2011年12月31日
基于无冲突集的约束Job Shop调度优化算法
国家自然科学基金
0+阅读 · 2009年12月31日
组合Web服务的建模与验证
国家自然科学基金
1+阅读 · 2008年12月31日
Trace models of concurrent valuation algebras
Arxiv
0+阅读 · 2023年5月29日
Finding Optimal Modular Robots for Aerial Tasks
Arxiv
0+阅读 · 2023年5月29日
An evaluation of a microprocessor with two independent hardware execution threads coupled through a shared cache
Arxiv
0+阅读 · 2023年5月28日
Asymptotic tail properties of Poisson mixture distributions
Asymptotic tail properties of Poisson mixture distributions
Arxiv
0+阅读 · 2023年5月26日
Chakra: Advancing Performance Benchmarking and Co-design using Standardized Execution Traces
Arxiv
0+阅读 · 2023年5月26日
A Survey of Security Concerns and Countermeasures in Modern Micro-architectures with Transient Execution
Arxiv
0+阅读 · 2023年5月25日
A Fast Algorithm for Consistency Checking Partially Ordered Time
Arxiv
0+阅读 · 2023年5月25日
Definition and Detection of Defects in NFT Smart Contracts
Arxiv
0+阅读 · 2023年5月25日
A continuum and computational framework for viscoelastodynamics: II. Strain-driven and energy-momentum consistent schemes
Arxiv
0+阅读 · 2023年5月25日
From Interactive to Co-Constructive Task Learning
Arxiv
0+阅读 · 2023年5月24日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
执行轨迹
操作语义
序列
操作
算法
相关VIP内容
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
MIT经典《线性代数》，584页pdf，Introduction to Linear Algebra, Fifth Edition, Gilbert Strang, 2016.
专知会员服务
421+阅读 · 2021年1月11日
INRIA 最新《机器学习理论》课程笔记，176页pdf
专知会员服务
50+阅读 · 2020年12月14日
纽约大学最新《语音识别Speech Recognition》2020课程，不可错过！
纽约大学最新《语音识别Speech Recognition》2020课程，不可错过！
专知会员服务
43+阅读 · 2020年11月2日
Python计算导论，560页pdf，Introduction to Computing Using Python
Python计算导论，560页pdf，Introduction to Computing Using Python
专知会员服务
72+阅读 · 2020年5月5日
【论文推荐】一种用于逆合成预测的图到图框架，A Graph to Graphs Framework for Retrosynthesis Prediction
【论文推荐】一种用于逆合成预测的图到图框架，A Graph to Graphs Framework for Retrosynthesis Prediction
专知会员服务
11+阅读 · 2020年4月1日
【电子书】大数据挖掘，Mining of Massive Datasets，附513页PDF
【电子书】大数据挖掘，Mining of Massive Datasets，附513页PDF
专知会员服务
103+阅读 · 2020年3月22日
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
图像分类技巧集，17页ppt《Bag of Tricks for Image Classification》
专知会员服务
94+阅读 · 2020年3月12日
【北京智源大会2019】增强人类智能：从搜索引擎到智能任务助理（ Augmenting Human Intelligence: From Search Engines to Intelligent Task Assistants ）
【北京智源大会2019】增强人类智能：从搜索引擎到智能任务助理（ Augmenting Human Intelligence: From Search Engines to Intelligent Task Assistants ）
专知会员服务
17+阅读 · 2019年11月22日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
56+阅读 · 2019年10月17日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
热门VIP内容
相关资讯
Multi-Task Learning的几篇综述文章
Multi-Task Learning的几篇综述文章
深度学习自然语言处理
15+阅读 · 2020年6月15日
Transferring Knowledge across Learning Processes
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
【泡泡一分钟】DS-SLAM: 动态环境下的语义视觉SLAM
【泡泡一分钟】DS-SLAM: 动态环境下的语义视觉SLAM
泡泡机器人SLAM
23+阅读 · 2019年1月18日
综述 | 事件抽取及推理 (上)
综述 | 事件抽取及推理 (上)
开放知识图谱
87+阅读 · 2019年1月9日
disentangled-representation-papers
disentangled-representation-papers
CreateAMind
26+阅读 · 2018年9月12日
AI实战圣经《Machine Learning Yearning》第1-52章中英文版pdf分享
AI实战圣经《Machine Learning Yearning》第1-52章中英文版pdf分享
深度学习与NLP
15+阅读 · 2018年9月8日
【论文推荐】最新六篇主题模型相关论文—动态主题模型、主题趋势、大规模并行采样、随机采样、非参主题建模
【论文推荐】最新六篇主题模型相关论文—动态主题模型、主题趋势、大规模并行采样、随机采样、非参主题建模
专知
14+阅读 · 2018年6月24日
【论文推荐】最新七篇强化学习相关论文—逻辑约束、综述、多任务深度强化学习、参数服务器、事件抽取、分层强化学习、过拟合研究
【论文推荐】最新七篇强化学习相关论文—逻辑约束、综述、多任务深度强化学习、参数服务器、事件抽取、分层强化学习、过拟合研究
专知
25+阅读 · 2018年4月29日
【干货】基于协同过滤的推荐系统实战（附完整代码）
【干货】基于协同过滤的推荐系统实战（附完整代码）
专知
75+阅读 · 2018年4月5日
读书报告 | CN-DBpedia: A Chinese Knowledge Extraction System
读书报告 | CN-DBpedia: A Chinese Knowledge Extraction System
科技创新与创业
19+阅读 · 2018年1月4日
相关论文
Trace models of concurrent valuation algebras
Arxiv
0+阅读 · 2023年5月29日
Finding Optimal Modular Robots for Aerial Tasks
Arxiv
0+阅读 · 2023年5月29日
An evaluation of a microprocessor with two independent hardware execution threads coupled through a shared cache
Arxiv
0+阅读 · 2023年5月28日
Asymptotic tail properties of Poisson mixture distributions
Asymptotic tail properties of Poisson mixture distributions
Arxiv
0+阅读 · 2023年5月26日
Chakra: Advancing Performance Benchmarking and Co-design using Standardized Execution Traces
Arxiv
0+阅读 · 2023年5月26日
A Survey of Security Concerns and Countermeasures in Modern Micro-architectures with Transient Execution
Arxiv
0+阅读 · 2023年5月25日
A Fast Algorithm for Consistency Checking Partially Ordered Time
Arxiv
0+阅读 · 2023年5月25日
Definition and Detection of Defects in NFT Smart Contracts
Arxiv
0+阅读 · 2023年5月25日
A continuum and computational framework for viscoelastodynamics: II. Strain-driven and energy-momentum consistent schemes
Arxiv
0+阅读 · 2023年5月25日
From Interactive to Co-Constructive Task Learning
Arxiv
0+阅读 · 2023年5月24日
相关基金
Zakharov系统的解的动力学行为研究
国家自然科学基金
0+阅读 · 2015年12月31日
图论中的整数流与圆流
国家自然科学基金
0+阅读 · 2015年12月31日
III型AtOFPs转录因子对拟南芥荚果形态的调控
国家自然科学基金
0+阅读 · 2014年12月31日
网络设计中的负载均衡问题
国家自然科学基金
0+阅读 · 2013年12月31日
多智能体系统的可控性与群可控性研究
国家自然科学基金
10+阅读 · 2013年12月31日
全基因组关联分析中基因-基因交互网络比较的统计推断方法研究
国家自然科学基金
0+阅读 · 2012年12月31日
实时安全关键系统的建模、仿真与验证
国家自然科学基金
1+阅读 · 2012年12月31日
轴对称的Navier-Stokes方程
国家自然科学基金
1+阅读 · 2011年12月31日
基于无冲突集的约束Job Shop调度优化算法
国家自然科学基金
0+阅读 · 2009年12月31日
组合Web服务的建模与验证
国家自然科学基金
1+阅读 · 2008年12月31日
Top
微信扫码咨询专知VIP会员
Top