{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T13:36:53Z","timestamp":1767706613525,"version":"3.37.3"},"reference-count":105,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2018,7,1]],"date-time":"2018-07-01T00:00:00Z","timestamp":1530403200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001659","name":"German Research Foundation","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Multi-Scale Comp. Syst."],"published-print":{"date-parts":[[2018,7,1]]},"DOI":"10.1109\/tmscs.2017.2771750","type":"journal-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T21:45:53Z","timestamp":1510263953000},"page":"243-259","source":"Crossref","is-referenced-by-count":14,"title":["A Hardware\/Software Stack for Heterogeneous Systems"],"prefix":"10.1109","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5007-445X","authenticated-orcid":false,"given":"Jeronimo","family":"Castrillon","sequence":"first","affiliation":[]},{"given":"Jochen","family":"Frohlich","sequence":"additional","affiliation":[]},{"given":"Andres","family":"Goens","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Haas","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Habich","sequence":"additional","affiliation":[]},{"given":"Hermann","family":"Hartig","sequence":"additional","affiliation":[]},{"given":"Mattis","family":"Hasler","sequence":"additional","affiliation":[]},{"given":"Immo","family":"Huismann","sequence":"additional","affiliation":[]},{"given":"Tomas","family":"Karnagel","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Karol","sequence":"additional","affiliation":[]},{"given":"Akash","family":"Kumar","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3137-0648","authenticated-orcid":false,"given":"Matthias","family":"Lieber","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Lehner","sequence":"additional","affiliation":[]},{"given":"Linda","family":"Leuschner","sequence":"additional","affiliation":[]},{"given":"Siqi","family":"Ling","sequence":"additional","affiliation":[]},{"given":"Steffen","family":"Marcker","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Menard","sequence":"additional","affiliation":[]},{"given":"Johannes","family":"Mey","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Nagel","sequence":"additional","affiliation":[]},{"given":"Benedikt","family":"Nothen","sequence":"additional","affiliation":[]},{"given":"Rafael","family":"Penaloza","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Raitza","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1724-2586","authenticated-orcid":false,"given":"Sascha","family":"Kluppelholz","sequence":"additional","affiliation":[]},{"given":"Jorg","family":"Stiller","sequence":"additional","affiliation":[]},{"given":"Annett","family":"Ungethum","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Voigt","sequence":"additional","affiliation":[]},{"given":"Sascha","family":"Wunderlich","sequence":"additional","affiliation":[]},{"given":"Marcus","family":"Volp","sequence":"additional","affiliation":[]},{"given":"Nils","family":"Asmussen","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Assmann","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Baader","sequence":"additional","affiliation":[]},{"given":"Christel","family":"Baier","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4622-1311","authenticated-orcid":false,"given":"Gerhard","family":"Fettweis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629597"},{"key":"ref38","first-page":"29:1","article-title":"Popcorn: Bridging the programmability gap in\n heterogeneous-ISA platforms","author":"barbalace","year":"2015","journal-title":"Proc Syst Comput Conf"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2015.11.008"},{"key":"ref32","first-page":"263","article-title":"Invasive computing","volume":"58","author":"teich","year":"2014","journal-title":"(special issue) it - Inform Technol"},{"key":"ref31","first-page":"1","article-title":"A 5.8 pJ\/Op 115 billion ops\/sec, to 1.78\n trillion ops\/sec 32 nm 1000-processor array","author":"bohnenstiehl","year":"2016","journal-title":"Proc Symp VLSI Technol Circuits"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2013.6670342"},{"key":"ref37","first-page":"285","article-title":"K2: A mobile operating system for\n heterogeneous coherence domains","author":"lin","year":"2014","journal-title":"Proc Int Conf Arch Support Program Lang Operat Syst"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872371"},{"key":"ref34","first-page":"107:1","article-title":"Tomahawk: Parallelism and heterogeneity in\n communications signal processing MPSoCs","volume":"13","author":"arnold","year":"2014","journal-title":"Trans Embedded Comput Syst"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-319-06880-0_5","article-title":"Probabilistic model checking for\n energy-utility analysis","author":"baier","year":"2014","journal-title":"Horizons of the Mind A Tribute to Prakash Panangaden"},{"key":"ref27","article-title":"A heterogeneous SDR MPSoC in 28 nm CMOS for\n low-latency wireless applications","author":"haas","year":"2017","journal-title":"Proc 54th Annu Des Autom Conf"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/HOTCHIPS.2011.7477491"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.05.482"},{"key":"ref22","first-page":"169","article-title":"Towards compositional and generative tensor\n optimizations","author":"susungi","year":"2017","journal-title":"Proc Conf Generative Program Concepts Experience"},{"article-title":"A domain-specific language and editor for\n parallel particle methods","year":"2017","author":"karol","key":"ref21"},{"key":"ref24","first-page":"97","article-title":"A heterogeneous MPSoC with hardware supported\n dynamic task scheduling for software defined radio","author":"limberg","year":"2009","journal-title":"Proc Des Autom Conf"},{"key":"ref23","first-page":"733","article-title":"Adaptive work placement for query processing\n on heterogeneous computing resources","author":"karnagel","year":"2017","journal-title":"Proc Conf Very Large Data Bases"},{"key":"ref101","first-page":"557","article-title":"Productive programming of GPU clusters with\n OmpSs","author":"bueno","year":"2012","journal-title":"Proc Parallel Distrib Process Symp"},{"key":"ref26","article-title":"An MPSoC for energy-efficient database query\n processing","author":"haas","year":"2016","journal-title":"Proc Des Autom Conf"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2016.11"},{"key":"ref25","first-page":"188","article-title":"A 105GOPS 36 mm2 heterogeneous SDR MPSoC with\n energy-aware dynamic scheduling and iterative detection-decoding for 4G in 65nm CMOS","author":"noethen","year":"2014","journal-title":"Proc Solid-State Circuits Conf"},{"key":"ref50","first-page":"347","article-title":"Trends in embedded software synthesis","author":"castrillon","year":"2011","journal-title":"Proc Conf Embedded Comput Syst Archit Model Simul"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-7267-9_2"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2484060"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3078659.3078663"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3095747"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2173941"},{"key":"ref55","first-page":"1262","article-title":"Communication-aware mapping of KPN\n applications onto heterogeneous MPSoCs","author":"castrillon","year":"2012","journal-title":"Proc Des Aut Conf DAC"},{"key":"ref54","first-page":"1","article-title":"High-level NoC model for MPSoC compilers","author":"menard","year":"2016","journal-title":"Proc IEEE Nordic Circuits Syst Conf"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/s10470-011-9670-1"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2629563"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/362258.362278"},{"year":"0","key":"ref4","article-title":"STARnet Research"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.8"},{"key":"ref6","first-page":"365","article-title":"Dark silicon and the end of multicore scaling","author":"esmaeilzadeh","year":"2011","journal-title":"2011 38th Annual International Symposium on Computer Architecture (ISCA) ISCA"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.160"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2003.1253185"},{"key":"ref49","first-page":"47","article-title":"An automated flow to map throughput\n constrained applications to a MPSoC","author":"jordans","year":"2011","journal-title":"Proc Bringing Theory Practice Predictability Performance Embedded Syst"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8659.2007.01012.x"},{"article-title":"big.LITTLE Technology: The Future of Mobile","year":"0","author":"greenhalgh","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"ref45","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"Inform Proc Proc"},{"key":"ref48","first-page":"29","article-title":"Mapping applications to tiled multiprocessor\n embedded systems","author":"thiele","year":"2007","journal-title":"Proc Appl Concurrency Syst Des"},{"journal-title":"System Design Modeling and Simulation Using Ptolemy II","year":"2014","author":"ptolemaeus","key":"ref47"},{"key":"ref42","first-page":"11","article-title":"Microkernel operating system architecture and\n Mach","author":"golub","year":"1992","journal-title":"Proc USENIX Microkernels and Other Kernel Architectures Workshop"},{"key":"ref41","first-page":"237","article-title":"On $\\mu$\n-kernel\n construction","author":"liedtke","year":"1995","journal-title":"Proc Symp Operating Syst Principles"},{"article-title":"Programming heterogeneous MPSoCs: Tool flows to close the software\n productivity gap","year":"2013","author":"castrillon","key":"ref44"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2004.1348037"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-4(4:8)2008"},{"key":"ref71","first-page":"1","article-title":"Probabilistic model checking and non-standard\n multi-objective reasoning","author":"baier","year":"2014","journal-title":"Proc Fundam Approaches Softw Eng"},{"key":"ref70","first-page":"344","article-title":"Ratio and weight quantiles","author":"kr","year":"2015","journal-title":"Proc Mathematical Foundations of Computer Science"},{"key":"ref76","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/11817963_23","article-title":"Symmetry reduction for probabilistic model\n checking","author":"kwiatkowska","year":"2006","journal-title":"Proc Conf Comput Aided Verification"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/11901914_4"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2004.1348038"},{"key":"ref75","first-page":"309","article-title":"On reduction criteria for probabilistic reward\n models","author":"gr","year":"2006","journal-title":"Proc Conf Foundations of Software Technology & Theoretical Computer Science"},{"key":"ref78","first-page":"430","article-title":"Symbolic model checking for probabilistic\n processes","author":"baier","year":"1997","journal-title":"Proc Colloq Autom Lang Program"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0140-2"},{"key":"ref60","first-page":"251","article-title":"Model checking: Back and forth between\n hardware and software","author":"clarke","year":"2005","journal-title":"Proc Int'l Conf Verified Software Theories Tools Experiments"},{"journal-title":"A 25 Years of Model Checking History Achievements Perspectives","year":"0","author":"grumberg","key":"ref62"},{"key":"ref61","first-page":"26","article-title":"2${}^{\\mbox{5}}$\n years of model checking","author":"clarke","year":"2014","journal-title":"Proc Perspectives Syst Inform"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63121-9_19"},{"key":"ref64","first-page":"1","article-title":"ProFeat: Feature-oriented engineering for\n family-based probabilistic model checking","author":"chrszon","year":"2017","journal-title":"Formal Aspects Comput"},{"key":"ref65","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1007\/978-3-642-54862-8_43","article-title":"Computing conditional probabilities in\n Markovian models efficiently","author":"baier","year":"2014","journal-title":"Proc Conf Tools Algorithms Construction Anal Syst"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_16"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66197-1_22"},{"key":"ref68","first-page":"353","article-title":"Computing quantiles in Markov reward models","author":"ummels","year":"2013","journal-title":"Proc Found Softw Sci Comput Struct"},{"year":"2016","key":"ref2","article-title":"More Moore"},{"key":"ref69","first-page":"28","article-title":"Energy-utility quantiles","author":"baier","year":"2014","journal-title":"Proc 1st NASA Formal Methods Symp"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2017.29"},{"key":"ref95","first-page":"14","article-title":"Operating system support for NVM+DRAM hybrid\n main memory","author":"mogul","year":"2009","journal-title":"Proceedings of the 12th Conference on Hot Topics in Operating Systems"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1145\/3132402.3132414"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1002\/adhm.201500128"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1021\/acsnano.6b01537"},{"journal-title":"Architecture and IC Design Embedded Software Annual Research Report 2015","year":"2016","author":"belleville","key":"ref105"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1109\/JEDS.2013.2244641"},{"key":"ref104","article-title":"Memory-driven computing","author":"keeton","year":"2017","journal-title":"Proc Conf File Storage Technol"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2015.2397696"},{"key":"ref103","doi-asserted-by":"crossref","first-page":"976","DOI":"10.1016\/j.micpro.2014.04.001","article-title":"Teraflux: Harnessing dataflow in next\n generation teradevices","volume":"38","author":"giorgi","year":"2014","journal-title":"J Microprocessors and Microsystems"},{"key":"ref102","first-page":"137","article-title":"OmpSs@Zynq all-programmable SoC ecosystem","author":"filgueras","year":"2014","journal-title":"Proc Int l Symp Field-Programmable Gate Arrays"},{"key":"ref98","first-page":"28.7.1","article-title":"Pairwise coupled hybrid vanadium\n dioxide-MOSFET (HVFET) oscillators for non-boolean associative computing","author":"shukla","year":"2014","journal-title":"Proc IEEE Int Electron Devices Meet"},{"article-title":"SEJITS: Getting productivity and performance\n with selective embedded JIT specialization","year":"2010","author":"catanzaro","key":"ref99"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2016.2563323"},{"key":"ref97","first-page":"43","article-title":"Challenges and opportunities: From\n near-memory computing to in-memory computing","author":"khoram","year":"2017","journal-title":"Proc Phys Symp"},{"article-title":"Maximizing multicore efficiency with\n navigator runtime","year":"2012","author":"biscondi","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2013.90"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/MM.2011.77","article-title":"Toward dark silicon in servers","volume":"31","author":"ferdman","year":"2011","journal-title":"IEEE Micro"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2013.95"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"article-title":"Arch2030: A Vision of Computer Architecture\n Research over the Next 15 Years","year":"2016","author":"ceze","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.376"},{"key":"ref82","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verification of probabilistic\n real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Proc Conf Comput Aided Verification"},{"key":"ref17","first-page":"1","article-title":"Network on chip: An architecture for billion\n transistor era","author":"hemani","year":"2000","journal-title":"Proc IEEE Norchip Conf"},{"key":"ref81","first-page":"1","article-title":"Advances in probabilistic model checking with\n PRISM: Variable reordering, quantiles and weak deterministic Büchi automata","author":"klein","year":"2017","journal-title":"J Softw Tools Technol Transfer"},{"key":"ref18","first-page":"1417","article-title":"Parallel skeletons","author":"gorlatch","year":"2011","journal-title":"Encyclopedia of Parallel Computing"},{"key":"ref84","first-page":"1","article-title":"System simulation with gem5 and SystemC: The\n keystone for full interoperability","author":"menard","year":"2017","journal-title":"Proc Conf Embedded Comput Syst Archit Model Simul"},{"article-title":"Well-formed and scalable invasive software composition","year":"2015","author":"karol","key":"ref19"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00066-8"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2016.2564925"},{"year":"2016","key":"ref85"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.374"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1016\/j.sse.2014.06.010"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1021\/nl401826u"}],"container-title":["IEEE Transactions on Multi-Scale Computing Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6687315\/8466693\/08103042.pdf?arnumber=8103042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T11:29:13Z","timestamp":1643196553000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8103042\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,1]]},"references-count":105,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tmscs.2017.2771750","relation":{},"ISSN":["2332-7766","2372-207X"],"issn-type":[{"type":"electronic","value":"2332-7766"},{"type":"electronic","value":"2372-207X"}],"subject":[],"published":{"date-parts":[[2018,7,1]]}}}