Journal of Systems Architecture, Volume 114

Volume 114, March 2021

Regular papers

• 
  Xuan Sun, Chun Jason Xue, Jinghuan Yu, Tei-Wei Kuo, Xue Liu:
  Accelerating data filtering for database using FPGA. 101908
• 
  Jitao Wang, Guozi Sun, Yu Gu, Kun Liu:
  ConGradetect: Blockchain-based detection of code and identity privacy vulnerabilities in crowdsourcing. 101910

Special Issue on Modeling, verification and Testing of dependable critical systems (DETECT19)

• 
  Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook:
  Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. 101911

Regular papers

• 
  Kaiyan Chang, Wei Jiang, Jinyu Zhan, Zicheng Gong, Weijia Pan:
  ArchNet: A data hiding design for distributed machine learning systems. 101912

Special Issue on Advances in Reliable Software Technologies (AdaEurope20)

• 
  Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane:
  Towards dynamic safety assurance for Industry 4.0. 101914

Regular papers

• 
  Koneti Kalyan Chakravarthi, L. Shyamala:
  TOPSIS inspired Budget and Deadline Aware Multi-Workflow Scheduling for Cloud computing. 101916

Special Issue on Resource Management for Edge Intelligence (RMEI20)

• 
  Shuzhen Chen, Youming Tao, Dongxiao Yu, Feng Li, Bei Gong:
  Distributed learning dynamics of Multi-Armed Bandits for edge intelligence. 101919

Special Issue on Advances in Reliable Software Technologies (AdaEurope20)

• 
  Oscar R. Polo, Jonatan Sánchez, Antonio da Silva, Pablo Parra, Agustín Martínez-Hellín, Alberto Carrasco, Sebastián Sánchez:
  Reliability-oriented design of on-board satellite boot software against single event effects. 101920
• 
  Mourad Dridi, Frank Singhoff, Stéphane Rubini, Jean-Philippe Diguet:
  ECTM: A network-on-chip communication model to combine task and message schedulability analysis. 101931

Special Issue on Resource Management for Edge Intelligence (RMEI20)

• 
  Huiying Xu, Xiaoyu Qiu, Weikun Zhang, Kang Liu, Shuo Liu, Wuhui Chen:
  Privacy-preserving incentive mechanism for multi-leader multi-follower IoT-edge computing market: A reinforcement learning approach. 101932

Special Issue on Next Generation AI Approaches for Intelligent Internet of Things (AIAIIoT20)

• 
  Yutong Liu, Linghe Kong, Guihai Chen, Fangqin Xu, Zhanquan Wang:
  Light-weight AI and IoT collaboration for surveillance video pre-processing. 101934

Regular papers

• 
  Zexin Li, Yuqun Zhang, Ao Ding, Husheng Zhou, Cong Liu:
  Efficient algorithms for task mapping on heterogeneous CPU/GPU platforms for fast completion time. 101936

Special Issue on Next Generation AI Approaches for Intelligent Internet of Things (AIAIIoT20)

• 
  Meikang Qiu, Sun-Yuan Kung:
  Guest editorial: Special issue on next generation AI approaches for intelligent internet of things. 101937

Special issue on Dependable Cyber Physical Systems (DCPS19)

• 
  Dipanwita Sadhukhan, Sangram Ray, Mohammad S. Obaidat, Mou Dasgupta:
  A secure and privacy preserving lightweight authentication scheme for smart-grid communication using elliptic curve cryptography. 101938

Review papers

• 
  Ahmed Shafee, Tasneem A. Awaad:
  Privacy attacks against deep learning models and their countermeasures. 101940

Regular papers

• 
  Sanjay Moulik, Zinea Das, Rajesh Devaraj, Shounak Chakraborty:
  SEAMERS: A Semi-partitioned Energy-Aware scheduler for heterogeneous MulticorEReal-time Systems. 101953

Special Issue on Parallel, Distributed, and Network-Based Processing in Next-generation Embedded Systems

• 
  Gustavo Berned, Fábio Diniz Rossi, Marcelo Caggiani Luizelli, Samuel Xavier de Souza, Antonio Carlos Schneider Beck, Arthur Francisco Lorenzon:
  Low learning-cost offline strategies for EDP optimization of parallel applications. 101959

Review papers

• 
  Md. Mahmudul Islam, Muhammad Toaha Raza Khan, Malik Muhammad Saad, Dongkyun Kim:
  Software-defined vehicular network (SDVN): A survey on architecture and routing. 101961

Regular papers

• 
  He Du, Xu Jiang, Mingsong Lv, Tao Yang, Wang Yi:
  Scheduling and analysis of real-time task graph models with nested locks. 101969

Special Issue on Resource Management for Edge Intelligence (RMEI20)

• 
  Bowen Liu, Xiaolong Xu, Lianyong Qi, Qiang Ni, Wanchun Dou:
  Task scheduling with precedence and placement constraints for resource utilization improvement in multi-user MEC environment. 101970
• 
  Tian Wang, Yaxin Mei, Xuxun Liu, Jin Wang, Hong-Ning Dai, Zhijian Wang:
  Edge-based auditing method for data security in resource-constrained Internet of Things. 101971

Special Issue on Modeling, verification and Testing of dependable critical systems (DETECT19)

• 
  Yassine Ouhammou, Abderrahim Ait Wakrime:
  Guest editorial: Special issue on modeling, verification and testing of dependable critical systems. 101974