{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[2022,4,3]],“日期时间”:“2022-04-03T12:11Z”,“时间戳”:1648987931241},“参考计数”:26,“发布者”:“Elsevier BV”,“许可证”:[{“开始”:{“日期部分“:[2018,2,1]],”“日期时间“:”2018-02-01T00:00:00:00:00 0Z“,”时间戳“:1517443200000},”内容-版本“:“tdm”,“delay-in-days”:0,“URL”:“https:\\/www.elsevier.com//tdm\/userlicense\/1.0\/”}],“内容域”:{“域”:[“elsevier.com”,“sciencedirect.com”],“crossmark-restriction”:true},“short-container-title”:[”未来一代计算机系统“],“published-print”:{“date-parts”:[2018,2]},”DOI“:”10.1016\/j.Future.2017.09.035“,”类型“:”日志文章“,“created”:{“date-parts”:[[2017,9,20]],“date-time”:“2017-09-20T14:51:32Z”,“timestamp”:1505919092000},“page”:“643-644”,“update-policy”:”http://\/dx.doi.org\/10.1016\/elsevier_cm_policy“,”source“:”Crossref“,“is-referenced-by-count”:0,“title”:[“关于高性能计算的函数范式的特别部分”],“prefix”:“10.1016”,“卷”:“79”,“作者”:[{“given”:“Aleksander”,“family”:“Byrski”,“sequence”:“first”,“affiliation”:[]},{“fixed”:“Katarzyna”,“家族”:“Rycerz”,“序列”:“additional”,“filiation“:[]neneneep,{”given“:”John“,”family“:”Hughes“,”sequence“:”additional“:[]}],”成员“:”78“,”引用“:[{“key”:“10.1016\/j.future.2017.09.035_b1”,“series-title”:“高性能计算的软件优化:创建更快的应用程序”,“author”:“Wadleigh”,“year”:“2000”},{“issue”:“2”,“key“:”10.1016\/j.forture.2017.09.035_b2“,”doi-asserted-by“:”crossref“,“first-page”:“117”,“doi”:“101177\/10943420584473”,“article-title”:“建模与仿真中的高性能计算”,“卷”:“31”,“作者”:“Spataro”,“年份”:“2017年”,“日志标题”:“国际期刊高性能计算应用”},{“问题”:“5”,“关键”:“10.1016\/J.future.2017.09.035_b3”,“doi-asserted-by”:“crossref”,“首页”:“461”,“doi”:“101016\/S0167-739X(96)00031-3”,“文章标题”:HPC的“,“volume”:“12”,“author”:“Dongarra”,“year”:“1997”,“journal-title”:“Future Gener.Comput.Syst.”},{“key”:”10.1016\/j.Future.2017.09.035_b4“,”doi-asserted-by“:”crossref“,”first page“:”45“,”doi“:”10.116\/j.Future.2015.04.016“,”article-title“:”现代HPC系统中数据软件调度和资源调配的新趋势注释“,”volume“:“51“”,“author”:“Tao”,“year”:“2015”,“journal-title”:“Future Gener.Comput.Syst.”},{“key”:“10.1016\/j.Future.2017.09.035_b5”,“doi-asserted-by”:“crossref”,“first page”:”100“,“doi”:“101016\/j.futere.2014.11.017”,“article-title“:”HPC科学工作流的动态转向:调查“,”卷:“46”,“auth”:“Mattoso”,”年:“2015“,”日志标题“:“Future Gener.Comput.Syst.”},{“issue”:“5”,“key”:“10.1016\/j.Future.207.09.035_b6”,“doi断言”:“crossref”,“首页”:“440”,“doi”:“10.1016\/j.Future.200.11.003”,“文章标题”:“hpc与网格和云计算相结合的混合计算”,“卷”:“27”,“作者”:“Mateescu”,“年份”:“2011”,“期刊标题”:“Future Gener.Comput.Syst.”},{“键”:“10.1016\/j.future.2017.09.035_b7”,“series-title”:“Haskell中的并行和并发编程:多核和多线程编程技术”,“author”:“Marlow”,“year”:“2013”},{“key”:“10.116\/j.future.2017年9月35_b8”,“series-title”:《参与者模型的反应式消息传递模式:Scala和Akka中的应用与集成》,“author”:“Vernon”,“year”:“2015”},{“key”:“10.1016\/j.future.2017.09.035_b9”,“doi-asserted-by”:“crossref”,“首页”:“645”,“doi”:“101016\/j.futere.2017.06.003”,“article-title”:“基于Erlang的高性能计算系统去同步城市交通仿真”,“volume”:”79“author:”Turek“,“year:”2018“,”journal-title“:“Future Gener.Compute.Syst.”},{“issue”:“4”,“key”:“10.1016\/j.Future.2017.09.035_b10”,“doi-asserted-by”:“crossref”,“首页”:“445”,“doi”:“101007\/s13676-014-0045-5”,”article-title“:交通流模型谱系”,“volume”:”4“,”author“van\u00a0Wageningen-Kessels”,“年份”:“2015”,“journal-title”:“EURO j.运输物流”},{“键”:“10.1016\/j.future.2017.09.035_b11”,“doi-asserted-by”:“crossref”,“unstructured”:“K.Nagel,S.M.,高速公路交通的元胞自动机模型,1992.”,“doi”:“10.1051\/jp1:1992277”},{“key”:“101016\/j.futere.2017.09035_b12”,“非结构化”:“P.Blaszczyk,W.Turek,A.Byrski,K。Cetnarowicz,面向可信驾驶员行为建模,摘自:IEEE第18届智能交通系统国际会议,ITSC,2015年,第1557\u20131562页。“},{“问题”:“2”,“关键”:“10.1016\/j.future.2017.09.035_b13”,“doi-asserted-by”:“crossref”,“首页”:“1535”,“doi”:“10.3233\/JIFS-169148”,“文章标题”:“使用可靠驾驶员建模方法进行城市交通模拟”,“交通量”:“32”,“作者”:“Blaszczyk”,“年份”:“2017年”,“新闻标题”:“J.Intell。模糊系统。“},{”key“:”10.1016\/j.future.2017.09.035_b14“,”doi-asserted-by“:”crossref“,”first page“:“390”,“doi”:“10.1016\/j.future.2014.02.002”,“article-title”:“决策支持系统的计算代理”,“volume”:“37”,“author”:“Krzywicki”,“year”:“2014”,“journal-title“:”future Gener.Comput.Syst.“}未来2017.09.035_b15“,”doi-asserted-by“:”crossref“,”first page“:”1062“,”doi“:”10.1016\/j.procs.2015.05.264“,”article-title“:”Agent-oriented有孔虫栖息地模拟“,”volume“:“51”,“author”:“Kazirod”,“year”:“2015”,“journal-title”:“Proc。计算。科学。“},{”key“:”10.1016\/j.future.2017.09.035_b16“,”doi-asserted-by“:”crossref“,”first page“:“653”,“doi”:“10.1016\\j.futer.2017.04.035”,“article-title”:“使用hylomorphims自动推导结构化并行过程的成本模型”,“volume”:“79”,“author”:“Castro”,“year”:“2018”,“journal-title“:”future Gener.Comput.Syst.“}”,{“key”:”10.1016\/j.future.2017.09.035_b17“,“series-title”:“第21届ACM SIGPLAN函数编程国际会议论文集,2016年ICFP”,“首页”:“4”,“文章-标题”:“农场、管道、溪流和重新造林:使用类型和植物形态推理结构化并行过程”,“作者”:“卡斯特罗”,“年份”:“2016”},{“关键”:“10.1016\/j.future.2017.09.035_b18“,“series-title”:“第十五届Erlang国际研讨会论文集,2016年Erlang”,“首页”:“60”,“article-title”:“面向Erlang中并行的半自动数据类型翻译”,“author”:“Barwell”,“year”:“2016”},{“key”:669“,”DOI“:”10.1016\/j.future.2017.07.024“,”article-title“:”查找并行函数珍珠:“通过反统一在haskell函数中自动并行递归方案检测”,“volume”:“79”,“author”:“Barwell”,“year”:“2018”,“journal-title”:“future Gener”。计算。系统。“},{”key“:”10.1016\/j.future.2017.09.035_b20“,”doi-asserted-by“:”crossref“,”unstructured“:”D.Castro,S.Sarkar,K.Hammond,Farms,pipes,streams and reporemation:Reasoning about structured-parallel process using types and hylomorphophisms,in:Proc.of International Conference on Functional Programming,2016,pp.4\u201317“doi”:“10.1145\/3022670.2951920“},{“issue”:“12”,“key”:“10.1016\/j.future.2017.09.035_b21”,“doi-asserted-by”:“crossref”,“first page”:”1135“,“doi”:“101002\/spe.1026”,“article-title”:“算法框架概览:高级结构化并行编程使能技术”,“volume”:《40》,“author”:“Gonz\u00e1lez-V\u00e_9lez”,“year”:“2010”“,”journal-title“:”软件。实际。专家。“},{”key“:”10.1016\/j.future.2017.09.035_b22“,”doi-asserted-by“:”crossref“,”first-page“:”687“,”doi“:”101016\/j.functe.2017.05.011“,”article-title“:”释放征服者!重构divide-and-conquer函数“,”volume“:“79”,”author“:”Kozsik“,”year“:”2018“,”journal title“:“future Gener.Comput.Syst.”},”{“key”:“10.1”016\/j.future.2017.09.035_b23“,”非结构化“:”W.Abed,K.Kucher,M.Krafczyk,M.Wittmann,T.Zeiser,G.Wellein,Fetol:《基于分治的弹性高性能计算应用方法》,见:Proc。第三届高级通信与计算国际会议,2013年,第7\u201312页。“},{“key”:“10.1016\/j.future.2017.09.035_b24”,“doi-asserted-by”:“crossref”,“unstructured”:“D.Horp\u00e1csi,j.K\u00f6szegi,S。汤普森,《在erlang中实现可信重构》,摘自:Proc。第四届国际验证与程序转换研讨会,2016年,第83\u2013103页。”,“DOI”:“10.4204\/EPTCS.216.5”},{“issue”:“4”,“key”:“10.1016\/j.future.2017.09.035_b25”,“first page”:”764“,“article-title”:“divide-and-cover pattern discovery的静态分析”,“volume”:“35”,“author”:“Kozsik”,“year”:“2016”,“journal title”:”“Compute.Inform.”}、{“key“:”10.1016\/j.future.2017.09.035_b26“,”doi断言者“:”crossref“,”非结构化“:”I.Boz\u00f3,V.F\u00f6rd\u00f6s,Z.Horv\u00e1th,M.T\u00f3th,D.Horp\u00e1csi,T.Kozsik,K.K\u00f6szegi,A.Barwell,C.Brown,K.Hammond,在erlang中发现并行模式候选者,in:Proc。第十三届ACM SIGPLAN Erlang研讨会,2014年,第13\u201323页。“,”DOI“:”10.1145\/2633448.2633453“}],”container-title“:[”Future Generation Computer Systems“],”original-title”:[],”language“:”en“,”link“:[{”URL“:”https:\/\/api.elsevier.com\/content\/article\/PII:S0167739X17320836?httpAccept=text\/xml“,”content-type“:”text\/.xml“,”content-version“:“vor”,“intended-application“:”text-mining“},{“URL”:“https:\/\/api.elsevier.com/content\/article\/PII:S0167739X17320836?httpAccept=text\/plain”,“content-type”:“text\/plan”,“content-version”:“vor”,“intended-application”:“text-mining”}],“deposed”:{“date-parts”:[2020,11,18]],“date-time”:”2020-11-18T20:50:55Z“,“timestamp”:160 5732655000},“分数”:1,“resource“:{”primary”:{“URL”:“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0167739X17320836”}},“subtitle”:[],“shorttitle”:[],“issued”:{-“date-parts”:[[2018,2]},”references-count“:26,”alternative-id“:[”S0167739 X17320836],”URL“:”http://\/dx.doi.org\/10.1016\/j.future.2011 7.09.035“,”关系“:{},”ISSN“:[”0167-739X“],”ISSN-type“:[{”value“:”0167-739X“,”type“:”print“}],”subject“:[],”published“:{”date-parts“:[[2018,2]]},”assertion“:[{”value“:“Elsevier”,”name“:”publisher“,”label“:”This article is maintained by“},{”value“:”Special section on functional paradement for high performance computing“,”name:“articletite”,”lable“:”article Title“}”,{“value”:“Future Generation Computer Systems”,“name“:”journalttle“,”label“:”Journal Title“},”{“value”:“https:\/\/doi.org\/101016\/j.future.2017.09.035”,“name”:“articlelink”,“label”:“CrossRef doi link to publisher maintained version”},{“value”:“simple-article”,“name”:“content_type”,“标签”:“content-type”}]}}