搜索结果: 1-10 共查到“计算机软件 编程语言”相关记录10条 . 查询时间(0.206 秒)
近日，中国科学院软件研究所在支持编程语言中正则表达式非经典特性的字符串约束求解研究方面取得进展，提出了带权重的流字符串转换器的新自动机模型，对正则表达式的非经典特性进行形式建模，并根据该模型设计了新的字符串约束求解算法，研制了国际上第一个支持对编程语言中正则表达式非经典特性进行推理的字符串约束求解器OSTRICH，其研究成果被编程语言国际顶级会议POPL 2022录用。
美开发高效易操作超算编程语言
开发 高效 超算 编程语言
2019/7/15
超级计算机在解决科学领域重大挑战方面具有优势，但是编程操控这些“大家伙”并非易事。美国研究人员新开发出一种程序语言，让非计算机背景的人也能便捷利用超级计算机处理问题。
2017多机器人系统编程语言研讨会（Workshop on Buzz: A Programming Language for Multi-Robot Systems）
2017 多机器人系统 编程语言 研讨会
2017/5/22
Swarm robotics is a discipline that studies fully decentralized approaches for the coordination of large-scale teams of robots (swarms). Research in this field is ambitious: robot swarms are envisione...
记者2011年10月10日从中国科技大学获悉，第一作者为中国科大博士生的论文《A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations》被第39届编程语言原理国际会议(英文简称POPL)录用。这也是中国大陆高校和科研机构以第一作者单位名义被POPL录用的首篇学术论文。
西北工业大学可编程计算机控制器原理与应用课件3.8 ANSI C编程语言简介。
基于.NET平台的面向方面编程语言Eos
面向方面编程 C#语言 .NET平台
2009/7/31
目前面向方面编程(AOP)的主流工具是基于Java平台的AspectJ。该文论述了基于.NET平台的新AOP技术——Eos语言，该语言扩展了C#语言，引入一套完整的AOP语法，并提供Eos专用编译器，使其性能高于其他AOP实现技术。支持多语言的.NET平台的应用使跨语言应用AOP成为可能。
用Visual Basic编程语言开发的红外热像图分析软件
Visual Basic 编程语言 红外热像图
2009/5/18
用Visual Basic编程语言开发的红外热像图分析软件。
基于数据库编程语言的海量邮件数据分类技术
海量邮件数据 贝叶斯分类
2009/3/20
针对海量邮件数据的处理需求和实际业务需要，设计了基于数据库编程语言的海量邮件自动分类系统。该系统由特征学习模块、数据库查询模块和贝叶斯分类模块3部分构成。结合贝叶斯分类算法，利用PL/SQL语言与数据库交互时的高效性特点，在ORACLE PL/SQL存储过程中完成对未知邮件的特征提取和表示，实现对海量邮件数据的有效分类。
Agent规范与编程语言SPLAW的语法和语义
2007/12/24
本文描述了Agent规范与编程语言SPLAW的语法,为SPLAW中的各种语言成分提供了操作语义,并基于标记转换系统给出Agent性质的证明规则.由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML,使遵循同一标准的Agent之间能进行协作问题求解.SPLAW首次为Agent提供继承支持,使其可以实现具有面向对象特征的多线程系统.SPLAW屏弃了为语言引入内部模态词的缺陷,试图从...