{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:22:53Z","timestamp":1725974573921},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319901039"},{"type":"electronic","value":"9783319901046"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90104-6_10","type":"book-chapter","created":{"date-parts":[[2018,4,17]],"date-time":"2018-04-17T16:53:22Z","timestamp":1523984002000},"page":"148-167","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Implementing MapReduce with MSVL"],"prefix":"10.1007","author":[{"given":"Nan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cong","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,18]]},"reference":[{"unstructured":"http:\/\/hadoop.apache.org\/","key":"10_CR1"},{"unstructured":"https:\/\/storm.apache.org\/","key":"10_CR2"},{"unstructured":"https:\/\/spark.apache.org\/","key":"10_CR3"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R., Konwinski, A., Lee, G., Patterson, D., Rabkin, A., Stoica, I., et al.: A view of cloud computing. Commun. ACM 53(4), 50\u201358 (2010)","journal-title":"Commun. ACM"},{"issue":"2007","key":"10_CR5","first-page":"21","volume":"11","author":"D Borthakur","year":"2007","unstructured":"Borthakur, D.: The hadoop distributed file system: architecture and design. Hadoop Proj. Website 11(2007), 21 (2007)","journal-title":"Hadoop Proj. Website"},{"unstructured":"Bryant, R.E.: Data intensive scalable computing. Carnegie Mellon University (2008). Accessed 10 Aug 2009","key":"10_CR6"},{"doi-asserted-by":"crossref","unstructured":"Coppersmith, D., Winograd, S.: Matrix multiplication via arithmetic progressions. In: Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, pp. 1\u20136. ACM (1987)","key":"10_CR7","DOI":"10.1145\/28395.28396"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51, 107\u2013113 (2008)","journal-title":"Commun. ACM"},{"unstructured":"Duan, Z.: An extended interval temporal logic and a framing technique for temporal logic programming. Ph.D. thesis, University of Newcastle upon Tyne (1996)","key":"10_CR9"},{"key":"10_CR10","volume-title":"Temporal Logic and Temporal Logic Programming","author":"Z Duan","year":"2005","unstructured":"Duan, Z.: Temporal Logic and Temporal Logic Programming. Science Press, Marrickville (2005)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-88194-0_12","volume-title":"Formal Methods and Software Engineering","author":"Z Duan","year":"2008","unstructured":"Duan, Z., Tian, C.: A unified model checking approach with projection temporal logic. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 167\u2013186. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88194-0_12"},{"key":"10_CR12","volume-title":"The Art of Multiprocessor Programming","author":"M Herlihy","year":"2008","unstructured":"Herlihy, M., Shavit, N.: The Art of Multiprocessor Programming. Elsevier, Amsterdam (2008)"},{"issue":"3","key":"10_CR13","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1080\/10618600.1996.10474713","volume":"5","author":"R Ihaka","year":"1996","unstructured":"Ihaka, R., Gentleman, R.: R: a language for data analysis and graphics. J. Comput. Graph. Stat. 5(3), 299\u2013314 (1996)","journal-title":"J. Comput. Graph. Stat."},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"181","DOI":"10.2501\/IJA-33-1-181-183","volume":"33","author":"Saint John Walker","year":"2014","unstructured":"John Walker, S.: Big Data: A Revolution that Will Transform how We Live, Work, and Think (2014)","journal-title":"International Journal of Advertising"},{"issue":"10","key":"10_CR15","first-page":"60","volume":"90","author":"A McAfee","year":"2012","unstructured":"McAfee, A., Brynjolfsson, E., et al.: Big data: the management revolution. Harvard Bus. Rev. 90(10), 60\u201368 (2012)","journal-title":"Harvard Bus. Rev."},{"doi-asserted-by":"crossref","unstructured":"Vavilapalli, V.K., Murthy, A.C., Douglas, C., Agarwal, S., Konar, M., Evans, R., Graves, T., Lowe, J., Shah, H., Seth, S., et al.: Apache hadoop yarn: yet another resource negotiator. In: Proceedings of the 4th Annual Symposium on Cloud Computing, p. 5. ACM (2013)","key":"10_CR16","DOI":"10.1145\/2523616.2523633"},{"doi-asserted-by":"crossref","unstructured":"Vora, M.N.: Hadoop-HBase for large-scale data. In: 2011 International Conference on Computer Science and Network Technology (ICCSNT), vol. 1, pp. 601\u2013605. IEEE (2011)","key":"10_CR17","DOI":"10.1109\/ICCSNT.2011.6182030"},{"doi-asserted-by":"crossref","unstructured":"Wang, M., Tian, C., Duan, Z.: Full regular temporal property verification as dynamic program execution. In: Proceedings of the 39th International Conference on Software Engineering Companion, pp. 226\u2013228. IEEE Press (2017)","key":"10_CR18","DOI":"10.1109\/ICSE-C.2017.98"},{"issue":"5","key":"10_CR19","doi-asserted-by":"publisher","first-page":"762","DOI":"10.1007\/s11704-016-6059-4","volume":"11","author":"X Wang","year":"2017","unstructured":"Wang, X., Tian, C., Duan, Z., Zhao, L.: MSVL: a typed language for temporal logic programming. Front. Comput. Sci. 11(5), 762\u2013785 (2017)","journal-title":"Front. Comput. Sci."},{"doi-asserted-by":"publisher","unstructured":"Yang, K., Duan, Z., Tian, C., Zhang, N.: A compiler for MSVL and its applications. Theor. Comput. Sci. (2017). https:\/\/doi.org\/10.1016\/j.tcs.2017.07.032","key":"10_CR20","DOI":"10.1016\/j.tcs.2017.07.032"},{"doi-asserted-by":"crossref","unstructured":"Yang, W., Liu, X., Zhang, L., Yang, L.T.: Big data real-time processing based on storm. In: 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) 2013, pp. 1784\u20131787. IEEE (2013)","key":"10_CR21","DOI":"10.1109\/TrustCom.2013.247"},{"issue":"10\u201310","key":"10_CR22","first-page":"95","volume":"10","author":"M Zaharia","year":"2010","unstructured":"Zaharia, M., Chowdhury, M., Franklin, M.J., Shenker, S., Stoica, I.: Spark: cluster computing with working sets. HotCloud 10(10\u201310), 95 (2010)","journal-title":"HotCloud"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.tcs.2012.02.011","volume":"497","author":"N Zhang","year":"2013","unstructured":"Zhang, N., Duan, Z., Tian, C.: A cylinder computation model for many-core parallel computing. Theoret. Comput. Sci. 497, 68\u201383 (2013)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.tcs.2016.02.037","volume":"654","author":"N Zhang","year":"2016","unstructured":"Zhang, N., Duan, Z., Tian, C.: A mechanism of function calls in MSVL. Theoret. Comput. Sci. 654, 11\u201325 (2016)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"118101","DOI":"10.1007\/s11432-015-0882-6","volume":"59","author":"N Zhang","year":"2016","unstructured":"Zhang, N., Duan, Z., Tian, C.: Model checking concurrent systems with MSVL. Sci. China Inf. Sci. 59, 118101 (2016)","journal-title":"Sci. China Inf. Sci."},{"unstructured":"Zikopoulos, P., Eaton, C., et al.: Understanding Big Data: Analytics for Enterprise Class Hadoop and Streaming Data. McGraw-Hill Osborne Media (2011)","key":"10_CR26"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90104-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T03:03:08Z","timestamp":1720234988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90104-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319901039","9783319901046"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90104-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}