• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 2021
• 
  Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook:
  Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. J. Syst. Archit. 114: 101911 (2021)
• 
  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. J. Syst. Archit. 114: 101959 (2021)
• 
  Koneti Kalyan Chakravarthi, L. Shyamala:
  TOPSIS inspired Budget and Deadline Aware Multi-Workflow Scheduling for Cloud computing. J. Syst. Archit. 114: 101916 (2021)
• 
  Kaiyan Chang, Wei Jiang, Jinyu Zhan, Zicheng Gong, Weijia Pan:
  ArchNet: A data hiding design for distributed machine learning systems. J. Syst. Archit. 114: 101912 (2021)
• 
  Shuzhen Chen, Youming Tao, Dongxiao Yu, Feng Li, Bei Gong:
  Distributed learning dynamics of Multi-Armed Bandits for edge intelligence. J. Syst. Archit. 114: 101919 (2021)
• 
  Mourad Dridi, Frank Singhoff, Stéphane Rubini, Jean-Philippe Diguet:
  ECTM: A network-on-chip communication model to combine task and message schedulability analysis. J. Syst. Archit. 114: 101931 (2021)
• 
  He Du, Xu Jiang, Mingsong Lv, Tao Yang, Wang Yi:
  Scheduling and analysis of real-time task graph models with nested locks. J. Syst. Archit. 114: 101969 (2021)
• 
  Md. Mahmudul Islam, Muhammad Toaha Raza Khan, Malik Muhammad Saad, Dongkyun Kim:
  Software-defined vehicular network (SDVN): A survey on architecture and routing. J. Syst. Archit. 114: 101961 (2021)
• 
  Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane:
  Towards dynamic safety assurance for Industry 4.0. J. Syst. Archit. 114: 101914 (2021)
• 
  Zexin Li, Yuqun Zhang, Ao Ding, Husheng Zhou, Cong Liu:
  Efficient algorithms for task mapping on heterogeneous CPU/GPU platforms for fast completion time. J. Syst. Archit. 114: 101936 (2021)
• 
  Yutong Liu, Linghe Kong, Guihai Chen, Fangqin Xu, Zhanquan Wang:
  Light-weight AI and IoT collaboration for surveillance video pre-processing. J. Syst. Archit. 114: 101934 (2021)
• 
  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. J. Syst. Archit. 114: 101970 (2021)
• 
  Sanjay Moulik, Zinea Das, Rajesh Devaraj, Shounak Chakraborty:
  SEAMERS: A Semi-partitioned Energy-Aware scheduler for heterogeneous MulticorEReal-time Systems. J. Syst. Archit. 114: 101953 (2021)
• 
  Yassine Ouhammou, Abderrahim Ait Wakrime:
  Guest editorial: Special issue on modeling, verification and testing of dependable critical systems. J. Syst. Archit. 114: 101974 (2021)
• 
  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. J. Syst. Archit. 114: 101920 (2021)
• 
  Meikang Qiu, Sun-Yuan Kung:
  Guest editorial: Special issue on next generation AI approaches for intelligent internet of things. J. Syst. Archit. 114: 101937 (2021)
• 
  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. J. Syst. Archit. 114: 101938 (2021)
• 
  Ahmed Shafee, Tasneem A. Awaad:
  Privacy attacks against deep learning models and their countermeasures. J. Syst. Archit. 114: 101940 (2021)
• 
  Xuan Sun, Chun Jason Xue, Jinghuan Yu, Tei-Wei Kuo, Xue Liu:
  Accelerating data filtering for database using FPGA. J. Syst. Archit. 114: 101908 (2021)
• 
  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. J. Syst. Archit. 114: 101971 (2021)
• 
  Jitao Wang, Guozi Sun, Yu Gu, Kun Liu:
  ConGradetect: Blockchain-based detection of code and identity privacy vulnerabilities in crowdsourcing. J. Syst. Archit. 114: 101910 (2021)
• 
  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. J. Syst. Archit. 114: 101932 (2021)