COMPILERS

作品数：5被引量：10H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关期刊：《Computer Systems Science & Engineering》《Science China(Information Sciences)》《Journal of Computer Science & Technology》《Frontiers of Information Technology & Electronic Engineering》更多>>
相关基金：The Royal Society国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
TSCompiler:efficient compilation framework for dynamic-shape models
《Science China(Information Sciences)》2024年第10期63-80,共18页Xiang LUO Chen ZHANG Chenbo GENG Yanzhi YI Jiahui HU Renwei ZHANG Zhen ZHANG Gianpietro CONSOLARO Fan YANG Tun LU Ning GU Li SHANG 
supported in part by National Natural Science Foundation of China(Grant Nos.62090025,92373207);National Key Research and Development Program of China(Grant Nos.2023YFB4405101,2022YFB4400400,2023YFB4405103,2023YFB4405104)。
Today's deep learning models face an increasing demand to handle dynamic shape tensors and computation whose shape information remains unknown at compile time and varies in a nearly infinite range at runtime.This shap...
关键词：machine learning tensor compilers dynamic shape operator fusion code generation AUTO-TUNING 
Programming bare-metal accelerators with heterogeneous threading models:a case study of Matrix-3000被引量：1
《Frontiers of Information Technology & Electronic Engineering》2023年第4期509-520,共12页Jianbin FANG Peng ZHANG Chun HUANG Tao TANG Kai LU Ruibo WANG Zheng WANG 
Project supported by the National Key Research and Development Program of China(No.2021YFB0300101);the National Natural Science Foundation of China(No.61972408);the UK Royal Society International Collaboration Grant。
As the hardware industry moves toward using specialized heterogeneous many-core processors to avoid the effects of the power wall,software developers are finding it hard to deal with the complexity of these systems.In...
关键词：Heterogeneous computing Parallel programming models PROGRAMMABILITY COMPILERS Runtime systems 
Algorithms for Pre-Compiling Programs by Parallel Compilers
《Computer Systems Science & Engineering》2023年第3期2165-2176,共12页Fayez AlFayez 
The author would like to thank the Deanship of Scientific Research at Majmaah University for supporting this work under Project Number No.R-2022-85.
The paper addresses the challenge of transmitting a big number offiles stored in a data center(DC),encrypting them by compilers,and sending them through a network at an acceptable time.Face to the big number offiles,o...
关键词：COMPILER ENCRYPTION SCHEDULING big data ALGORITHMS 
Formal verification of synchronous data-flow program transformations toward certified compilers被引量：8
《Frontiers of Computer Science》2013年第5期598-616,共19页Van Chan NGO Jean-Pierre TALPIN Thierry GAUTIER Paul Le GUERNIC Loic BESNARD 
Translation validation was invented in the 90＇s by Pnueli et al. as a technique to formally verify the correctness of code generators. Rather than certifying the code generator or exhaustively qualifying it, translat...
关键词：formal verification translation validation certi-fied compiler multi-clocked synchronous programs embed-ded systems. 
Toward the Optimal Configuration of Dynamic Voltage Scaling Points in Real-Time Applications被引量：1
《Journal of Computer Science & Technology》2006年第6期893-900,共8页易会战 杨学军 
In real-time applications, compiler-directed dynamic voltage scaling （DVS） could reduce energy consumption efficiently, where compiler put voltage scaling points in the proper places, and the supply voltage and cloc...
关键词：low-power design energy-aware systems languages and compilers 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部