{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:25:52Z","timestamp":1742390752422,"version":"3.37.3"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T00:00:00Z","timestamp":1659916800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T00:00:00Z","timestamp":1659916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["826276"],"award-info":[{"award-number":["826276"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s11227-022-04741-8","type":"journal-article","created":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T03:11:38Z","timestamp":1659928298000},"page":"2180-2211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Toward a context-driven deployment optimization for embedded systems: a product line approach"],"prefix":"10.1007","volume":"79","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2182-7501","authenticated-orcid":false,"given":"Abdelhakim","family":"Baouya","sequence":"first","affiliation":[]},{"given":"Otmane","family":"Ait Mohamed","sequence":"additional","affiliation":[]},{"given":"Samir","family":"Ouchani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,8]]},"reference":[{"issue":"11","key":"4741_CR1","doi-asserted-by":"publisher","first-page":"1925","DOI":"10.1016\/j.infsof.2013.05.005","volume":"55","author":"C Andr\u00e9s","year":"2013","unstructured":"Andr\u00e9s C, Camacho C, Llana L (2013) A formal framework for software product lines. Inf Softw Technol 55(11):1925\u20131947","journal-title":"Inf Softw Technol"},{"key":"4741_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.compind.2018.10.007","volume":"105","author":"A Baouya","year":"2019","unstructured":"Baouya A, Mohamed OA, Bennouar D, Ouchani S (2019) Safety analysis of train control system based on model-driven design methodology. Comput Ind 105:1\u201316","journal-title":"Comput Ind"},{"key":"4741_CR3","doi-asserted-by":"publisher","first-page":"114572","DOI":"10.1016\/j.eswa.2021.114572","volume":"174","author":"A Baouya","year":"2021","unstructured":"Baouya A, Mohamed OA, Ouchani S, Bennouar D (2021) Reliability-driven automotive software deployment based on a parametrizable probabilistic model checking. Expert Syst Appl 174:114572. https:\/\/doi.org\/10.1016\/j.eswa.2021.114572","journal-title":"Expert Syst Appl"},{"key":"4741_CR4","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.jss.2018.05.069","volume":"144","author":"M Bashari","year":"2018","unstructured":"Bashari M, Bagheri E, Du W (2018) Self-adaptation of service compositions through product line reconfiguration. J Syst Softw 144:84\u2013105","journal-title":"J Syst Softw"},{"key":"4741_CR5","doi-asserted-by":"crossref","unstructured":"Bhat A, Samii S, Rajkumar R (2017) Practical task allocation for software fault-tolerance and its implementation in embedded automotive systems, pp 87\u201398","DOI":"10.1109\/RTAS.2017.33"},{"key":"4741_CR6","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-319-11936-6_8","volume-title":"Automated Technology for Verification and Analysis","author":"T Br\u00e1zdil","year":"2014","unstructured":"Br\u00e1zdil T, Chatterjee K, Chmel\u00edk M, Forejt V, K\u0159et\u00ednsk\u00fd J, Kwiatkowska M, Parker D, Ujma M (2014) Verification of Markov decision processes using learning algorithms. In: Cassez F, Raskin JF (eds) Automated Technology for Verification and Analysis. Springer, Cham, pp 98\u2013114"},{"key":"4741_CR7","doi-asserted-by":"publisher","unstructured":"Brugali D, Capilla R, Mirandola R, Trubiani C (2018) Model-based development of qos-aware reconfigurable autonomous robotic systems. In: 2018 Second IEEE International Conference on Robotic Computing (IRC), pp 129\u2013136. https:\/\/doi.org\/10.1109\/IRC.2018.00027","DOI":"10.1109\/IRC.2018.00027"},{"key":"4741_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2013.12.038","volume":"91","author":"R Capilla","year":"2014","unstructured":"Capilla R, Bosch J, Trinidad P, Ruiz-Cort\u00e9s A, Hinchey M (2014) An overview of dynamic software product line architectures and techniques: observations from research and industry. J Syst Softw 91:3\u201323","journal-title":"J Syst Softw"},{"issue":"2","key":"4741_CR9","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/MC.2014.33","volume":"47","author":"R Capilla","year":"2014","unstructured":"Capilla R, Ortiz \u00d3scar, Hinchey M (2014) Context variability for context-aware systems. Computer 47(2):85\u201387. https:\/\/doi.org\/10.1109\/MC.2014.33","journal-title":"Computer"},{"key":"4741_CR10","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1016\/j.future.2018.08.025","volume":"90","author":"M Cinque","year":"2019","unstructured":"Cinque M, Cotroneo D, Della Corte R, Pecchia A (2019) A framework for on-line timing error detection in software systems. Future Gen Comput Syst 90:521\u2013538","journal-title":"Future Gen Comput Syst"},{"issue":"8","key":"4741_CR11","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A Classen","year":"2013","unstructured":"Classen A, Cordy M, Schobbens PY, Heymans P, Legay A, Raskin JF (2013) Featured transition systems: foundations for verifying variability-intensive systems and their application to ltl model checking. IEEE Trans Softw Eng 39(8):1069\u20131089","journal-title":"IEEE Trans Softw Eng"},{"key":"4741_CR12","unstructured":"Conquet E, Perrotin M, Dissaux P, Tsiodras T, Hugues J (2010) The taste toolset: turning human designed heterogeneous systems into computer built homogeneous software. In: European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, France"},{"key":"4741_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2021.104386","volume":"87","author":"S Conrady","year":"2021","unstructured":"Conrady S, Kreddig A, Manuel M, Doan NAV, Stechele W (2021) Model-based design space exploration for fpga-based image processing applications employing parameterizable approximations. Microprocess Microsyst 87:104386. https:\/\/doi.org\/10.1016\/j.micpro.2021.104386","journal-title":"Microprocess Microsyst"},{"key":"4741_CR14","series-title":"Computer aided verification","first-page":"592","volume-title":"A storm is coming: A modern probabilistic model checker","author":"C Dehnert","year":"2017","unstructured":"Dehnert C, Junges S, Katoen JP, Volk M (2017) A storm is coming: A modern probabilistic model checker. Computer aided verification. Springer, Berlin, pp 592\u2013600"},{"issue":"6","key":"4741_CR15","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MS.2017.4121205","volume":"34","author":"Santos I de Sousa","year":"2017","unstructured":"de Sousa Santos I, de Jesus Souza ML, Carvalho MLL, Oliveira TA, de Almeida ES, de Castro Andrade RM (2017) Dynamically adaptable software is all about modeling contextual variability and avoiding failures. IEEE Softw 34(6):72\u201377. https:\/\/doi.org\/10.1109\/MS.2017.4121205","journal-title":"IEEE Softw"},{"key":"4741_CR16","doi-asserted-by":"publisher","unstructured":"Feiler PH (2010) Model-based validation of safety-critical embedded systems. In: 2010 IEEE Aerospace Conference, pp 1\u201310. https:\/\/doi.org\/10.1109\/AERO.2010.5446809","DOI":"10.1109\/AERO.2010.5446809"},{"key":"4741_CR17","doi-asserted-by":"publisher","first-page":"110990","DOI":"10.1016\/j.jss.2021.110990","volume":"179","author":"F Ferreira","year":"2021","unstructured":"Ferreira F, Vale G, Diniz JP, Figueiredo E (2021) Evaluating t-wise testing strategies in a community-wide dataset of configurable software systems. J Syst Softw 179:110990. https:\/\/doi.org\/10.1016\/j.jss.2021.110990","journal-title":"J Syst Softw"},{"key":"4741_CR18","doi-asserted-by":"crossref","unstructured":"Forejt V, Kwiatkowska M, Norman G, Parker D (2011) Automated verification techniques for probabilistic systems. In: Bernardo M, Issarny V (eds) Formal Methods for Eternal Networked Software Systems (SFM\u201911), LNCS, vol 6659. Springer, pp 53\u2013113","DOI":"10.1007\/978-3-642-21455-4_3"},{"key":"4741_CR19","doi-asserted-by":"crossref","unstructured":"Ghezzi C, Sharifloo AM (2013) Model-based verification of quantitative non-functional properties for software product lines. Inf Softw Technol 55(3):508\u2013524; special issue on software reuse and product lines","DOI":"10.1016\/j.infsof.2012.07.017"},{"issue":"2","key":"4741_CR20","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.vlsi.2004.06.001","volume":"38","author":"M Gries","year":"2004","unstructured":"Gries M (2004) Methods for evaluating and covering the design space during early design development. Integration 38(2):131\u2013183. https:\/\/doi.org\/10.1016\/j.vlsi.2004.06.001","journal-title":"Integration"},{"key":"4741_CR21","doi-asserted-by":"crossref","unstructured":"Hartmann H, Trew T (2008) Using feature diagrams with context variability to model multiple product lines for software supply chains. In: 2008 12th International Software Product Line Conference, pp 12\u201321","DOI":"10.1109\/SPLC.2008.15"},{"key":"4741_CR22","unstructured":"Hensel C (2018) STORM model checker. http:\/\/www.stormchecker.org. Accessed 21 Dec 2018"},{"issue":"8","key":"4741_CR23","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR (1978) Communicating sequential processes. Commun ACM 21(8):666\u2013677. https:\/\/doi.org\/10.1145\/359576.359585","journal-title":"Commun ACM"},{"key":"4741_CR24","doi-asserted-by":"publisher","unstructured":"Hoque KA, Mohamed OA, Savaria Y, Thibeault C (2014) Probabilistic model checking based dal analysis to optimize a combined tmr-blind-scrubbing mitigation technique for fpga-based aerospace applications. In: 2014 Twelfth ACM\/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp 175\u2013184. https:\/\/doi.org\/10.1109\/MEMCOD.2014.6961856","DOI":"10.1109\/MEMCOD.2014.6961856"},{"key":"4741_CR25","unstructured":"International Organization for Standardization (ISO) (2013) Road vehicles\u2014Functional safety\u2014Part 9: Automotive safety integrity level (ASIL)-oriented and safety-oriented analyses. https:\/\/www.iso.org\/fr\/search.html?q=26262. Accessed 19 Jan 2019"},{"issue":"9","key":"4741_CR26","doi-asserted-by":"publisher","first-page":"2567","DOI":"10.1109\/TPDS.2017.2676764","volume":"28","author":"W Jiang","year":"2017","unstructured":"Jiang W, Sha EHM, Chen X, Yang L, Zhou L, Zhuge Q (2017) Optimal functional-unit assignment for heterogeneous systems under timing constraint. IEEE Trans Parallel Distrib Syst 28(9):2567\u20132580","journal-title":"IEEE Trans Parallel Distrib Syst"},{"issue":"12","key":"4741_CR27","doi-asserted-by":"publisher","first-page":"1523","DOI":"10.1109\/43.898830","volume":"19","author":"K Keutzer","year":"2000","unstructured":"Keutzer K, Newton AR, Rabaey JM, Sangiovanni-Vincentelli A (2000) System-level design: orthogonalization of concerns and platform-based design. IEEE Trans Comput Aided Des Integr Circuits Syst 19(12):1523\u20131543. https:\/\/doi.org\/10.1109\/43.898830","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"issue":"11","key":"4741_CR28","doi-asserted-by":"publisher","first-page":"1427","DOI":"10.1016\/j.conengprac.2006.07.003","volume":"15","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska M, Norman G, Parker D (2006) Controller dependability analysis by probabilistic model checking. Control Eng Pract 15(11):1427\u20131434","journal-title":"Control Eng Pract"},{"key":"4741_CR29","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.infsof.2017.10.001","volume":"94","author":"A Lanna","year":"2018","unstructured":"Lanna A, Castro T, Alves V, Rodrigues G, Schobbens PY, Apel S (2018) Feature-family-based reliability analysis of software product lines. Inf Softw Technol 94:59\u201381","journal-title":"Inf Softw Technol"},{"key":"4741_CR30","doi-asserted-by":"crossref","unstructured":"Mahapatra A, Schafer BC (2018) Veriintel2c: abstracting rtl to c to maximize high-level synthesis design space exploration. Integration","DOI":"10.1016\/j.vlsi.2018.03.011"},{"key":"4741_CR31","first-page":"66","volume":"6","author":"GA Malazgirt","year":"2016","unstructured":"Malazgirt GA, Yurdakul A (2016) Prenaut: design space exploration for embedded symmetric multiprocessing with various on-chip architectures. J Syst Archit 6:66","journal-title":"J Syst Archit"},{"key":"4741_CR32","doi-asserted-by":"publisher","unstructured":"Marinho FG, Andrade RM, Werner C, Viana W, Maia ME, Rocha LS, Teixeira E, Filho JBF, Dantas VL, Lima F, Aguiar S (2013) Mobiline: a nested software product line for the domain of mobile and context-aware applications. Sci Comput Program 78(12):2381\u20132398. https:\/\/doi.org\/10.1016\/j.scico.2012.04.009. special Section on International Software Product Line Conference 2010 and Fundamentals of Software Engineering (selected papers of FSEN 2011)","DOI":"10.1016\/j.scico.2012.04.009"},{"key":"4741_CR33","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.scico.2018.05.002","volume":"163","author":"J Mauro","year":"2018","unstructured":"Mauro J, Nieke M, Seidl C, Yu IC (2018) Context-aware reconfiguration in evolving software product lines. Sci Comput Program 163:139\u2013159","journal-title":"Sci Comput Program"},{"key":"4741_CR34","doi-asserted-by":"crossref","unstructured":"Maxim B, Mistr\u00edk I, Galster M (2019) Software engineering for variability intensive systems: foundations and applications","DOI":"10.1201\/9780429022067"},{"issue":"10","key":"4741_CR35","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1016\/j.jss.2012.04.056","volume":"85","author":"I Meedeniya","year":"2012","unstructured":"Meedeniya I, Aleti A, Grunske L (2012) Architecture-driven reliability optimization with uncertain model parameters. J Syst Softw 85(10):2340\u20132355","journal-title":"J Syst Softw"},{"key":"4741_CR36","doi-asserted-by":"crossref","unstructured":"Mendis H, Indrusiak LS, Audsley NC (2015) Bio-inspired distributed task remapping for multiple video stream decoding on homogeneous nocs. In: 2015 13th IEEE Symposium on Embedded Systems For Real-Time Multimedia (ESTIMedia), pp 1\u201310","DOI":"10.1109\/ESTIMedia.2015.7351765"},{"key":"4741_CR37","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1016\/j.microrel.2017.11.021","volume":"80","author":"F M\u00fchlbauer","year":"2018","unstructured":"M\u00fchlbauer F, Schr\u00f6der L, Sch\u00f6lzel M (2018) Handling of transient and permanent faults in dynamically scheduled super-scalar processors. Microelectron Reliab 80:176\u2013183","journal-title":"Microelectron Reliab"},{"issue":"C","key":"4741_CR38","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.jpdc.2016.03.013","volume":"100","author":"B Ouni","year":"2017","unstructured":"Ouni B, Mhedbi I, Trabelsi C, Atitallah RB, Belleudy C (2017) Multi-level energy\/power-aware design methodology for mpsoc. J Parallel Distrib Comput 100(C):203\u2013215","journal-title":"J Parallel Distrib Comput"},{"key":"4741_CR39","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/j.jss.2014.12.041","volume":"103","author":"GG Pascual","year":"2015","unstructured":"Pascual GG, Lopez-Herrejon RE, Pinto M, Fuentes L, Egyed A (2015) Applying multiobjective evolutionary algorithms to dynamic software product lines for reconfiguring mobile applications. J Syst Softw 103:392\u2013411","journal-title":"J Syst Softw"},{"issue":"1","key":"4741_CR40","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/TC.2010.203","volume":"60","author":"S Paul","year":"2011","unstructured":"Paul S, Cai F, Zhang X, Bhunia S (2011) Reliability-driven ecc allocation for multiple bit error resilience in processor cache. IEEE Trans Comput 60(1):20\u201334. https:\/\/doi.org\/10.1109\/TC.2010.203","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"4741_CR41","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/MDAT.2016.2626445","volume":"34","author":"AD Pimentel","year":"2017","unstructured":"Pimentel AD (2017) Exploring exploration: a tutorial introduction to embedded systems design space exploration. IEEE Des Test 34(1):77\u201390. https:\/\/doi.org\/10.1109\/MDAT.2016.2626445","journal-title":"IEEE Des Test"},{"key":"4741_CR42","doi-asserted-by":"publisher","unstructured":"Posadas H, Villar E, Ragot D, Martinez M (2010) Early modeling of linux-based rtos platforms in a systemc time-approximate co-simulation environment. In: 2010 13th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing, pp 238\u2013244. https:\/\/doi.org\/10.1109\/ISORC.2010.18","DOI":"10.1109\/ISORC.2010.18"},{"issue":"Supplement C","key":"4741_CR43","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.infsof.2016.09.010","volume":"82","author":"X Qiu","year":"2017","unstructured":"Qiu X, Ali S, Yue T, Zhang L (2017) Reliability-redundancy-location allocation with maximum reliability and minimum cost using search techniques. Inf Softw Technol 82(Supplement C):36\u201354","journal-title":"Inf Softw Technol"},{"key":"4741_CR44","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.swevo.2012.06.003","volume":"7","author":"A Sengupta","year":"2012","unstructured":"Sengupta A, Sedaghat R, Sarkar P (2012) A multi structure genetic algorithm for integrated design space exploration of scheduling and allocation in high level synthesis for dsp kernels. Swarm Evol Comput 7:35\u201346. https:\/\/doi.org\/10.1016\/j.swevo.2012.06.003","journal-title":"Swarm Evol Comput"},{"key":"4741_CR45","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1016\/j.eswa.2017.05.060","volume":"86","author":"MG Siavvas","year":"2017","unstructured":"Siavvas MG, Chatzidimitriou KC, Symeonidis AL (2017) Qatch\u2014an adaptive framework for software product quality assessment. Expert Syst Appl 86:350\u2013366","journal-title":"Expert Syst Appl"},{"issue":"2","key":"4741_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3057267","volume":"50","author":"AK Singh","year":"2017","unstructured":"Singh AK, Dziurzanski P, Mendis HR, Indrusiak LS (2017) A survey and comparative study of hard and soft real-time dynamic resource allocation strategies for multi-\/many-core systems. ACM Comput Surv 50(2):1\u201340","journal-title":"ACM Comput Surv"},{"key":"4741_CR47","first-page":"1","volume-title":"Software Product Lines: Going Beyond","author":"N Ubayashi","year":"2010","unstructured":"Ubayashi N, Nakajima S, Hirayama M (2010) Context-dependent product line practice for constructing reliable embedded systems. Software Product Lines: Going Beyond. Springer, Berlin, pp 1\u201315"},{"key":"4741_CR48","doi-asserted-by":"publisher","unstructured":"Van\u00a0Gurp J, Bosch J, Svahnberg M (2001) On the notion of variability in software product lines. In: Proceedings Working IEEE\/IFIP Conference on Software Architecture, pp 45\u201354. https:\/\/doi.org\/10.1109\/WICSA.2001.948406","DOI":"10.1109\/WICSA.2001.948406"},{"key":"4741_CR49","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-030-10801-4_38","volume-title":"SOFSEM 2019: Theory and Practice of Computer Science","author":"M Varshosaz","year":"2019","unstructured":"Varshosaz M, Mousavi MR (2019) Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems. In: Catania B, Kr\u00e1lovi\u010d R, Nawrocki J, Pighizzini G (eds) SOFSEM 2019: Theory and Practice of Computer Science. Springer, Cham, pp 490\u2013503"},{"key":"4741_CR50","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.scico.2018.09.001","volume":"168","author":"M Varshosaz","year":"2018","unstructured":"Varshosaz M, Beohar H, Mousavi MR (2018) Basic behavioral models for software product lines: revisited. Sci Comput Program 168:171\u2013185","journal-title":"Sci Comput Program"},{"issue":"4","key":"4741_CR51","doi-asserted-by":"publisher","first-page":"1629","DOI":"10.1109\/TII.2016.2641473","volume":"13","author":"G Xie","year":"2017","unstructured":"Xie G, Chen Y, Liu Y, Wei Y, Li R, Li K (2017) Resource consumption cost minimization of reliable parallel applications on heterogeneous embedded systems. IEEE Trans Ind Inform 13(4):1629\u20131640","journal-title":"IEEE Trans Ind Inform"},{"key":"4741_CR52","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-24667-1_10","volume-title":"Software Product-Family Engineering","author":"T Ziadi","year":"2004","unstructured":"Ziadi T, H\u00e9lou\u00ebt L, J\u00e9z\u00e9quel JM (2004) Towards a uml profile for software product lines. In: van der Linden FJ (ed) Software Product-Family Engineering. Springer, Heidelberg, pp 129\u2013139"},{"key":"4741_CR53","doi-asserted-by":"crossref","unstructured":"Zoni D, Cremona L, Fornaciari W (2018) Powerprobe: run-time power modeling through automatic rtl instrumentation. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), pp 743\u2013748","DOI":"10.23919\/DATE.2018.8342106"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-022-04741-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-022-04741-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-022-04741-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T11:23:26Z","timestamp":1673609006000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-022-04741-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,8]]},"references-count":53,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["4741"],"URL":"https:\/\/doi.org\/10.1007\/s11227-022-04741-8","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2022,8,8]]},"assertion":[{"value":"21 July 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 August 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}},{"value":"The authors declare that they have no conflict of interest.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Informed consent was obtained from all individual participants included in the study.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed consent"}}]}}