Zobrazeno 1 - 10
of 245
pro vyhledávání: '"Thiruvathukal, George K"'
Autor:
Peng, Huiyun, Gupte, Arjun, Eliopoulos, Nicholas John, Ho, Chien Chou, Mantri, Rishi, Deng, Leo, Jiang, Wenxin, Lu, Yung-Hsiang, Läufer, Konstantin, Thiruvathukal, George K., Davis, James C.
Energy-efficient software helps improve mobile device experiences and reduce the carbon footprint of data centers. However, energy goals are often de-prioritized in order to meet other requirements. We take inspiration from recent work exploring the
Externí odkaz:
http://arxiv.org/abs/2410.09241
Background: In this paper, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors
Externí odkaz:
http://arxiv.org/abs/2407.21152
Background: Collaborative Software Package Registries (SPRs) are an integral part of the software supply chain. Much engineering work synthesizes SPR package into applications. Prior research has examined SPRs for traditional software, such as NPM (J
Externí odkaz:
http://arxiv.org/abs/2406.08205
Deep Learning (DL) is rapidly maturing to the point that it can be used in safety- and security-crucial applications. However, adversarial samples, which are undetectable to the human eye, pose a serious threat that can cause the model to misbehave a
Externí odkaz:
http://arxiv.org/abs/2405.01963
Rapid advancements of deep learning are accelerating adoption in a wide variety of applications, including safety-critical applications such as self-driving vehicles, drones, robots, and surveillance systems. These advancements include applying varia
Externí odkaz:
http://arxiv.org/abs/2405.01934
Autor:
Davis, James C., Jajal, Purvish, Jiang, Wenxin, Schorlemmer, Taylor R., Synovic, Nicholas, Thiruvathukal, George K.
Deep neural networks (DNNs) achieve state-of-the-art performance in many areas, including computer vision, system configuration, and question-answering. However, DNNs are expensive to develop, both in intellectual effort (e.g., devising new architect
Externí odkaz:
http://arxiv.org/abs/2404.16688
Autor:
Chen, Leo, Boardley, Benjamin, Hu, Ping, Wang, Yiru, Pu, Yifan, Jin, Xin, Yao, Yongqiang, Gong, Ruihao, Li, Bo, Huang, Gao, Liu, Xianglong, Wan, Zifu, Chen, Xinwang, Liu, Ning, Zhang, Ziyi, Liu, Dongping, Shan, Ruijie, Che, Zhengping, Zhang, Fachao, Mou, Xiaofeng, Tang, Jian, Chuprov, Maxim, Malofeev, Ivan, Goncharenko, Alexander, Shcherbin, Andrey, Yanchenko, Arseny, Alyamkin, Sergey, Hu, Xiao, Thiruvathukal, George K., Lu, Yung Hsiang
This article describes the 2023 IEEE Low-Power Computer Vision Challenge (LPCVC). Since 2015, LPCVC has been an international competition devoted to tackling the challenge of computer vision (CV) on edge devices. Most CV researchers focus on improvin
Externí odkaz:
http://arxiv.org/abs/2403.07153
Autor:
Jiang, Wenxin, Yasmin, Jerin, Jones, Jason, Synovic, Nicholas, Kuo, Jiashen, Bielanski, Nathaniel, Tian, Yuan, Thiruvathukal, George K., Davis, James C.
The development and training of deep learning models have become increasingly costly and complex. Consequently, software engineers are adopting pre-trained models (PTMs) for their downstream applications. The dynamics of the PTM supply chain remain l
Externí odkaz:
http://arxiv.org/abs/2402.00699
Zero Involvement Pairing and Authentication (ZIPA) is a promising technique for auto-provisioning large networks of Internet-of-Things (IoT) devices. Presently, these networks use password-based authentication, which is difficult to scale to more tha
Externí odkaz:
http://arxiv.org/abs/2311.04433