Zobrazeno 1 - 10
of 14
pro vyhledávání: '"B.6.2"'
Autor:
Yin, Liwei, Shu, Yongjiang, Zhang, Heng, Dai, Yuefei, Lu, Xiaopeng, Lian, Yunlong, Wang, Zhonghua, Ding, Yong
Reasonable vibration reduction design is an important way to achieve low phase noise index of airborne frequency source output signal. Aiming at the problem of phase noise deterioration of an airborne frequency source under random condition, this pap
Externí odkaz:
http://arxiv.org/abs/2402.03817
We propose Dual-Feedback Generalized Proximal Gradient Descent (DFGPGD) as a new, hardware-friendly, operator splitting algorithm. We then establish convergence guarantees under approximate computational errors and we derive theoretical criteria for
Externí odkaz:
http://arxiv.org/abs/2306.16935
Autor:
Wang, Jianfeng, Chen, Zhonghao, Zhang, Jiahao, Xu, Yixin, Yu, Tongguang, Ye, Enze, Zheng, Ziheng, Yang, Huazhong, George, Sumitha, Liu, Yongpan, Narayanan, Vijaykrishnan, Li, Xueqing
Publikováno v:
ACM Transactions on Design Automation of Electronic Systems 2024
Intellectual property (IP) piracy has become a non-negligible problem as the integrated circuit (IC) production supply chain is becoming increasingly globalized and separated that enables attacks by potentially untrusted attackers. Logic locking is a
Externí odkaz:
http://arxiv.org/abs/2206.08087
Autor:
Maier, Jürgen, Steininger, Andreas
Publikováno v:
17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014, pp. 33-38
Complementing concurrent checking with online testing is crucial for preventing fault accumulation in fault-tolerant systems with long mission times. While implementing a non-intrusive online test is cumbersome in a synchronous environment, this task
Externí odkaz:
http://arxiv.org/abs/2006.04577
We present a new method for model-based mutation-driven test case generation. Mutants are generated by making small syntactical modifications to the model or source code of the system under test. A test case kills a mutant if the behavior of the muta
Externí odkaz:
http://arxiv.org/abs/1907.07368
Autor:
Muljowidodo, K., Adi, N. Sapto
Publikováno v:
Proceedings of the International Conference on Intelligent Unmanned System (ICIUS 2007), Bali, Indonesia, October 24-25, 2007, Paper No. ICIUS2007-A014
In recent years, Autonomous Underwater Vehicle (UAV) research and development at Bandung Institute of Technology in Indonesia has achieved the testing stage in the field. This testing was still being classified as the early testing, since some of the
Externí odkaz:
http://arxiv.org/abs/0804.3885
Autor:
Jürgen Maier, Andreas Steininger
Complementing concurrent checking with online testing is crucial for preventing fault accumulation in fault-tolerant systems with long mission times. While implementing a non-intrusive online test is cumbersome in a synchronous environment, this task
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e402fbab571d8e10cfd71f4e3da21081
http://arxiv.org/abs/2006.04577
http://arxiv.org/abs/2006.04577
Publikováno v:
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
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
We present a new method for model-based mutation-driven test case generation. Mutants are generated by making small syntactical modifications to the model or source code of the system under test. A test case kills a mutant if the behavior of the muta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ed52ddbe4615d6558e480669d8d63fc
https://doi.org/10.1007/978-3-030-30446-1_11
https://doi.org/10.1007/978-3-030-30446-1_11
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.