搜索结果: 1-15 共查到“计算机软件 language”相关记录35条 . 查询时间(0.293 秒)
Moore’s Law needs a hug. The days of stuffing transistors on little silicon computer chips are numbered, and their life rafts — hardware accelerators — come with a price.
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...
PARAMETRIC REPRESENTATION OF THE SPEAKER’S LIPS FOR MULTIMODAL SIGN LANGUAGE AND SPEECH RECOGNITION
Sign language Gestures Speech recognition Computer Vision Principal Component Analysis Machine learning Face detection Linear contrasting
2017/6/19
In this article, we propose a new method for parametric representation of human’s lips region. The functional diagram of the method is described and implementation details with the explanation of its ...
第五届基于自然标注大数据的自然语言处理国际学术研讨会（The Fifth International Symposium on Natural Language Processing based on Naturally Annotated Big Data, NLP-NABD 2017）
第五届 自然标注大数据 自然语言处理 研讨会
2017/3/30
“第五届基于自然标注大数据的自然语言处理国际学术研讨会”（The Fifth International Symposium on Natural Language Processing based on Naturally Annotated Big Data, NLP-NABD 2017）将与CCL 2017同时召开。NLP-NABD涵盖了前面列举的所有自然语言处理的研究内容，尤其关注在大数据...
The Sixth Conference on Natural Language Processing and Chinese Computing (NLPCC 2017)
Digital Publishing Document Engineering
2017/2/15
The conference on Natural Language Processing and Chinese Computing (NLPCC) is the annual meeting of the CCF TCCI (Technical Committee of Chinese Information, China Computer Federation). NLPCC is a le...
FL is the result of an eort to design a practical functional programming language based on Backus FP This paper provides an introduction to and critique of the FL language The language eort is analy...
Region-based memory management systems structure memory by grouping objects in regions under program control.Memory is reclaimed by deleting regions, freeing all objects stored therein. Our compiler f...
A Query Language for Understanding Component Interactions in Production Systems
Query language logs influence correlation production systems
2016/5/24
When something unexpected happens in a large production system,administrators must first perform a search to isolate which components and component interactions are likely to be involved. The system m...
Liszt: A Domain Specific Language for Building Portable Mesh-based PDE Solvers
compiler analysis and program transformations, programming and runtime environments for high performance and high throughput computing
2016/5/24
Heterogeneous computers with processors and accelerators are becoming widespread in scientific computing. However,it is difficult to program hybrid architectures and there is no commonly accepted prog...
High-performance computing applications, such as auto-tuners and domain-specific languages, rely on generative programming techniques to achieve high performance and portability. However, these system...
Specification Inference Using Context-Free Language Reachability
program analysis verification specification inference
2016/5/24
We present a framework for computing context-free language reachability properties when parts of the program are missing. Our framework infers candidate specifications for missing program pieces that ...
Regent: A High-Productivity Programming Language for HPC with Logical Regions
Regent Legion logical regions task-based runtimes
2016/5/24
We present Regent, a high-productivity programming language for high performance computing with logical regions. Regent users compose programs with tasks (functions eligible for parallel execution) an...
A System and Language for Building System-Specific,Static Analyses
Extensible compilation error detection
2015/8/7
This paper presents a novel approach to bug-finding analysis and an implementation of that approach. Our goal is to find as many serious bugs as possible. To do so, we designed a flexible, easy-to-use...
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
CARL: A Complex Applications Interoperability Language based on Semantic Technologies for Platform-as-a-Service Integration and Cloud Computing
Semantic Web Ontologies Cloud Computing SaaS PaaS interoperability
2014/3/11
Cloud Computing technologies have recently gained momentum and moved from a hyped trend to a mature set of technological innovations providing an infrastructure for the Software-as-a-Service(SaaS) par...
