{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:26:23Z","timestamp":1771701983103,"version":"3.50.1"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Cloud Comput."],"published-print":{"date-parts":[[2019,4,1]]},"DOI":"10.1109\/tcc.2017.2656088","type":"journal-article","created":{"date-parts":[[2017,1,20]],"date-time":"2017-01-20T21:04:46Z","timestamp":1484946286000},"page":"580-592","source":"Crossref","is-referenced-by-count":9,"title":["SNC: A Cloud Service Platform for Symbolic-Numeric Computation Using Just-In-Time Compilation"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9539-1136","authenticated-orcid":false,"given":"Peng","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yueming","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meikang","family":"Qiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"SageMath Cloud","year":"0"},{"key":"ref38","article-title":"Wolfram Cloud","year":"0"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1002\/1096-9128(200005)12:6<457::AID-CPE485>3.0.CO;2-0"},{"key":"ref32","author":"stein","year":"2008","journal-title":"Sage Open Source Mathematics Software System"},{"key":"ref31","article-title":"Theano: A CPU and GPU math expression compiler","author":"bergstra","year":"0","journal-title":"Proc Python Sci Comput Conf"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2110170.2110185"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/202530.202541"},{"key":"ref36","first-page":"213","article-title":"pylibjit: A JIT compiler library for Python","author":"barany","year":"0","journal-title":"Proc Software Eng Workshop"},{"key":"ref35","article-title":"GNU lightning library","author":"bonzini","year":"2004"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2010.70"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0494"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2010.56"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2011.66"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2013.04.007"},{"key":"ref14","first-page":"1760","article-title":"MATLAB symbolic math toolbox","volume":"2","author":"moler","year":"1997","journal-title":"User s Guide Version 4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/143242.143262"},{"key":"ref16","first-page":"61820","author":"wolfram","year":"2000","journal-title":"The Mathematica Book"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1080\/17415977.2012.743126"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7816-4_7"},{"key":"ref19","article-title":"Reconstructions for continuous-wave diffuse optical tomography by a globally convergent method","volume":"2","author":"liu","year":"2014","journal-title":"J Appl Math Phys"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/cnm.872"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1456659.1456671"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1080\/13873950412331318044"},{"key":"ref3","first-page":"50","article-title":"The NIST definition of cloud computing","volume":"53","author":"mell","year":"2010","journal-title":"Commun ACM"},{"key":"ref6","first-page":"2","article-title":"Cloud computing for parallel scientific HPC applications: Feasibility of running coupled atmosphere-ocean climate models on Amazon's EC2","volume":"2","author":"evangelinos","year":"2008","journal-title":"Rational"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1974.001.0001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC.2008.38"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2008.12.001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/I-SPAN.2009.150"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721672"},{"key":"ref9","first-page":"115","article-title":"A performance analysis of EC2 cloud computing services for scientific computing","volume":"34","author":"ostermann","year":"2010","journal-title":"Cloud Comput"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1496091.1496100"},{"key":"ref20","article-title":"Automated derivation of the adjoint of high-level transient finite element programs","volume":"35","author":"patrick","year":"2013","journal-title":"SIAM J Scientific Comput"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-CSS-ICESS.2015.19"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/367177.367199"},{"key":"ref42","article-title":"SymPy Python library for symbolic mathematics","author":"certik","year":"2006"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7643-7984-1"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-CSS-ICESS.2015.19"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55826-9"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1115\/DETC2013-13470"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(99)00054-3"},{"key":"ref43","article-title":"llvmpy","year":"0"},{"key":"ref25","author":"langer","year":"2011","journal-title":"Numerical and Symbolic Scientific Computing Progress and Prospects"}],"container-title":["IEEE Transactions on Cloud Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6245519\/8731803\/07828007.pdf?arnumber=7828007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:07:27Z","timestamp":1657746447000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7828007\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,1]]},"references-count":44,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcc.2017.2656088","relation":{},"ISSN":["2168-7161","2372-0018"],"issn-type":[{"value":"2168-7161","type":"electronic"},{"value":"2372-0018","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,1]]}}}