基于K Framework的向量化机器学习指令语义形式化

黄厚华; 刘嘉祥; 施晓牧

首页> 中文期刊> 《软件学报》 >基于K Framework的向量化机器学习指令语义形式化

基于K Framework的向量化机器学习指令语义形式化

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

ARM针对ARMv8.1-M微处理器架构推出基于M-Profile向量化扩展方案的技术,并命名为ARM Helium,声明能为ARM Cortex-M处理器提升达15倍的机器学习性能.随着物联网的高速发展,微处理器指令执行正确性尤为重要.指令集的官方手册作为芯片模拟程序,片上应用程序开发的依据,是程序正确性基本保障.主要介绍利用可执行语义框架K Framework对ARMv8.1-M官方参考手册中向量化机器学习指令的语义正确性研究.基于ARMv8.1-M的官方参考手册自动提取指令集中描述向量化机器学习指令执行过程的伪代码,并将其转换为形式化语义转换规则.通过K Framework提供的可执行框架利用测试用例,验证机器学习指令算数运算执行的正确性.

著录项

来源
《软件学报》 |2023年第8期|3853-3869|共17页
作者
黄厚华; 刘嘉祥; 施晓牧;
展开▼
作者单位

深圳大学计算机与软件学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
ARMv8.1-M架构; 向量化指令; 机器学习; K Framework; 形式化语义;

相似文献

中文文献
外文文献
专利

1. 基于机器学习的电网调度指令智能交互技术研究 [J] . 郭琦 ,袁少卿 ,吕小凡 . 电子设计工程 . 2022,第9期
2. 基于欧几里得空间的中医语义形式化表达初探 [J] . 王瑞祥 . 江西中医药大学学报 . 2019,第1期
3. 基于欧几里得空间的中医语义形式化表达初探 [J] . 王瑞祥 . 江西中医学院学报 . 2019,第1期
4. 基于形式化本体的铁路地理信息分类语义集成方法 [J] . 程智博 ,史天运 ,王英杰 . 铁道运输与经济 . 2017,第1期
5. 基于语义形式化的XBRL链接库优化 [J] . 张颖敏 . 财会月刊（中） . 2015,第2Z期
6. 基于Agent的分布式模型形式化语义描述 [C] . HOU Jinkui ,侯金奎 ,WANG Lei . 2013年全国开放式分布与并行计算学术年会 . 2013
7. 基于文本向量化和机器学习模型的电子竞技预测系统 [A] . 李宇 . 2018

基于K Framework的向量化机器学习指令语义形式化

摘要

著录项

相似文献

相关主题

期刊订阅