检索结果-内蒙古大学图书馆

Characterizing programming systems Allowing Program Self-Reference

THEORY OF COMPUTING systems 2009年第4期45卷 756-772页

作者： Case, John Moelius, Samuel E., III Univ Delaware Dept Comp & Informat Sci Newark DE 19716 USA

The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming languages (for the partial computable functions). In an eps in which the constructive form of Kleene's Recursion Theorem (KRT) holds, it is possible to construct, algorithmically, from an arbitrary algorithmic task, a self-referential program that, in a sense, creates a self-copy and then performs that task on the self-copy. In an eps in which the not-necessarily-constructive form of Kleene's Recursion Theorem (krt) holds, such self-referential programs exist, but cannot, in general, be found algorithmically. In an earlier effort, Royer proved that there is no collection of recursive denotational control structures whose implementability characterizes the epses in which KRT holds. One main result herein, proven by a finite injury priority argument, is that the epses in which krt holds are, similarly, not characterized by the implementability of some collection of recursive denotational control structures. On the positive side, however, a characterization of such epses of a rather different sort is shown herein. Though, perhaps not the insightful characterization sought after, this surprising result reveals that a hidden and inherent constructivity is always present in krt.

关键词： Computability theory Computable operators Control structures Numberings programming systems Recursive function theory Recursive operators Recursion theorem Self-reference

来源：评论

学校读者我要写书评

暂无评论

Integrating learning supports into the design of visual programming systems

引用

JOURNAL OF VISUAL LANGUAGES AND COMPUTING 2001年第5期12卷 501-524页

作者： DiGiano, C Kahn, K Cypher, A Smith, DC SRI Int Ctr Technol Learning Menlo Pk CA 94025 USA Animated Programs San Carlos CA 94070 USA Stagecast Software Inc Burlingame CA 94010 USA

The success of a programming system depends as much on the learnability of its language concepts as the usability of its interface. We argue that learnability can be significantly improved by integrating into the programming system learning supports that allow individuals to educate themselves about the syntax, semantics and applications of a language. Reflecting on our experience with developing novice programming systems, we identify infrastructural characteristics of such systems that can make the integration of learning supports practical. We focus on five core facilities: annotatability, scriptability monitorability, supplementability and constrainability. Our hope is that our examination of these technical facilities and their tradeoffs can inform the design of future programming systems that better address the educational needs of their users. (C) 2001 Academic Press.

关键词： programming systems learning instructional design end-user programming visual programming programming by example

来源：评论

学校读者我要写书评

暂无评论

programming systems AND LANGUAGES 1965-1975

引用

COMMUNICATIONS OF THE ACM 1972年第7期15卷 591-&页

作者： ROSEN, S Purdue Univ. Lafayette IN

In spite of impressive gains by PL/I, Fortran and Cobol remain the languages in which most of the world's production programs are written and will remain so into the foreseeable future. There is a great deal of theoretical interest in Algol 68 and in extensible languages, but so far at least they have had little practical impact. Problem-oriented languages may very well become the most important language development area in the next five to ten years. En the operating system area all major computer manufacturers set out to produce very ambitious multiprogramming systems, and they all ran into similar problems. A number of university projects, though not directly comparable to those of the manufacturers, have contributed greatly to a better understanding of operating system principles. Important trends include the increased interest in the development of system measurement and evaluation techniques, and increased use of microprogramming for some programming system functions. [ABSTRACT FROM AUTHOR]

关键词： history languages multiprogramming operating systems programming systems

来源：评论

学校读者我要写书评

暂无评论

Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of programming systems Innovations (Keynote) 2017

Bridging the Gap between Memory Performance and Massive Para...

引用

ACM SIGPLAN International Symposium on Memory Management (ISMM)

作者： Shen, Xipeng North Carolina State Univ Dept Comp Sci Raleigh NC 27695 USA

ISBN: (纸本)9781450350440

