default search action
Journal of Systems Architecture, Volume 135
Volume 135, February 2023
- Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque:
Formal domain-driven system development in Event-B: Application to interactive critical systems. 102798
- Rui Xu, Edwin Hsing-Mean Sha, Qingfeng Zhuge, Yuhong Song, Han Wang:
Loop interchange and tiling for multi-dimensional loops to minimize write operations on NVMs. 102799 - Niraj N. Sharma, Riya Jain, Mohana Madhumita Pokkuluri, Sachin B. Patkar, Rainer Leupers, Rishiyur S. Nikhil, Farhad Merchant:
CLARINET: A quire-enabled RISC-V-based framework for posit arithmetic empiricism. 102801 - Shahbaz Siddiqui, Sufian Hameed, Syed Attique Shah, Abdul Kareem Khan, Adel Aneiba:
Smart contract-based security architecture for collaborative services in municipal smart cities. 102802 - Jinbin Zhu, Liang Wang, Limin Xiao, Lei Liu, Guangjun Qin:
CFIO: A conflict-free I/O mechanism to fully exploit internal parallelism for Open-Channel SSDs. 102803 - Fengxiang Zhang, Zhiming Liu, Qin Wu, Sumei Wang, Dandi Ma:
Efficient schedulability analysis of hierarchical EDF scheduling with resource sharing. 102804 - Jaspinder Kaur, Shirshendu Das:
TPPD: Targeted Pseudo Partitioning based Defence for cross-core covert channel attacks. 102805 - Sergio Barrachina, Adrián Castelló, Manuel F. Dolz, Tze Meng Low, Héctor Martínez, Enrique S. Quintana-Ortí, Upasana Sridhar, Andrés E. Tomás:
Reformulating the direct convolution for high-performance deep learning inference on ARM processors. 102806
- Ying Huang, Xiaoying Zheng, Yongxin Zhu:
Optimized CPU-GPU collaborative acceleration of zero-knowledge proof for confidential transactions. 102807
- Hoon Sung Chwa, Jinkyu Lee:
Tight necessary feasibility analysis for recurring real-time tasks on a multiprocessor. 102808
- Jérôme Hugues:
Special issue on Reliable Software Technologies (AEiC2022). 102809
- Yuhong Song, Edwin Hsing-Mean Sha, Qingfeng Zhuge, Rui Xu, Xiaowei Xu, Bingzhe Li, Lei Yang:
Hardware-aware neural architecture search for stochastic computing-based neural networks on tiny devices. 102810 - Le Trieu Phong, Tran Thi Phuong:
Differentially private stochastic gradient descent via compression and memorization. 102819
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.