المؤلفون: Yin, Liwei, Shu, Yongjiang, Zhang, Heng, Dai, Yuefei, Lu, Xiaopeng, Lian, Yunlong, Wang, Zhonghua, Ding, Yong

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control, D.3.2, B.6.2

URL الوصول: http://arxiv.org/abs/2402.03817

المؤلفون: Hamadouche, Anis, Wu, Yun, Wallace, Andrew M., Mota, Joao F. C.

مصطلحات موضوعية: Mathematics - Optimization and Control, Computer Science - Performance, Electrical Engineering and Systems Science - Signal Processing, Electrical Engineering and Systems Science - Systems and Control, 65G50, 90C25, B.6.1, B.6.2, B.6.3, B.2.4, C.5.0

URL الوصول: http://arxiv.org/abs/2306.16935

المؤلفون: Wang, Jianfeng, Chen, Zhonghao, Zhang, Jiahao, Xu, Yixin, Yu, Tongguang, Ye, Enze, Zheng, Ziheng, Yang, Huazhong, George, Sumitha, Liu, Yongpan, Narayanan, Vijaykrishnan, Li, Xueqing

المصدر: ACM Transactions on Design Automation of Electronic Systems 2024

مصطلحات موضوعية: Computer Science - Hardware Architecture, B.2.3, B.6.2, B.7.3

URL الوصول: http://arxiv.org/abs/2206.08087

المؤلفون: Maier, Jürgen, Steininger, Andreas

المصدر: 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014, pp. 33-38

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing, B.6.2, B.5.3

URL الوصول: http://arxiv.org/abs/2006.04577

المؤلفون: Fellner, Andreas, Befrouei, Mitra Tabaei, Weissenbacher, Georg

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Software Engineering, D.2.5, F.3.1, B.6.2

URL الوصول: http://arxiv.org/abs/1907.07368

المؤلفون: Roy, K., Jung, B., Peroulis, D., Raghunathan, A.

المصدر: IEEE Design & Test IEEE Des. Test Design & Test, IEEE. 33(3):56-65 Jun, 2016

المؤلفون: Chang, K., Chou, H., Yu, H., Dobbyn, D., Kuo, S.

المصدر: IEEE Design & Test IEEE Des. Test Design & Test, IEEE. 33(6):63-71 Dec, 2016

المؤلفون: Muljowidodo, K., Adi, N. Sapto

المصدر: Proceedings of the International Conference on Intelligent Unmanned System (ICIUS 2007), Bali, Indonesia, October 24-25, 2007, Paper No. ICIUS2007-A014

مصطلحات موضوعية: Computer Science - Robotics, B.6.2

URL الوصول: http://arxiv.org/abs/0804.3885

المؤلفون: Jürgen Maier, Andreas Steininger

مصطلحات موضوعية: FOS: Computer and information sciences, Data stream, B.6.2, B.5.3, Interleaving, Computer science, Distributed computing, Computer Science - Distributed, Parallel, and Cluster Computing, Asynchronous communication, Redundancy (engineering), Distributed, Parallel, and Cluster Computing (cs.DC), Test data, Asynchronous circuit

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e402fbab571d8e10cfd71f4e3da21081
http://arxiv.org/abs/2006.04577

المؤلفون: Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher

المصدر: Software Engineering and Formal Methods ISBN: 9783030304454
SEFM
Software Engineering and Formal Methods-17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software and Systems Modeling
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Software Engineering and Formal Methods

مصطلحات موضوعية: FOS: Computer and information sciences, B.6.2, Model checking, Computer Science - Logic in Computer Science, Theoretical computer science, Source code, Modeling language, Computer science, media_common.quotation_subject, Mutant, 02 engineering and technology, computer.software_genre, Computer Science - Software Engineering, System under test, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, media_common, D.2.5, Programming language, Special Section Paper, 020207 software engineering, 16. Peace & justice, Logic in Computer Science (cs.LO), Test (assessment), Software Engineering (cs.SE), Test case, Modeling and Simulation, Mutation testing, F.3.1, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ed52ddbe4615d6558e480669d8d63fc
https://doi.org/10.1007/978-3-030-30446-1_11