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

Graph Reduction最新文献

筛选
英文 中文
Arrays, non-determinism, side-effects, and parallelism: A functional perspective 数组、非确定性、副作用和并行性:一个函数的视角
Graph Reduction Pub Date : 1987-09-01 DOI: 10.1007/3-540-18420-1_63
P. Hudak
{"title":"Arrays, non-determinism, side-effects, and parallelism: A functional perspective","authors":"P. Hudak","doi":"10.1007/3-540-18420-1_63","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_63","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"183 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123084550","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}
引用次数: 29
Graph reduction in a parallel virtual memory environment 并行虚拟内存环境中的图形缩减
Graph Reduction Pub Date : 1987-09-01 DOI: 10.1007/3-540-18420-1_60
I. Watson, P. Watson
{"title":"Graph reduction in a parallel virtual memory environment","authors":"I. Watson, P. Watson","doi":"10.1007/3-540-18420-1_60","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_60","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"246 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133820979","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}
引用次数: 11
Target code generation from G-machine code 从G-machine代码生成目标代码
Graph Reduction Pub Date : 1987-09-01 DOI: 10.1007/3-540-18420-1_53
Thomas Johnsson
{"title":"Target code generation from G-machine code","authors":"Thomas Johnsson","doi":"10.1007/3-540-18420-1_53","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_53","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"163 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115569909","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}
引用次数: 17
Performance measurement of a G-machine implementation G-machine实现的性能度量
Graph Reduction Pub Date : 1986-09-29 DOI: 10.1007/3-540-18420-1_61
R. Kieburtz
{"title":"Performance measurement of a G-machine implementation","authors":"R. Kieburtz","doi":"10.1007/3-540-18420-1_61","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_61","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124809513","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}
引用次数: 4
The parallel graph reduction machine, Alice 并行图约简机，爱丽丝
Graph Reduction Pub Date : 1986-09-29 DOI: 10.1007/3-540-18420-1_55
P. Harrison, M. Reeve
{"title":"The parallel graph reduction machine, Alice","authors":"P. Harrison, M. Reeve","doi":"10.1007/3-540-18420-1_55","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_55","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126470902","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}
引用次数: 31
Parallel garbage collection for graph machines 图机的并行垃圾收集
Graph Reduction Pub Date : 1986-09-29 DOI: 10.1007/3-540-18420-1_59
Ashoke Deb
{"title":"Parallel garbage collection for graph machines","authors":"Ashoke Deb","doi":"10.1007/3-540-18420-1_59","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_59","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114511237","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}
引用次数: 4
Toward the design of a parallel graph reduction machine: The MaRS project 走向并行图约简机的设计:火星计划
Graph Reduction Pub Date : 1986-09-29 DOI: 10.1007/3-540-18420-1_54
M. Castan, G. Durrieu, B. Lécussan, M. Lemaître, A. Contessa, E. Cousin, Paulino Ng
{"title":"Toward the design of a parallel graph reduction machine: The MaRS project","authors":"M. Castan, G. Durrieu, B. Lécussan, M. Lemaître, A. Contessa, E. Cousin, Paulino Ng","doi":"10.1007/3-540-18420-1_54","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_54","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124700682","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}
引用次数: 6
Concurrent term rewriting as a model of computation 作为计算模型的并发项重写
Graph Reduction Pub Date : 1986-09-29 DOI: 10.1007/3-540-18420-1_50
J. Goguen, C. Kirchner, J. Meseguer
{"title":"Concurrent term rewriting as a model of computation","authors":"J. Goguen, C. Kirchner, J. Meseguer","doi":"10.1007/3-540-18420-1_50","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_50","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126780504","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}
引用次数: 69
On the correspondence of lambda style reduction and combinator style reduction 论λ型约简与组合子型约简的对应关系
Graph Reduction Pub Date : 1986-09-29 DOI: 10.1007/3-540-18420-1_47
H. Oberhauser
{"title":"On the correspondence of lambda style reduction and combinator style reduction","authors":"H. Oberhauser","doi":"10.1007/3-540-18420-1_47","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_47","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123376566","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}
引用次数: 2
Parallel execution of an equational language 一种等式语言的并行执行
Graph Reduction Pub Date : 1986-09-29 DOI: 10.1007/3-540-18420-1_66
B. Jayaraman, G. Gupta
{"title":"Parallel execution of an equational language","authors":"B. Jayaraman, G. Gupta","doi":"10.1007/3-540-18420-1_66","DOIUrl":"https://doi.org/10.1007/3-540-18420-1_66","url":null,"abstract":"","PeriodicalId":138774,"journal":{"name":"Graph Reduction","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116205685","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
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信