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

2017 5th International Conference on Mechatronics,Materials,Chemistry and Computer Engineering(ICMMCCE 2017)

作者： Ping Xu School of Information Science and Technology Taishan University

With the development of computer, the function of database is more and more important. According to the needs of computer performance and practical application, the establishment and access of database are different. This paper discusses the methods of direct establishment and indirect establishment of database and analyzes the key technologies of database access to provide some references for the relative researchers.

关键词： Database programming technology Computer software engineering

来源：评论

学校读者我要写书评

暂无评论

The Construction and Research on the Course "programming technology"

The Construction and Research on the Course "Programming Tec...

引用

2018 3rd International Conference on Education,Sports,Arts and Management Engineering(ICESAME 2018)

作者： Yehong Han Institute of Information Science and Engineering Qilu Normal University

The purpose of the course "programming technology" is to enable students to master the basic methods of program design, gradually form the correct programming ideas and skillfully use the language for program design and debug programs. Based on the analysis of the insufficiency of curriculum construction, this article has carried out research on curriculum reform and has formulated the content and steps of curriculum construction.

关键词： programming technology Teaching design Teaching reform planning Course construction Practice teaching mode

来源：评论

学校读者我要写书评

暂无评论

Sleptsov Nets Run Fast

引用

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS 2016年第5期46卷 682-693页

作者： Zaitsev, Dmitry A. Int Humanitarian Univ UA-65009 Odessa Ukraine

We show that Sleptsov place-transition nets (that allow transition firing in multiple instances at a step) run fast by implementing multiplication and division operations in polynomial time. In comparison, Petri nets (PNs) implement the mentioned operations in exponential time. Moreover, PNs are obtained as a special case of Sleptsov nets (SNs) using loops with places having unit marking attached to each transition. In addition, we develop basics of an SN programming technology including basic operations and program composition rules. We provide examples of programs written in SN language for encryption/decryption with the RSA algorithm, calculation of fuzzy logic functions, and parallel calculation of the solutions to Laplace equations. SN computers promise hyper-performance because of a concurrent programming style consisting of a concise graphical language and small granulation of parallel processes on the level of separate events.

关键词： Multiple firing Petri net (PN) polynomial complexity programming technology Sleptsov net (SN)

来源：评论

学校读者我要写书评

暂无评论

Tools and techniques for automatic data layout: A case study

引用

PARALLEL COMPUTING 1998年第3-4期24卷 557-578页

作者： Ayguade, E Garcia, J Kremer, U Univ Politecn Cataluna Comp Architecture Dept Barcelona Spain Rutgers State Univ Dept Comp Sci Piscataway NJ 08855 USA

Parallel architectures with physically distributed memory providing computing cycles and large amounts of memory are becoming more and more common. To make such architectures truly usable, programming models and support tools are needed to ease the programming effort for these parallel systems. Automatic data distribution tools and techniques play an important role in achieving that goal. This paper discusses state-of-the-art approaches to fully automatic data and computation partitioning. A kernel application is used as a case study to illustrate the main differences of four representative approaches. The paper concludes with a discussion of promising future research directions for automatic data layout. (C) 1998 Elsevier Science B.V. All rights reserved.

关键词： distributed memory multiprocessor data locality automatic data and computation partitioning alignment distribution remapping linear 0-1 integer programming technology

来源：评论

学校读者我要写书评

暂无评论

Burroughs Algol at Stanford University, 1960-1963

引用

IEEE ANNALS OF THE HISTORY OF COMPUTING 2013年第4期35卷 69-73页

作者： Braden, Robert USC Information Sciences Institute

The decade between 1955 and 1965 brought a revolution to academic computing, both technologically and socially. As core memory replaced electrostatic memory while transistors replaced vacuum tubes, computers advanced from flakey and difficult-to-maintain devices to reliable appliances. At the same time (and partially as a consequence), the academic use of computing expanded rapidly, computing centers became increasingly essential facilities on every campus, and computer science began to gain acceptance as a legitimate academic discipline. This Anecdote recounts the author's experience during this dramatic shift in academic computing at Stanford University during the period between 1960 and 1963. It also records a chapter in the early development of compiler design and programming technology. [ABSTRACT FROM PUBLISHER]

关键词： Burroughs Algol history of computing academic computing compiler design programming technology Stanford University BALGOL

来源：评论

学校读者我要写书评

暂无评论

Development of the Theory Programs and Systems in the USSR. History and Modern Theory 4

Development of the Theory Programs and Systems in the USSR. ...

引用

4th International Conference on Computer technology in Russia and in the Former Soviet Union (SORUCOM)

作者： Lavrishcheva, Ekaterina Russian Acad Sci Ivannikov Inst Syst Programming Moscow Russia

ISBN: (纸本)9781538647417

The theory of the programs and systems of Soviet scientists (A.A. Lyapunov, A.P. Ershov, Yu.I. Janov, V.M. Glushkov, E.L. Yushchenko, V.V. Lipaev, etc.) is given. The essence of the theory of programs, programming techniques, synthesis, Assembly, and composition of program systems (1963-1990) is defined. Basic concepts of the theory of engineering software (1980-2016) and SEMAT (2009) are presents. A new promising theory and methods for modeling changing systems from finished software resources (objects, components, services, etc.) and their configuration in the building output code products and systems are defined.

关键词： history of science programming technology software engineering modeling verification testing configuration

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：