This talk examines some trends in the modern developments of memory systems and their relations with the massive parallelism in processors and applications. It then draws on some recent work on GPU to explain the important role of programming systems in bridging the gap; it particularly emphasizes the importance of innovations for enabling better software controllability, more software elasticity, and inter-thread data locality enhancements. The talk further discusses the implications brought to programming systems by the increasingly blurred boundaries among memory, storage, and processing.

关键词： Memory systems Compilers programming systems GPU Manycore

来源：评论

学校读者我要写书评

暂无评论

TRIZ-evolution of programming systems

引用

Procedia Engineering 2015年 131卷 162-174页

作者： Victor Berdonosov Tatiana Sycheva Komsomolsk-na-Amure State Technical University Faculty of Computer Technologies Russia Komsomolsk-na-Amure State Technical University Information System Department Russia

The procedure of systematization programming languages on the TRIZ-evolution base is considered in the report. The procedure of systematization programming languages is illustrated on the example of the programming languages paradigms development. The algorithm of presentation TRIZ-evolution map [1] of the programming languages paradigms is described. The complete analysis of programming paradigms as specified in the evolution of programming languages allowed to determinate the progressing and inheritance paradigms of programming languages. The major contradictions had been arisen in the modern programming languages is established [2] . With the using of TRIZ tools it is derived solutions of contradictions and defined set of the properties, which will be included to the new programming paradigm. The Imperative Paradigm, the Object-Oriented Paradigm, the Functional Paradigm, and the Logic programming Paradigm are considered in the report. It is determined the principal contradictions which became the “moving force” of each new paradigm, solution of this contradictions on the base of TRIZ tools [3] . The evolution of programming languages by the criterion “from contradiction to contradiction” is formed. The TRIZ-evolutionary map on the base of TRIZ-tools which is used for transition on development programming paradigm is formed. The present approach usage allows forecast the appearance of new programming paradigms, new programming languages and new methods of programming. It becomes possible to determine the tendency of programming languages development and prediction of the next languages generations.

关键词： programming systems TRIZ-evolution systematization of knowledge concepts of systimatisation programming languages programming paradigms

来源：评论

学校读者我要写书评

暂无评论

programming models and systems for Big Data analysis

引用

INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED systems 2019年第6期34卷 632-652页

作者： Belcastro, Loris Marozzo, Fabrizio Talia, Domenico Univ Calabria DIMES Arcavacata Di Rende Italy

Big Data analysis refers to advanced and efficient datamining and machine learning techniques applied to large amount of data. Research work and results in the area of Big Data analysis are continuously rising, and more and more new and efficient architectures, programming models, systems, and data mining algorithms are proposed. Taking into account the most popular programming models for Big Data analysis (MapReduce, Directed Acyclic Graph, Message Passing, Bulk Synchronous Parallel, Workflow and SQL-like), we analysed the features of the main systems implementing them. Such systems are compared using four classification criteria (i.e. level of abstraction, type of parallelism, infrastructure scale and classes of applications) for helping developers and users to identify and select the best solution according to their skills, hardware availability, productivity and application needs. [GRAPHICS] This figure is a word cloud highlighting the most popular words related to Big Data analysis.

关键词： Parallel programming models programming systems Big Data analysis cloud computing programming frameworks MapReduce directed acyclic graph message passing bulk synchronous parallel workflow SQL-like

来源：评论

学校读者我要写书评

暂无评论

programming big data analysis: principles and solutions

引用

JOURNAL OF BIG DATA 2022年第1期9卷 1-50页

作者： Belcastro, Loris Cantini, Riccardo Marozzo, Fabrizio Orsino, Alessio Talia, Domenico Trunfio, Paolo Univ Calabria Arcavacata Di Rende Italy Dtok Lab Arcavacata Di Rende Italy

