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

Journal of computer and system sciences (Print)最新文献

筛选
英文 中文
Scaled dimension and nonuniform complexity 缩放维度和非均匀复杂性
Journal of computer and system sciences (Print) Pub Date : 2003-06-30 DOI: 10.1007/3-540-45061-0_24
J. M. Hitchcock, J. H. Lutz, E. Mayordomo
{"title":"Scaled dimension and nonuniform complexity","authors":"J. M. Hitchcock, J. H. Lutz, E. Mayordomo","doi":"10.1007/3-540-45061-0_24","DOIUrl":"https://doi.org/10.1007/3-540-45061-0_24","url":null,"abstract":"","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116434418","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}
引用次数: 32
Provably secure threshold password-authenticated key exchange 可证明安全阈值密码认证密钥交换
Journal of computer and system sciences (Print) Pub Date : 2003-05-04 DOI: 10.1007/3-540-39200-9_32
M. Raimondo, R. Gennaro
{"title":"Provably secure threshold password-authenticated key exchange","authors":"M. Raimondo, R. Gennaro","doi":"10.1007/3-540-39200-9_32","DOIUrl":"https://doi.org/10.1007/3-540-39200-9_32","url":null,"abstract":"","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127324620","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}
引用次数: 116
Randomness and reducibility 随机性和可简化性
Journal of computer and system sciences (Print) Pub Date : 2001-08-27 DOI: 10.1016/j.jcss.2003.07.004
R. Downey, D. Hirschfeldt, G. LaForte
{"title":"Randomness and reducibility","authors":"R. Downey, D. Hirschfeldt, G. LaForte","doi":"10.1016/j.jcss.2003.07.004","DOIUrl":"https://doi.org/10.1016/j.jcss.2003.07.004","url":null,"abstract":"","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124465258","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}
引用次数: 85
An axiomatic semantics for the synchronous language Gentzen 同步语言Gentzen的公理语义
Journal of computer and system sciences (Print) Pub Date : 2001-04-02 DOI: 10.1016/S0022-0000(03)00003-5
S. Tini
{"title":"An axiomatic semantics for the synchronous language Gentzen","authors":"S. Tini","doi":"10.1016/S0022-0000(03)00003-5","DOIUrl":"https://doi.org/10.1016/S0022-0000(03)00003-5","url":null,"abstract":"","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126159755","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
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces 求解一类完备度量空间中的自反域方程
Journal of computer and system sciences (Print) Pub Date : 1987-04-08 DOI: 10.1016/0022-0000(89)90027-5
P. America, J. Rutten
{"title":"Solving Reflexive Domain Equations in a Category of Complete Metric Spaces","authors":"P. America, J. Rutten","doi":"10.1016/0022-0000(89)90027-5","DOIUrl":"https://doi.org/10.1016/0022-0000(89)90027-5","url":null,"abstract":"","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127375894","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}
引用次数: 228
Self-Reducibility Self-Reducibility
Journal of computer and system sciences (Print) Pub Date : 1987-02-19 DOI: 10.1016/0022-0000(90)90025-G
J. Balcázar
{"title":"Self-Reducibility","authors":"J. Balcázar","doi":"10.1016/0022-0000(90)90025-G","DOIUrl":"https://doi.org/10.1016/0022-0000(90)90025-G","url":null,"abstract":"","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-02-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128561186","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
Isomorphisms and 1-L Reductions 同构与1-L约简
Journal of computer and system sciences (Print) Pub Date : 1986-06-02 DOI: 10.1016/0022-0000(88)90033-5
E. Allender
{"title":"Isomorphisms and 1-L Reductions","authors":"E. Allender","doi":"10.1016/0022-0000(88)90033-5","DOIUrl":"https://doi.org/10.1016/0022-0000(88)90033-5","url":null,"abstract":"","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"11 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120072639","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}
引用次数: 35
A Multiprocess Network Logic with Temporal and Spatial Modalities 具有时空模态的多进程网络逻辑
Journal of computer and system sciences (Print) Pub Date : 1982-10-01 DOI: 10.1016/0022-0000(85)90003-0
J. Reif, A. Sistla
{"title":"A Multiprocess Network Logic with Temporal and Spatial Modalities","authors":"J. Reif, A. Sistla","doi":"10.1016/0022-0000(85)90003-0","DOIUrl":"https://doi.org/10.1016/0022-0000(85)90003-0","url":null,"abstract":"","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1982-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"118541437","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}
引用次数: 63
Optimal Algorithms for Parallel Polynomial Evaluation 并行多项式求值的最优算法
Journal of computer and system sciences (Print) Pub Date : 1971-10-13 DOI: 10.1109/SWAT.1971.23
I. Munro, M. Paterson
{"title":"Optimal Algorithms for Parallel Polynomial Evaluation","authors":"I. Munro, M. Paterson","doi":"10.1109/SWAT.1971.23","DOIUrl":"https://doi.org/10.1109/SWAT.1971.23","url":null,"abstract":"Algorithms for the evaluation of polynomials on a hypothetical computer with k independent arithmetic processors are presented. It is shown that, provided the degree of the polynomial to be evaluated exceeds k[log\"2k], an algorithm given is within one time unit of optimality.","PeriodicalId":346691,"journal":{"name":"Journal of computer and system sciences (Print)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1971-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126461918","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}
引用次数: 98
首页 上一页
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学术官方微信