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

International Journal of Computer & Information Sciences最新文献

筛选
英文 中文
A complexity measure for data flow models 数据流模型的复杂性度量
International Journal of Computer & Information Sciences Pub Date : 1985-04-01 DOI: 10.1007/BF00996925
H. Motteler, Carl H. Smith
{"title":"A complexity measure for data flow models","authors":"H. Motteler, Carl H. Smith","doi":"10.1007/BF00996925","DOIUrl":"https://doi.org/10.1007/BF00996925","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115199309","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
BPL: A set-based language for distributed system prototyping BPL:用于分布式系统原型的基于集合的语言
International Journal of Computer & Information Sciences Pub Date : 1985-04-01 DOI: 10.1007/BF00996924
J. W. Hooper
{"title":"BPL: A set-based language for distributed system prototyping","authors":"J. W. Hooper","doi":"10.1007/BF00996924","DOIUrl":"https://doi.org/10.1007/BF00996924","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132782727","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
Schema manipulation in self-describing and self-documenting data models 自描述和自记录数据模型中的模式操作
International Journal of Computer & Information Sciences Pub Date : 1985-02-01 DOI: 10.1007/BF00990898
N. Roussopoulos, L. Mark
{"title":"Schema manipulation in self-describing and self-documenting data models","authors":"N. Roussopoulos, L. Mark","doi":"10.1007/BF00990898","DOIUrl":"https://doi.org/10.1007/BF00990898","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123795568","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
Syntactic monoids in the construction of systolic tree automata 收缩树自动机构造中的句法一元
International Journal of Computer & Information Sciences Pub Date : 1985-02-01 DOI: 10.1007/BF00990900
H. Jürgensen, A. Salomaa
{"title":"Syntactic monoids in the construction of systolic tree automata","authors":"H. Jürgensen, A. Salomaa","doi":"10.1007/BF00990900","DOIUrl":"https://doi.org/10.1007/BF00990900","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132175384","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
Architectural support for variable addressing in Ada— A design approach Ada中对变量寻址的体系结构支持——一种设计方法
International Journal of Computer & Information Sciences Pub Date : 1985-02-01 DOI: 10.1007/BF00990901
P. Biswas, S. Dasgupta
{"title":"Architectural support for variable addressing in Ada— A design approach","authors":"P. Biswas, S. Dasgupta","doi":"10.1007/BF00990901","DOIUrl":"https://doi.org/10.1007/BF00990901","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132256603","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
Modeling of multiple copy update costs for file allocation in distributed databases 分布式数据库中文件分配的多副本更新成本建模
International Journal of Computer & Information Sciences Pub Date : 1985-02-01 DOI: 10.1007/BF00990899
Amitava Dutta
{"title":"Modeling of multiple copy update costs for file allocation in distributed databases","authors":"Amitava Dutta","doi":"10.1007/BF00990899","DOIUrl":"https://doi.org/10.1007/BF00990899","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123346714","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
Specification of data restructuring software based on the attribute method 基于属性方法的数据重构软件规范
International Journal of Computer & Information Sciences Pub Date : 1984-12-01 DOI: 10.1007/BF00985822
T. Niemi
{"title":"Specification of data restructuring software based on the attribute method","authors":"T. Niemi","doi":"10.1007/BF00985822","DOIUrl":"https://doi.org/10.1007/BF00985822","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132194633","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
A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner 并行有限状态自动机的VLSI设计及其作为硬件扫描器的性能评估
International Journal of Computer & Information Sciences Pub Date : 1984-12-01 DOI: 10.1007/BF00985824
A. Hurson
{"title":"A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner","authors":"A. Hurson","doi":"10.1007/BF00985824","DOIUrl":"https://doi.org/10.1007/BF00985824","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126008462","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
The use of hoare logic in the verification of horizontal microprograms 在横向微程序的验证中使用hoare逻辑
International Journal of Computer & Information Sciences Pub Date : 1984-12-01 DOI: 10.1007/BF00985823
S. Dasgupta, Alan S. Wagner
{"title":"The use of hoare logic in the verification of horizontal microprograms","authors":"S. Dasgupta, Alan S. Wagner","doi":"10.1007/BF00985823","DOIUrl":"https://doi.org/10.1007/BF00985823","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124180613","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
Surjections and coverings 反对和掩饰
International Journal of Computer & Information Sciences Pub Date : 1984-12-01 DOI: 10.1007/BF00985825
Lena Chang, Arthur T. Poe
{"title":"Surjections and coverings","authors":"Lena Chang, Arthur T. Poe","doi":"10.1007/BF00985825","DOIUrl":"https://doi.org/10.1007/BF00985825","url":null,"abstract":"","PeriodicalId":250718,"journal":{"name":"International Journal of Computer & Information Sciences","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1984-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121495160","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学术文献互助群
群 号：481959085
Book学术官方微信