Reconfigurable Computing (RC) systems based on FPGAs are becoming an increasingly attractive solution to building parallel systems of the future. Applications targeting such systems have demonstrated superior performa...
详细信息
Reconfigurable Computing (RC) systems based on FPGAs are becoming an increasingly attractive solution to building parallel systems of the future. Applications targeting such systems have demonstrated superior performance and reduced energy consumption versus their traditional counterparts based on microprocessors. However, most of such work has been limited to small system sizes. Unlike traditional HPC systems, lack of integrated, system-wide, parallel-programming models and languages presents a significant design challenge for creating applications targeting scalable, reconfigurable HPC systems. In this article, we extend the traditional Partitioned Global Address Space (PGAS) model to provide a multilevel integration of memory, which simplifies development of parallel applications for such systems and improves developer productivity. The new multilevel-PGAS programming model captures the unique characteristics of reconfigurable HPC systems, such as the existence of multiple levels of memory hierarchy and heterogeneous computation resources. Based on this model, we extend and adapt the SHMEM communication library to become what we call SHMEM+, the first known SHMEM library enabling coordination between FPGAs and CPUs in a reconfigurable, heterogeneous HPC system. Applications designed with SHMEM+ yield improved developer productivity compared to current methods of multidevice RC design and exhibit a high degree of portability. In addition, our design of SHMEM+ library itself is portable and provides peak communication bandwidth comparable to vendor-proprietary versions of SHMEM. Application case studies are presented to illustrate the advantages of SHMEM+.
作者：
Ying, MingshengUniv Technol Sydney
Ctr Quantum Computat & Intelligent Syst Fac Engn & Informat Technol City Campus15 Broadway Ultimo NSW 2007 Australia Tsinghua Univ
State Key Lab Intelligent Technol & Syst Tsinghua Natl Lab Informat Sci & Technol Dept Comp Sci & Technol Beijing 100084 Peoples R China
Floyd-Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum...
详细信息
Floyd-Hoare logic is a foundation of axiomatic semantics of classical programs, and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum program verification and to build a logical foundation of programming methodology for quantum computers, we develop a full-fledged Floyd-Hoare logic for both partial and total correctness of quantum programs. It is proved that this logic is (relatively) complete by exploiting the power of weakest preconditions and weakest liberal preconditions for quantum programs.
BridgeVIEW, National Instruments' new data acquisition and control (DAC) and man-machine interface (MMI) software, leverages LabVIEW's graphical programming environment and provides additional tools for SCADA ...
详细信息
BridgeVIEW, National Instruments' new data acquisition and control (DAC) and man-machine interface (MMI) software, leverages LabVIEW's graphical programming environment and provides additional tools for SCADA functions. The software is specifically addressed to the needs of users in manufacturing and process control. BridgeVIEW, which runs on Microsoft Windows 95 and Windows NT, is designed to monitor and control one or more distributed units in a client-server architecture. With BridgeVIEW, users can monitor the process, change setpoints and send control instructions to individual data acquisition devices.
Unigram is a fundamental element of n-gram in natural language processing. However, unigrams collected from a natural language corpus are unsuitable for solving problems in the domain of computer programming languages...
详细信息
Unigram is a fundamental element of n-gram in natural language processing. However, unigrams collected from a natural language corpus are unsuitable for solving problems in the domain of computer programming languages. In this paper, we analyze the properties of unigrams collected from an ultra-large source code repository. Specifically, we have collected 1.01 billion unigrams from 0.7 million open source projects hosted at GitHub. com. By analyzing these unigrams, we have discovered statistical properties regarding (1) how developers name variables, methods, and classes, and (2) how developers choose abbreviations. We describe a probabilistic model which relies on these properties for solving a well-known problem in source code analysis: how to expand a given abbreviation to its original indented word. Our empirical study shows that using the unigrams extracted from source code repository outperforms the using of the natural language corpus by 21% when solving the domain specific problems.
It is strongly desired in factory automation that control software is easily and immediately developed and modified. To meet this requirement, we have developed a new type of control software system called Rule-Based ...
详细信息
It is strongly desired in factory automation that control software is easily and immediately developed and modified. To meet this requirement, we have developed a new type of control software system called Rule-Based Control Software System for factory automation. In this software system, "IF(conditions)-THEN(conclusions)" rule style is adopted to describe the control logics, because it is well suited to the nonprocedural manner of control logics and make it simple to describe them. And, control actions are deduced from system components' states by using forward inference method. In this paper, rule correctness check support software and a response-time estimation formula in the Rule-Based Control Software System are explaind.
A new model of computation is explored based on axiomatic logic. The significant difference from other models is how reasoning about variables is expressed. The computation is described only by defining variables in t...
详细信息
A new model of computation is explored based on axiomatic logic. The significant difference from other models is how reasoning about variables is expressed. The computation is described only by defining variables in terms of other variables. The benefit is the simplicity of the semantics of the axiomatic logic. The model is described in the form of a tutorial using a simple language to illustrate how a program can be expressed in this model.
Source code plagiarism is a significant issue in educational practice, and educators need user-friendly tools to cope with such academic dishonesty. This article introduces the latest version of Dolos, a state-of-thea...
详细信息
Source code plagiarism is a significant issue in educational practice, and educators need user-friendly tools to cope with such academic dishonesty. This article introduces the latest version of Dolos, a state-of-theart ecosystem of tools for detecting and preventing plagiarism in educational source code. In this new version, the primary focus has been on enhancing the user experience. Educators can now run the entire plagiarism detection pipeline from a new web app in their browser, eliminating the need for any installation or configuration. Completely redesigned analytics dashboards provide an instant assessment of whether a collection of source files contains suspected cases of plagiarism and how widespread plagiarism is within the collection. The dashboards support hierarchically structured navigation to facilitate zooming in and out of suspect cases. Clusters are an essential new component of the dashboard design, reflecting the observation that plagiarism can occur among larger groups of students. To meet various user needs, the Dolos software stack for source code plagiarism detection now includes a self-hostable web app, a JSON application programming interface (API), a command line interface (CLI), a JavaScript library and a preconfigured Docker container. Clear documentation and a free-to-use instance of the web app can be found at https://***. The source code is also available on GitHub.
A physical system is regarded as a set of processes designed to perform functions on streams (fluxes) of various products (materials, energy, information, etc ...). Fluxes and processes are not consistently assimilabl...
详细信息
A physical system is regarded as a set of processes designed to perform functions on streams (fluxes) of various products (materials, energy, information, etc ...). Fluxes and processes are not consistently assimilable to entities expressible in a programming language, even a high-level language. New notions must be introduced. They are presented pragmatically using ADA as an exemple. The notion of hypothesis makes it possible to postulate in the model, the existence of entities which are to be manipulated as a whole. The introduction of TIME and FLUX types as well as of the new notions of process, device, receiver, are proposed and considered to be indispensable for the definition of the system models. Other notions, while not indispensable, are also introduced in order to facilitate the definition of models. These proposals are supplemented by some indications on a theoretical approach to the modelling of systems. This theoretical information is given in support of the presented proposals.
Open languages are a new class of formal languages initially defined in [Sunik]. A language of this class combines the grammar of an object-oriented programming language with the universality of a natural language. Th...
详细信息
Open languages are a new class of formal languages initially defined in [Sunik]. A language of this class combines the grammar of an object-oriented programming language with the universality of a natural language. This work details Open C++ based on the syntax and the conceptual system of C++.
Agent-building tools have an important role in popularizing agent technology. This paper describes a new agent-programming tool AJA. AJA consists of two programming languages: HADL for defining of higher-level agent c...
详细信息
Agent-building tools have an important role in popularizing agent technology. This paper describes a new agent-programming tool AJA. AJA consists of two programming languages: HADL for defining of higher-level agent constructs and Java+ for low-level programming of these constructs. Among other interesting features AJA presents an original approach of incorporating artificial intelligence techniques, such as artificial neural nets, into a programming language.
暂无评论