Comments143 pages, 15 tables, 23 figures, 173 references, 4 appendices. Working paper -- pre-peer-review preprint. LaTeX source with arXiv-style template. Three companion manuscripts under development targeting peer-reviewed venues
机构
*
Indian Institute of Technology Jodhpur(印度理工学院焦特布尔分校)
;
AIM Intelligence
;
National Institute of Technology Agartala(国立阿加尔塔拉理工学院)
;
Fordham University(福特汉姆大学)
;
University of Fukui(福井大学)
;
Independent Researcher(独立研究员)
Integrated Multi-Drone Task Allocation, Sequencing, and Optimal Trajectory Generation in Obstacle-Rich 3D Environments
集成多无人机任务分配、任务序列和最优轨迹生成在障碍密集的3D环境中
Yunes Alqudsi, Murat Makaraci
机构
*
Aerospace Engineering Department, Faculty of Aeronautics and Astronautics, Kocaeli University(科贾埃利大学航空与航天学院航空航天工程系)
;
Interdisciplinary Research Center for Aviation and Space Exploration, KFUPM(法赫德国王石油矿产大学航空与空间探索跨学科研究中心)
;
Mechanical Engineering Department, Faculty of Aeronautics and Astronautics, Kocaeli University(科贾埃利大学航空与航天学院机械工程系)
Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
Model2Kernel: 用于安全CUDA内核的模型感知符号执行
Mengting He, Shihao Xia, Haomin Jia, Wenfei Wu, Linhai Song
机构
*
The Pennsylvania State University(宾夕法尼亚州立大学)
;
State Key Lab of Processors, Institute of Computing Technology, CAS(中国科学院计算技术研究所处理器实验室)
;
Peking University(北京大学)
机构
*
School of Advanced Technology, Xi’an Jiaotong-Liverpool University(西安交通大学利物浦大学先进科技学院)
;
Department of Computer Science, University of Liverpool(利物浦大学计算机科学系)
;
Information Hub, Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州)信息中心)
;
University of Southern California(南加州大学)
;
Duke Kunshan University(杜克大学昆山分校)
机构
*
Department of Mechanical Engineering, College of Design and Engineering, National University of Singapore(新加坡国立大学设计与工程学院机械工程系)
;
Department of Electrical and Electronic Engineering, The Hong Kong Polytechnic University(香港理工大学电机及电子工程学系)
;
School of Vehicle and Mobility, Tsinghua University(清华大学车辆与运载学院)