![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.