长垣产业园区科技文献服务平台

期刊


ISSN1539-9087
刊名ACM Transactions on Embedded Computing Systems
参考译名美国计算机协会嵌入式计算系统汇刊
收藏年代2008～2025



全部

2008 2009 2010 2011 2012 2013
2014 2015 2016 2017 2018 2019
2020 2021 2022 2023 2024 2025

2021, vol.20, no.1 2021, vol.20, no.2 2021, vol.20, no.3 2021, vol.20, no.4 2021, vol.20, no.5

题名作者出版年年卷期
Design Space Exploration for Secure IoT Devices and Cyber-Physical SystemsGressl, Lukas; Steger, Christian; Neffe, Ulrich20212021, vol.20, no.4
Interactive Programmatic ModelingBroman, David20212021, vol.20, no.4
Toward a Lingua Franca for Deterministic Concurrent SystemsLohstroh, Marten; Menard, Christian; Bateni, Soroush; Lee, Edward A.20212021, vol.20, no.4
Efficient External Sorting for Memory-Constrained Embedded Devices with Flash MemoryJackson, Riley; Gresl, Jonathan; Lawrence, Ramon20212021, vol.20, no.4
LPWAN in the TV White Spaces: A Practical Implementation and Deployment ExperiencesRahman, Mahbubur; Ismail, Dali; Modekurthy, Venkata P.; Saifullah, Abusayeed20212021, vol.20, no.4
Introduction to the Special Issue on Specification and Design Languages (FDL 2019)Girault, Alain; von Hanxleden, Reinhard20212021, vol.20, no.4
Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid SystemsDupont, Guillaume; Ait-Ameur, Yamine; Singh, Neeraj Kumar; Pantel, Marc20212021, vol.20, no.4
Toward Object-oriented Modeling in SCChartsSchulz-Rosengarten, Alexander; Smyth, Steven; Mendler, Michael20212021, vol.20, no.4
SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological NetworksBombieri, Nicola; Scaffeo, Silvia; Mastrandrea, Antonio; Caligola, Simone; Carlucci, Tommaso; Fummi, Franco; Laudanna, Carlo; Constantin, Gabriela; Giugno, Rosalba20212021, vol.20, no.4
Test Generation for Hardware Trojan Detection Using Correlation Analysis and Genetic AlgorithmShi, Zhendong; Ma, Haocheng; Zhang, Qizhi; Liu, Yanjiang; Zhao, Yiqiang; He, Jiaji20212021, vol.20, no.4
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024