{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T01:07:03Z","timestamp":1767143223690,"version":"build-2238731810"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,10,29]],"date-time":"2019-10-29T00:00:00Z","timestamp":1572307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,10,29]],"date-time":"2019-10-29T00:00:00Z","timestamp":1572307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1007\/s42979-019-0035-7","type":"journal-article","created":{"date-parts":[[2019,10,30]],"date-time":"2019-10-30T16:44:27Z","timestamp":1572453867000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Performance-Driven Analysis for an Adaptive Car-Navigation Service on HPC Systems"],"prefix":"10.1007","volume":"1","author":[{"given":"Leonardo","family":"Arcari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Gribaudo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Palermo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Serazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,29]]},"reference":[{"issue":"4","key":"35_CR1","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1530873.1530877","volume":"36","author":"M Bertoli","year":"2009","unstructured":"Bertoli M, Casale G, Serazzi G. Jmt: performance engineering tools for system modeling. SIGMETRICS Perform Eval Rev. 2009;36(4):10\u20135. https:\/\/doi.org\/10.1145\/1530873.1530877.","journal-title":"SIGMETRICS Perform Eval Rev"},{"issue":"3","key":"35_CR2","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1145\/3199524.3199567","volume":"45","author":"G Casale","year":"2018","unstructured":"Casale G, Serazzi G, Zhu L. Performance evaluation with java modelling tools: a hands-on introduction. SIGMETRICS Perform Eval Rev. 2018;45(3):246\u20137. https:\/\/doi.org\/10.1145\/3199524.3199567.","journal-title":"SIGMETRICS Perform Eval Rev"},{"key":"35_CR3","unstructured":"Chen Y, Bell MG, Bogenberger K. Reliable pre-trip multi-path planning and dynamic adaptation for a centralized road navigation system. In: Intelligent transportation systems. Proceedings IEEE. 2005. p. 257\u201362."},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Chondrogiannis T, Bouros P, Gamper J, Leser U. Alternative routing: K-shortest paths with limited overlap. In: Proceedings of the 23rd SIGSPATIAL international conference on advances in geographic information systems, SIGSPATIAL \u201915. New York: ACM; 2015. p. 68:1\u201368:4.","DOI":"10.1145\/2820783.2820858"},{"key":"35_CR5","unstructured":"Chondrogiannis T, Bouros P, Gamper J, Leser U. Exact and approximate algorithms for finding k-shortest paths with limited overlap. In: 20th international conference on extending database technology: EDBT 2017. 2017. p. 414\u201325."},{"issue":"1","key":"35_CR6","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0304-3975(95)00018-6","volume":"155","author":"J Fourneau","year":"1996","unstructured":"Fourneau J, Gelenbe E, Suros R. G-networks with multiple classes of negative and positive customers. Theor Comput Sci. 1996;155(1):141\u201356. https:\/\/doi.org\/10.1016\/0304-3975(95)00018-6.","journal-title":"Theor Comput Sci"},{"key":"35_CR7","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-319-45378-1_34","volume-title":"Computer information systems and industrial management. CISIM 2016","author":"M Golasowski","year":"2016","unstructured":"Golasowski M, Tomis R, Martinovi\u010d J, Slaninov\u00e1 K, Rapant L. Performance evaluation of probabilistic time-dependent travel time computation. In: Saeed K, Homenda W, editors. Computer information systems and industrial management. CISIM 2016. Lecture notes in computer science, vol. 9842. Cham: Springer; 2016. p. 377\u201388."},{"key":"35_CR8","unstructured":"Grand View Research. Global positioning systems (GPS) market size, share & trends analysis report by deployment, by application (aviation, marine, surveying, location-based services, road), and segment forecasts, 2018\u20132025. 2018. https:\/\/www.grandviewresearch.com\/industry-analysis\/gps-market."},{"key":"35_CR9","unstructured":"Grand View Research. Self driving cars and trucks market size, share & trends analysis report by application (transportation, defense), by region (NA, Europe, APAC, South America, MEA), and segment forecasts, 2020\u20132030. 2018. https:\/\/www.grandviewresearch.com\/industry-analysis\/driverless-cars-market."},{"key":"35_CR10","doi-asserted-by":"publisher","unstructured":"Gribaudo M, Iacono M. Theory and application of multi-formalism modeling. 1st ed. Hershey: IGI Global; 2013. https:\/\/doi.org\/10.4018\/978-1-4666-4659-9.","DOI":"10.4018\/978-1-4666-4659-9"},{"key":"35_CR11","volume-title":"Quantitative system performance: computer system analysis using queueing network models","author":"ED Lazowska","year":"1984","unstructured":"Lazowska ED, Zahorjan J, Graham GS, Sevcik KC. Quantitative system performance: computer system analysis using queueing network models. Upper Saddle River: Prentice-Hall Inc; 1984."},{"key":"35_CR12","unstructured":"Bedogni M. Milano Agenzia Mobilita\u2019 Ambiente e Territorio, Road Traffic Measures in The City of Milan. 2016. https:\/\/sdr.gdos.gov.pl\/Documents\/Wizyty\/W%C5%82ochy\/Road%20Traffic%20Measures%20in%20the%20city%20of%20Milan.pdf."},{"key":"35_CR13","unstructured":"Market Realist. A look at the courier service industry in the United States. 2015. https:\/\/articles.marketrealist.com\/2015\/07\/look-courier-service-industry-united-states\/."},{"key":"35_CR14","volume-title":"Modelling with generalized stochastic petri nets","author":"MA Marsan","year":"1994","unstructured":"Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G. Modelling with generalized stochastic petri nets. 1st ed. New York: Wiley; 1994.","edition":"1"},{"key":"35_CR15","unstructured":"Milano Agenzia Mobilita\u2019 Ambiente e Territorio. Annual mobility report. 2015. https:\/\/www.amat-mi.it\/it\/documenti\/."},{"key":"35_CR16","unstructured":"OpenStreetMap contributors. Planet dump. 2017. https:\/\/planet.osm.org. https:\/\/www.openstreetmap.org."},{"key":"35_CR17","unstructured":"Paraskevopoulos A, Zaroliagis C. Improved alternative route planning. In: OASIcs-OpenAccess series in informatics, vol 33. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. 2013."},{"key":"35_CR18","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-319-40361-8_12","volume-title":"High performance computing in science and engineering. HPCSE 2015","author":"R Tomis","year":"2016","unstructured":"Tomis R, Rapant L, Martinovi\u010d J, Slaninov\u00e1 K, Vondr\u00e1k I. Probabilistic time-dependent travel time computation using Monte Carlo simulation. In: Kozubek T, Blaheta R, \u0160\u00edstek J, Rozlo\u017en\u00edk M, \u010cerm\u00e1k M, editors. High performance computing in science and engineering. HPCSE 2015. Lecture notes in computer science, vol. 9611. Cham: Springer; 2016. p. 161\u201370."},{"key":"35_CR19","unstructured":"Vitali E, Gadioli D, Palermo G, Golasowski M, Bispo J, Pinto P, Martinovic J, Slaninova K, Cardoso JM, Silvano C. An efficient monte carlo-based probabilistic time-dependent routing calculation targeting a server-side car navigation system. In: IEEE transactions on emerging topics in computing. 2019."},{"key":"35_CR20","doi-asserted-by":"publisher","unstructured":"Wang L, Brun O, Gelenbe E. Adaptive workload distribution for local and remote clouds. In: 2016 IEEE international conference on systems, man, and cybernetics, SMC 2016, Budapest, October 9\u201312, 2016. 2016. p. 3984\u201388. https:\/\/doi.org\/10.1109\/SMC.2016.7844856.","DOI":"10.1109\/SMC.2016.7844856"},{"issue":"1","key":"35_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/TCC.2015.2474406","volume":"6","author":"L Wang","year":"2018","unstructured":"Wang L, Gelenbe E. Adaptive dispatching of tasks in the cloud. IEEE Trans Cloud Comput. 2018;6(1):33\u201345. https:\/\/doi.org\/10.1109\/TCC.2015.2474406.","journal-title":"IEEE Trans Cloud Comput"}],"updated-by":[{"DOI":"10.1007\/s42979-023-02168-3","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T00:00:00Z","timestamp":1695859200000}}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-019-0035-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-019-0035-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-019-0035-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T08:37:46Z","timestamp":1695890266000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-019-0035-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,29]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,1]]}},"alternative-id":["35"],"URL":"https:\/\/doi.org\/10.1007\/s42979-019-0035-7","relation":{},"ISSN":["2662-995X","2661-8907"],"issn-type":[{"value":"2662-995X","type":"print"},{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,29]]},"assertion":[{"value":"22 July 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 September 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 October 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 September 2023","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"A Correction to this paper has been published:","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"https:\/\/doi.org\/10.1007\/s42979-023-02168-3","URL":"https:\/\/doi.org\/10.1007\/s42979-023-02168-3","order":7,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"41"}}