{"title":"Multiversion Concurrency Control Scheme for a Distributed Database System - A Trial to Break Concurrent Update of Redundant Copies","authors":"S. Nishio, Tadashi Mizutani, T. Hasegawa","doi":"10.1007/3-540-16470-7_9","DOIUrl":"https://doi.org/10.1007/3-540-16470-7_9","url":null,"abstract":"","PeriodicalId":309009,"journal":{"name":"RIMS Symposia on Software Science and Engineering","volume":"85 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":"123986531","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}
{"title":"OR-Parallel Optimizing Prolog System: POPS. Its Design and Implementation in Concurrent Prolog","authors":"H. Hirakawa, R. Onai, K. Furukawa","doi":"10.1007/3-540-16470-7_6","DOIUrl":"https://doi.org/10.1007/3-540-16470-7_6","url":null,"abstract":"","PeriodicalId":309009,"journal":{"name":"RIMS Symposia on Software Science and Engineering","volume":"125 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":"115185983","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}
Pub Date : 1900-01-01DOI: 10.1007/3-540-16470-7_13
T. Ida, A. Konagaya
{"title":"Comparison of Closure Reduction and Combinatory Reduction Schemes","authors":"T. Ida, A. Konagaya","doi":"10.1007/3-540-16470-7_13","DOIUrl":"https://doi.org/10.1007/3-540-16470-7_13","url":null,"abstract":"","PeriodicalId":309009,"journal":{"name":"RIMS Symposia on Software Science and Engineering","volume":"13 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":"132445531","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}
Pub Date : 1900-01-01DOI: 10.1007/3-540-16470-7_11
A. Koga
{"title":"On Program Transformation with Tupling Technique","authors":"A. Koga","doi":"10.1007/3-540-16470-7_11","DOIUrl":"https://doi.org/10.1007/3-540-16470-7_11","url":null,"abstract":"","PeriodicalId":309009,"journal":{"name":"RIMS Symposia on Software Science and Engineering","volume":"58 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":"125055694","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}
{"title":"A Fast Parallel Merging Algorithm for 2-3 trees","authors":"Etsuya Shibayama","doi":"10.1007/3-540-16470-7_1","DOIUrl":"https://doi.org/10.1007/3-540-16470-7_1","url":null,"abstract":"","PeriodicalId":309009,"journal":{"name":"RIMS Symposia on Software Science and Engineering","volume":"11 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":"115520140","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}
{"title":"Evaluation of Graph Representations with Active Nodes","authors":"M. Numao, M. Shimura","doi":"10.1007/3-540-16470-7_2","DOIUrl":"https://doi.org/10.1007/3-540-16470-7_2","url":null,"abstract":"","PeriodicalId":309009,"journal":{"name":"RIMS Symposia on Software Science and Engineering","volume":"50 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":"122564436","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}
Pub Date : 1900-01-01DOI: 10.1007/3-540-16470-7_15
K. Loe, N. Ohsawa, E. Goto
{"title":"Circuit Simulation Code Generation by Computer Algebra","authors":"K. Loe, N. Ohsawa, E. Goto","doi":"10.1007/3-540-16470-7_15","DOIUrl":"https://doi.org/10.1007/3-540-16470-7_15","url":null,"abstract":"","PeriodicalId":309009,"journal":{"name":"RIMS Symposia on Software Science and Engineering","volume":"30 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":"129011791","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}
{"title":"Algebraic Specification Method of Programming Languages","authors":"H. Kita, Toshiki Sakabe, Y. Inagaki","doi":"10.1007/3-540-16470-7_8","DOIUrl":"https://doi.org/10.1007/3-540-16470-7_8","url":null,"abstract":"","PeriodicalId":309009,"journal":{"name":"RIMS Symposia 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":"133405315","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}
{"title":"Partial Computation with a Dataflow Machine","authors":"S. Ono, N. Takahashi, M. Amamiya","doi":"10.1007/3-540-16470-7_5","DOIUrl":"https://doi.org/10.1007/3-540-16470-7_5","url":null,"abstract":"","PeriodicalId":309009,"journal":{"name":"RIMS Symposia on Software Science and Engineering","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":"126849202","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：