发布求助
文献互助 智能选刊 最新文献

Reversible Computation最新文献

筛选
英文 中文
Search-Based Transformation Synthesis for 3-Valued Reversible Circuits 基于搜索的3值可逆电路变换综合
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_13
D. M. Miller, G. Dueck
{"title":"Search-Based Transformation Synthesis for 3-Valued Reversible Circuits","authors":"D. M. Miller, G. Dueck","doi":"10.1007/978-3-030-52482-1_13","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_13","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116826596","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Towards a Formal Account for Software Transactional Memory 对软件事务性内存的正式描述
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_16
Doriana Medic, C. A. Mezzina, I. Phillips, N. Yoshida
{"title":"Towards a Formal Account for Software Transactional Memory","authors":"Doriana Medic, C. A. Mezzina, I. Phillips, N. Yoshida","doi":"10.1007/978-3-030-52482-1_16","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_16","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133913026","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
ReverCSP: Time-Travelling in CSP Computations ReverCSP:时间旅行在CSP计算
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_14
Carlos Galindo, Naoki Nishida, Josep Silva, S. Tamarit
{"title":"ReverCSP: Time-Travelling in CSP Computations","authors":"Carlos Galindo, Naoki Nishida, Josep Silva, S. Tamarit","doi":"10.1007/978-3-030-52482-1_14","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_14","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117241636","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Reversible Occurrence Nets and Causal Reversible Prime Event Structures 可逆事件网与因果可逆素事件结构
Reversible Computation Pub Date : 2020-06-17 DOI: 10.1007/978-3-030-52482-1_2
Hernán C. Melgratti, C. A. Mezzina, I. Phillips, G. Pinna, I. Ulidowski
{"title":"Reversible Occurrence Nets and Causal Reversible Prime Event Structures","authors":"Hernán C. Melgratti, C. A. Mezzina, I. Phillips, G. Pinna, I. Ulidowski","doi":"10.1007/978-3-030-52482-1_2","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_2","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116120624","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper 在独立类型原型- quipper中量子电路编程的导论
Reversible Computation Pub Date : 2020-05-17 DOI: 10.1007/978-3-030-52482-1_9
Peng Fu, K. Kishida, N. J. Ross, P. Selinger
{"title":"A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper","authors":"Peng Fu, K. Kishida, N. J. Ross, P. Selinger","doi":"10.1007/978-3-030-52482-1_9","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_9","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133461974","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Event Structures for the Reversible Early Internal documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$pi $$end{document 可逆早期内部的事件结构documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amssysy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$pi $$end{document
Reversible Computation Pub Date : 2020-04-02 DOI: 10.1007/978-3-030-52482-1_4
Eva Graversen, I. Phillips, N. Yoshida
{"title":"Event Structures for the Reversible Early Internal documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$pi $$end{document","authors":"Eva Graversen, I. Phillips, N. Yoshida","doi":"10.1007/978-3-030-52482-1_4","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_4","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115260108","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Maximality of Reversible Gate Sets 可逆门集的极大性
Reversible Computation Pub Date : 2020-02-06 DOI: 10.1007/978-3-030-52482-1_12
Tim Boykett
{"title":"Maximality of Reversible Gate Sets","authors":"Tim Boykett","doi":"10.1007/978-3-030-52482-1_12","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_12","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123762250","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Fractional Types 部分类型
Reversible Computation Pub Date : 2020-02-01 DOI: 10.1007/978-3-030-52482-1_10
Chao-Hong Chen, Vikraman Choudhury, J. Carette, A. Sabry
{"title":"Fractional Types","authors":"Chao-Hong Chen, Vikraman Choudhury, J. Carette, A. Sabry","doi":"10.1007/978-3-030-52482-1_10","DOIUrl":"https://doi.org/10.1007/978-3-030-52482-1_10","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125674268","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings 可逆计算:第十四届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日，论文集
Reversible Computation Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-09005-9
{"title":"Reversible Computation: 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings","authors":"","doi":"10.1007/978-3-031-09005-9","DOIUrl":"https://doi.org/10.1007/978-3-031-09005-9","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129058188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings 可逆计算:第15届国际会议，RC 2023，德国吉森，7月18日至19日，2023，论文集
Reversible Computation Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-38100-3
{"title":"Reversible Computation: 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings","authors":"","doi":"10.1007/978-3-031-38100-3","DOIUrl":"https://doi.org/10.1007/978-3-031-38100-3","url":null,"abstract":"","PeriodicalId":244389,"journal":{"name":"Reversible Computation","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123803624","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信