保存此搜索
短纸 2024年6月 基于语言的随机森林部署优化(特邀论文) LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第58-61页 https://doi.org/10.1145/3652032.3659366 近年来,资源高效的机器学习模型越来越受欢迎,使得随机森林和决策树成为著名的模型。 当然,这些模型经过了调整、优化和转换,以最大限度地降低资源消耗。 子集。。。 研究论文 2024年6月 柔性粒度任务图表示及其从C应用程序生成(WIP) LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第178-182页 https://doi.org/10.1145/3652032.3657580 现代硬件加速器(如FPGA)允许卸载大量C/C++代码,以提高软件应用程序的执行时间和/或能耗。 然而,这种方法的一个突出挑战是解决。。。 研究论文 2024年6月 C类生锈取土检查器的基础 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第155-165页 https://doi.org/10.1145/3652032.3657579 C语言中的内存安全问题是各种漏洞的根源,这些漏洞可能会危害程序的正确性或免受攻击的安全性。 我们提出了一种不同的方法来解决内存安全问题,即复制Rust的中级中级。。。 研究论文 2024年6月 神经网络常用层在定点结构上的高效实现 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第12-22页 https://doi.org/10.1145/3652032.3657578 在本文中,我们提出了一种在定点结构上实现权重为浮点数的神经网络的新方法。 我们的方法的独创性在于,定点格式是通过求解整数优化来计算的。。。 研究论文 2024年6月 揭开潜伏:基于多标签分类的物联网恶意软件恶意行为检测 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第95-106页 https://doi.org/10.1145/3652032.3657577 当前对物联网恶意软件进行分类的方法主要使用二进制和家族分类。 然而,这些结果缺乏详细的粒度来全面描述恶意行为。 这种限制给安全带来了挑战。。。 -
研究论文 2024年6月 TinySeg:微型嵌入式系统上图像分割的模型优化框架 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第23-33页 https://doi.org/10.1145/3652032.3657576 图像分割是计算机视觉的主要任务之一,它适用于各种领域,例如无人飞行器的自主导航。 然而,图像分割在微小的嵌入式系统上不容易实现,因为。。。 研究论文 2024年6月 乐观和可伸缩的全局函数合并 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第46-57页 https://doi.org/10.1145/3652032.3657575 函数合并是通过将相同或相似的函数合并为单个函数来减少代码大小的关键技术。 虽然先前的研究已经广泛探索了这项技术,但还没有结合功能进行评估。。。 研究论文 2024年6月 OpenMP-RT:Linux下对实时任务和与LLVM同步的本机Pragma支持 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第119-130页 https://doi.org/10.1145/3652032.3657574 通过向嵌入式体系结构添加更多内核,满足了实时系统处理能力不断增长的需求。 然而,传统编程语言缺乏对具有实时约束的并行性的足够支持。 为了填补这一空白,添加-。。。 研究论文 2024年6月 SmartVisor:面向用户的移动机器人虚拟监控程序 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第62-71页 https://doi.org/10.1145/3652032.3657573 随着移动机器人的日益普及,对功能强大的系统软件的需求也越来越大。 将多个操作系统集成到单个平台已成为必要,而虚拟化为管理提供了一个经济高效的解决方案。。。 研究论文 2024年6月 CodeExtract:使用代码提取技术增强二进制代码相似性检测 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第143-154页 https://doi.org/10.1145/3652032.3657572 在二进制代码相似性检测(BCSD)领域,当处理二进制形式的函数时,传统的方法是识别一组与目标函数最相似的函数。 这些类似的功能通常来自。。。 研究论文 2024年6月 在共享精度可缩放NPU上协调多个混合精度模型 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第72-82页 https://doi.org/10.1145/3652032.3657571 混合精度量化可以降低深度神经网络(DNN)模型的计算要求,且精度损失最小。 在神经处理单元(NPU)上执行混合精度DNN模型时,会导致。。。 研究论文 2024年6月 EVMBT:一种将EVM智能合约升级为WASM的二进制翻译方案 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第131-142页 https://doi.org/10.1145/3652032.3657570 以太坊是第一个也是最大的支持智能合约的区块链。 为了增强可扩展性和安全性,以太坊2.0(Eth2)的一个主要计划变化是将智能合约解释器从以太坊虚拟机(EVM)升级到。。。 研究论文 2024年6月 WoCA:通过设备状态的最坏情况分析避免嵌入式系统中的间歇执行 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第83–94页 https://doi.org/10.1145/3652032.3657569 具有间歇性能源供应的嵌入式系统可以彻底改变物联网,因为它们可以通过能量收集实现能源自给自足。 现有的间歇计算方法,直接从非易失性内存运行,允许。。。 研究论文 2024年6月 TWFuzz:用三线模糊嵌入式系统 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第107–118页 https://doi.org/10.1145/3652032.3657568 模糊处理是发现传统软件漏洞的一种非常有效的方法。 然而,当涉及到模糊化嵌入式系统时,特别是对于具有单片固件的较小微控制器设备,挑战是相当大的。。。 研究论文 2024年6月 MixPert:GPU整数张量核上优化混合精度浮点仿真 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第34-45页 https://doi.org/10.1145/3652032.3657567 加速器具有混合精度张量运算的特点,显著提高了许多容错计算任务的性能,但在要求高精度的场景中,其适用性有限。 在模拟高精度数据类型时。。。 研究论文 2024年6月 加快DBT中共享库的执行 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第1-11页 https://doi.org/10.1145/3652032.3657565 最近,用户模式动态二进制翻译(DBT)重新引起了人们的兴趣,尤其是由于苹果向Arm ISA的过渡,后者由x86遗留应用程序的DBT兼容层支持。 在获得表扬的同时。。。 研究论文 2024年6月 通过漏洞保留数据增强增强代码漏洞检测 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 2024年6月, 第166-177页 https://doi.org/10.1145/3652032.3657564 源代码漏洞检测旨在识别固有漏洞,以保护软件系统免受潜在攻击。 许多先前的研究忽略了不同的脆弱性特征,将问题简化为二进制(0-1)。。。 诉讼程序 2024年6月 LCTES 2024:第25届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 欢迎参加ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具会议(LCTES 2024),这是本次长期会议的第25版! 今年的会议与PLDI 2024位于同一地点,将附属。。。 海报 2024年5月 海报摘要:MULTIGAIN 2.0:多重平均收益、LTL和稳态约束的MDP控制器综合 我们介绍了MultiGain 2.0,它是对控制器综合工具MultiGain的一个主要扩展,建立在概率模型检查器PRISM之上。 这个新版本扩展了MultiGain的多目标功能,允许正式验证和。。。 海报 2024年5月 时间行为树——分割 我们提出了用于时间行为树(TBT)分割的工具,这是一种用于监控规范的新形式。 TBT可以很容易地改装为行为树,通常用于机器人应用程序的编程。 我们的工具支持健壮性。。。