Pub Date : 2003-06-30DOI: 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}
Pub Date : 2003-05-04DOI: 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}
Pub Date : 2001-08-27DOI: 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}
Pub Date : 2001-04-02DOI: 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}
Pub Date : 1987-04-08DOI: 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}
Pub Date : 1987-02-19DOI: 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}
Pub Date : 1986-06-02DOI: 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}
Pub Date : 1982-10-01DOI: 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}
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：