搜索结果: 1-8 共查到“程序设计及其语言 language”相关记录8条 . 查询时间(0.162 秒)
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 ...
CPL: A Language for Real-Time Distributed Object Programming
concurrent object-oriented real-time distributed
2009/7/28
As processing and time requirements of computer systems increase over the borders of single processor architectures, it is becoming more and more attractive to use distributed computing with additiona...