In the age of the Internet of Things and social media platforms, huge amounts of digital data are generated by and collected from many sources, including sensors, mobile devices, wearable trackers and security cameras. This data, commonly referred to as Big Data, is challenging current storage, processing, and analysis capabilities. New models, languages, systems and algorithms continue to be developed to effectively collect, store, analyze and learn from Big Data. Most of the recent surveys provide a global analysis of the tools that are used in the main phases of Big Data management (generation, acquisition, storage, querying and visualization of data). Differently, this work analyzes and reviews parallel and distributed paradigms, languages and systems used today to analyze and learn from Big Data on scalable computers. In particular, we provide an in-depth analysis of the properties of the main parallel programming paradigms (MapReduce, workflow, BSP, message passing, and SQL-like) and, through programming examples, we describe the most used systems for Big Data analysis (e.g., Hadoop, Spark, and Storm). Furthermore, we discuss and compare the different systems by highlighting the main features of each of them, their diffusion (community of developers and users) and the main advantages and disadvantages of using them to implement Big Data analysis applications. The final goal of this work is to help designers and developers in identifying and selecting the best/appropriate programming solution based on their skills, hardware availability, application domains and purposes, and also considering the support provided by the developer community.

关键词： Parallel programming models programming systems Big Data analysis MapReduce Workflow Message Passing Bulk Synchronous Parallel SQL-like

来源：评论

学校读者我要写书评

暂无评论

DESIGNING programming STATION SOFTWARE FOR CNC PROFILE CUTTING

引用

COMPUTERS IN INDUSTRY 1992年第1期18卷 67-76页

作者： PRASAD, BSV BHARAT HEAVY PLATE & VESSELS LTD DIV RES & DEVVISAKHAPATNAM 530012INDIA

Specialised CAM systems called programming stations are used to automate program generation and achieve tool-path verification in CNC profile cutting. The advantages of using programming stations vis-a-vis other CAD/CAM systems are discussed. It is pointed out that with today's software tools, it is well worth the effort to develop one's own programming station software rather than to depend on expensive or unsuitable alternatives. Features necessary for programming stations are discussed and their implementation is illustrated in a PASCAL-like pseudo-code. programming station software developed on the principles outlined is described, and its use is discussed.

关键词： programming STATIONS programming systems CNC programming CAD/CAM CAM TOOLS CNC VERIFICATION LOW-COST programming STATION SOFTWARE PROFILE CUTTING

来源：评论

学校读者我要写书评

暂无评论

Enabling highly-scalable remote memory access programming with MPI-3 One Sided

引用

SCIENTIFIC programming 2014年第2期22卷 75-91页

作者： Gerstenberger, Robert Besta, Maciej Hoefler, Torsten ETH Dept Comp Sci CH-8092 Zurich Switzerland

Modern interconnects offer remote direct memory access (RDMA) features. Yet, most applications rely on explicit message passing for communications albeit their unwanted overheads. The MPI-3.0 standard defines a programming interface for exploiting RDMA networks directly, however, it's scalability and practicability has to be demonstrated in practice. In this work, we develop scalable bufferless protocols that implement the MPI-3.0 specification. Our protocols support scaling to millions of cores with negligible memory consumption while providing highest performance and minimal overheads. To arm programmers, we provide a spectrum of performance models for all critical functions and demonstrate the usability of our library and models with several application studies with up to half a million processes. We show that our design is comparable to, or better than UPC and Fortran Coarrays in terms of latency, bandwidth and message rate. We also demonstrate application performance improvements with comparable programming complexity.

关键词： programming systems programming models Remote Memory Access (RMA) Remote Direct Memory Access (RDMA) MPI-3 one sided communication

来源：评论

学校读者我要写书评

暂无评论

Toward a system's environment for computer assisted programming

引用

Information Processing Letters 1976年第2期5卷 35-40页

作者： Lucena, Carlos J. Cowan, Donald D. Informatics Department Pontifical Catholic University of Rio de Janeiro Rio de Janeiro Brazil Dept. of Applied Analysis and Computer Science University of Waterloo Waterloo Ont. Canada

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：