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

RIMS Symposium on Software Science and Engineering最新文献

筛选
英文 中文
Polynomial Time Inference of Extended Regular Pattern Languages 扩展正则模式语言的多项式时间推理
RIMS Symposium on Software Science and Engineering Pub Date : 1983-12-01 DOI: 10.1007/3-540-11980-9_19
T. Shinohara
{"title":"Polynomial Time Inference of Extended Regular Pattern Languages","authors":"T. Shinohara","doi":"10.1007/3-540-11980-9_19","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_19","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","volume":"313 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123221077","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}
引用次数: 190
Treatment of Big Values in an Applicative Language HFP 应用语言HFP中大值的处理
RIMS Symposium on Software Science and Engineering Pub Date : 1983-03-01 DOI: 10.1007/3-540-11980-9_14
T. Katayama
{"title":"Treatment of Big Values in an Applicative Language HFP","authors":"T. Katayama","doi":"10.1007/3-540-11980-9_14","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_14","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1983-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128744906","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
Hardware Algorithms and Logic Design Automation. An Overview and Progress Report 硬件算法和逻辑设计自动化。概述和进度报告
RIMS Symposium on Software Science and Engineering Pub Date : 1900-01-01 DOI: 10.1007/3-540-11980-9_21
S. Yajima, H. Yasuura
{"title":"Hardware Algorithms and Logic Design Automation. An Overview and Progress Report","authors":"S. Yajima, H. Yasuura","doi":"10.1007/3-540-11980-9_21","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_21","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","volume":"16 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":"123042804","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
Relational Algebra Machine GRACE 关系型代数机GRACE
RIMS Symposium on Software Science and Engineering Pub Date : 1900-01-01 DOI: 10.1007/3-540-11980-9_23
M. Kitsuregawa, Hidehiko Tanaka, T. Moto-Oka
{"title":"Relational Algebra Machine GRACE","authors":"M. Kitsuregawa, Hidehiko Tanaka, T. Moto-Oka","doi":"10.1007/3-540-11980-9_23","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_23","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","volume":"43 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":"129161371","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}
引用次数: 23
Effect of Practical Assumption in Area Complexity of VLSI Computation 实际假设对VLSI计算面积复杂度的影响
RIMS Symposium on Software Science and Engineering Pub Date : 1900-01-01 DOI: 10.1007/3-540-11980-9_20
K. Hagihara, K. Wada, N. Tokura
{"title":"Effect of Practical Assumption in Area Complexity of VLSI Computation","authors":"K. Hagihara, K. Wada, N. Tokura","doi":"10.1007/3-540-11980-9_20","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_20","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","volume":"35 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":"134609017","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
An Algorithm for Intelligent Backtracking 智能回溯算法
RIMS Symposium on Software Science and Engineering Pub Date : 1900-01-01 DOI: 10.1007/3-540-11980-9_17
Taisuke Sato
{"title":"An Algorithm for Intelligent Backtracking","authors":"Taisuke Sato","doi":"10.1007/3-540-11980-9_17","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_17","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","volume":"128 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":"122563922","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
DURAL: an Extended Prolog Language 一种扩展的程序语言
RIMS Symposium on Software Science and Engineering Pub Date : 1900-01-01 DOI: 10.1007/3-540-11980-9_16
S. Goto
{"title":"DURAL: an Extended Prolog Language","authors":"S. Goto","doi":"10.1007/3-540-11980-9_16","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_16","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","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":"130262566","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}
引用次数: 7
Towards the Design and Implementation of Object Oriented Architecture 面向对象体系结构的设计与实现
RIMS Symposium on Software Science and Engineering Pub Date : 1900-01-01 DOI: 10.1007/3-540-11980-9_15
M. Tokoro
{"title":"Towards the Design and Implementation of Object Oriented Architecture","authors":"M. Tokoro","doi":"10.1007/3-540-11980-9_15","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_15","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","volume":"130 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":"131724422","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
List Processing with a Data Flow Machine 用数据流机处理列表
RIMS Symposium on Software Science and Engineering Pub Date : 1900-01-01 DOI: 10.1007/3-540-11980-9_22
M. Amamiya, R. Hasegawa, H. Mikami
{"title":"List Processing with a Data Flow Machine","authors":"M. Amamiya, R. Hasegawa, H. Mikami","doi":"10.1007/3-540-11980-9_22","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_22","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","volume":"68 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":"127973519","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}
引用次数: 9
Parital Computation of Programs 程序的局部计算
RIMS Symposium on Software Science and Engineering Pub Date : 1900-01-01 DOI: 10.1007/3-540-11980-9_13
Y. Futamura
{"title":"Parital Computation of Programs","authors":"Y. Futamura","doi":"10.1007/3-540-11980-9_13","DOIUrl":"https://doi.org/10.1007/3-540-11980-9_13","url":null,"abstract":"","PeriodicalId":373157,"journal":{"name":"RIMS Symposium on Software Science and Engineering","volume":"96 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":"116013379","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}
引用次数: 68
下一页 尾页
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学术官方微信