المؤلفون: Wei, D., Zhang, J., Li, H., Liu, Y., Zhang, X., Pan, T., Huang, T.

المصدر: IEEE Transactions on Network and Service Management IEEE Trans. Netw. Serv. Manage. Network and Service Management, IEEE Transactions on. 21(3):2876-2887 Jun, 2024

المؤلفون: Lyu, L., Song, L., Gao, C., Liu, W., Li, H., Shi, Y., Dai, D.

المصدر: Journal of Lightwave Technology J. Lightwave Technol. Lightwave Technology, Journal of. 42(7):2422-2428 Apr, 2024

المؤلفون: Singh, A., Brown, T.A., Mashtizadeh, A.J.

المصدر: IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 35(2):203-220 Feb, 2024

المؤلفون: Nagabhiru, M., Byrd, G.T.

المصدر: IEEE Computer Architecture Letters IEEE Comput. Arch. Lett. Computer Architecture Letters. 23(1):53-56 Jan, 2024

المؤلفون: Xu, Jinwei, Jiang, Jingfei, Xu, Shiyao, Gao, Lei

المصدر: 2023 IEEE International Conference on High Performance Computing & Communications, Data Science & Systems, Smart City & Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys) HPCC-DSS-SMARTCITY-DEPENDSYS High Performance Computing & Communications, Data Science & Systems, Smart City & Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys), 2023 IEEE International Conference on. :734-741 Dec, 2023

Relation: 2023 IEEE International Conference on High Performance Computing & Communications, Data Science & Systems, Smart City & Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys)

المؤلفون: Wu, Fengmin, Liu, Sicong, Guo, Bin, Li, Xiaocheng, Gao, Yuan, Yu, Zhiwen

المصدر: 2024 IEEE Coupling of Sensing & Computing in AIoT Systems (CSCAIoT) CSCAIOT Coupling of Sensing & Computing in AIoT Systems (CSCAIoT), 2024 IEEE. :8-9 May, 2024

Relation: 2024 IEEE Coupling of Sensing & Computing in AIoT Systems (CSCAIoT)

المؤلفون: Parekh, Nishant, 1993, Ahrendt, Wolfgang, 1967, Fabian, Martin, 1960

المصدر: 17th IFAC Workshop on Discrete Event Systems, WODES 2024, Rio de Janeiro, Brazil IFAC-PapersOnLine. 58(1):282-287

مصطلحات موضوعية: security, non-blocking, smart contracts, Verification, Extended finite state machines

وصف الملف: electronic

URL الوصول: https://research.chalmers.se/publication/542900
https://research.chalmers.se/publication/542900/file/542900_Fulltext.pdf

المؤلفون: Million, Davy, Oliete-Escuin, Noelia, Fuguet, Cesar

المصدر: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024. :1-2 Mar, 2024

Relation: 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)

المؤلفون: Novac, Ovidiu Constantin, Ghiurau, David, Novac, Mihaela Cornelia, Gordan, Cornelia Emilia, Oproescu, Mihai, Bujdoso, Gyongyi, Mihalca, Vlad Ovidiu

المصدر: 2023 15th International Conference on Electronics, Computers and Artificial Intelligence (ECAI) Electronics, Computers and Artificial Intelligence (ECAI), 2023 15th International Conference on. :1-7 Jun, 2023

Relation: 2023 15th International Conference on Electronics, Computers and Artificial Intelligence (ECAI)

المؤلفون: Liao, Xuehua, Luo, Chunqi, Lu, Peng, Xiao, Pengcheng, Zhu, Zhousen, Lei, Meng

المصدر: 2023 8th International Conference on Computer and Communication Systems (ICCCS) Computer and Communication Systems (ICCCS), 2023 8th International Conference on. :49-55 Apr, 2023

Relation: 2023 8th International Conference on Computer and Communication Systems (ICCCS)