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

作者： Brown, Thomas R., Jr. Naval Postgraduate School

学位级别：硕士

This thesis explores the requirements necessary to develop a graphics support library for the ada programming language hosted on the Zenith H/Z-lOO microcomputer. A prototype graphics library is implemented in 8086 assembly language embedded in an ada package. The librarv operates with_ JANUS/ada under the CP/M-86 operating system. Listings of library routines developed are provided as well as a user's guide and demonstration programs. Potential areas for further investi- gation and development are suggested. It is concluded that an ada graphics library for microcomputers is feasible and practical.

关键词： ada programming language Zenith H/Z-100 Graphics library

来源：评论

学校读者我要写书评

暂无评论

TRANSITION FROM CORAL TO ada programming

引用

SOFTWARE ENGINEERING JOURNAL 1986年第4期1卷 151-153页

作者： ROMANSKI, JK SYST DESIGNERS PLC CAMBERLEY GU15 3XDSURREYENGLAND

The programming language Coral 66 has a large following in the UK as a general-purpose computer language, especially in the embedded computer application area. The ada programming language is destined to become an international standard language and was designed to satisfy the needs of the same application area as Coral 66. A change from programmingn in Coral to ada is inevitable in many future projects, especially those which need large teams and which have a requirement for long term maintenance. The major features of the two languages are compared in an attempt to dispel some of the fears which seem to surround the transition from Coral 66 to ada.

关键词： software engineering embedded computer application area programming general-purpose computer language ada programming language long term maintenance Coral ada programming Coral 66 ada Systems analysis and programming high level languages High level languages international standard language

来源：评论

学校读者我要写书评

暂无评论

programming-languageS, MICROCOMPUTERS AND OR

引用

JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY 1984年第7期35卷 617-627页

作者： OKEEFE, RM UNIV SOUTHAMPTON FAC MATHSOUTHAMPTON SO9 5NHHANTSENGLAND

The relationship between O.R. and computer programming is considered. The programming languages involved, and their respective roles, are reviewed. Criteria for assessing a programming language for O.R. are discussed,... 详细信息

关键词： Operations research Fortran Computer software Microcomputers ada programming language BASIC APL Simulations

来源：评论

学校读者我要写书评

暂无评论

TEAM-BASED INCREMENTAL ACQUISITION OF LARGE-SCALE UNPRECEDENTED SYSTEMS

引用

POLICY SCIENCES 1992年第1期25卷 57-75页

作者： MARTIN, CE HEFLEY, WE BRISTOW, DJ STEELE, DJ CARNEGIE MELLON UNIV DEPT ENGN & PUBL POLICYPITTSBURGHPA 15213 USAF SPACE COMMANDCTR SPACE & WARNING SYSTWASHINGTONDC 20330

This paper addresses certain shortcomings of traditional acquisition approaches, especially for large-scale, unprecedented systems. Shortcomings in the requirements engineering processes are emphasized. We review incremental acquisition approaches and identify issues essential to successful application of incremental acquisition approaches to overcome these shortcomings. In identifying these issues, cases based on systems being developed by the Air Force Space Command are examined. They are the Granite Sentry (GS), Space Defense Operations Centers (SPADOC), and Mobile Command and Control System (MCCS) programs. Three key aspects of the lessons learned from these efforts parallel the steps suggested by a recent Air Force Studies Board report for reducing risk in developing unprecedented systems. These are team-based development, managing requirements uncertainty and change, and increased use of incremental acquisition approaches.

关键词： Computer software Software engineering Technology Air forces ada programming language Prototypes Architectural control Design analysis Design evaluation

来源：评论

学校读者我要写书评

暂无评论

Granular computing in programming language design

Granular computing in programming language design

引用

IEEE International Conference on Granular Computing

作者： Wu, T So Illinois Univ Dept Comp Sci Edwardsville IL 62026 USA

ISBN: (纸本)0780390172

The principles of granular computing have been applied in many fields. With currently renewed and fast growing Of interest, it is the time to address the commonly needs for various applications of granular computing in related to programming language design. The errands of granular computing are including the extending of application domain, subdividing the problem, building of reliability features, dealing of parallel and concurrent computation, handling of error state, and creating of precision requirements. This paper studies those programming language features that can accomplish these errands in the existing programming languages.

关键词： ada programming language exception granular computing multitasldng

来源：评论

学校读者我要写书评

暂无评论

An Experience in ada Multicore programming: Parallelisation of a Model Checking Engine 21st

An Experience in Ada Multicore Programming: Parallelisation ...

引用

21st ada-Europe International Conference on Reliable Software Technologies (ada-Europe)

作者： Mazzanti, Franco CNR ISTI Ist Sci & Tecnol Informaz A Faedo Pisa Italy

ISBN: (纸本)9783319390833;9783319390826

Even if multicore architectures are nowadays extremely wide- spread, the exploitation of this easily available degree of parallelism is not always straightforward. In this paper we describe the experience gained in our ongoing effort to parallelise the model checking engine of a family of model checkers (KandISTI) developed at ISTI. The main focus of our experimentation is the evaluation of the minimal efforts needed to take advantage of our everyday multicore hardware for model checking purposes. Our early results relative to an initial fragment of the logic show a speedup factor of about 2.5 when 4 physical cores are available. This result, however, can only be achieved by complementing the initial high level ada design with a second round of code fine- tuning which exploits nonstandard low level features in the implementation of the needed thread-safe data structures.

关键词： Model checking Parallel programming Multicore processor architectures ada programming language

来源：评论

学校读者我要写书评

暂无评论

The Rise, Fall and Persistence of ada 10

The Rise, Fall and Persistence of Ada

引用

ACM Annual International Conference on ada and Related Technologies

作者： Sward, Ricky E. Mitre Corp Colorado Springs CO 80910 USA

ISBN: (纸本)9781450300278

This paper begins with a brief history of the ada programming language including the rise of ada, the ada Mandate and the fall from grace as a DoD programming language. The paper examines the reasons why the ada is not widely accepted in certain areas and provides reasons why it should be used in particular areas. The paper then gives examples of where ada has persisted and found a niche in safety critical, high integrity. The paper also discusses ada-related organizations and gives examples of projects currently underway in the US and in Europe providing a compelling reason for using ada in appropriate and critical domain areas.

关键词： ada programming language History of ada Safety Critical High Integrity

来源：评论

学校读者我要写书评

暂无评论

Mapping object-oriented designs to ada 4th

引用

4th International Conference on Reliable Software Technologies (ada-Europe'99)

作者： Strohmeier, A Swiss Fed Inst Technol Dept Comp Sci Software Engn Lab CH-1015 Lausanne Switzerland

ISBN: (纸本)3540660933

The paper explains how an object-oriented design can be mapped to an implementation using the ada 95 programming language. Object-oriented designs, whatever the method, UML or Fusion, are not programming-language specific, and there is therefore a gap between the design models and the implementation. This paper is a comprehensive study of all of these gaps for the ada programming language. The approach is illustrated by an example, complete enough to illustrate most of the implementation decisions.

关键词： object-oriented software development fusion method ada programming language

来源：评论

学校读者我要写书评

暂无评论

An Executable Semantics for Synchronous Task Graphs: From SDRT to ada 1

引用

22nd ada-Europe International Conference on Reliable Software Technologies (ada-Europe)

作者： Mohaqeqi, Morteza Abdullah, Jakaria Yi, Wang Uppsala Univ Uppsala Sweden

ISBN: (数字)9783319605883

ISBN: (纸本)9783319605883;9783319605876

We study a graph-based real-time task model in which inter-task synchronization can be specified through a rendezvous mechanism. Previously, efficient methods have been proposed for timing analysis of the corresponding task sets. In this paper, we first formally specify an operational semantics for the model. Next, we describe a method for ada code generation for a set of such task graphs. We also specify extensions of the approach to cover a notion of broadcasting, as well as global inter-release separation time of real-time jobs. We have implemented the proposed method in a graphical tool which facilitates a model-based design and implementation of real-time software.

关键词： Automated code generation ada programming language The synchronous digraph real-time task model Schedulability analysis

来源：评论

学校读者我要写书评

暂无评论

AN ACCURATE COMPUTATION OF THE HYPERGEOMETRIC DISTRIBUTION FUNCTION

引用

ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE 1993年第1期19卷 33-43页

作者： WU, T Southern Illinois Univ. Edwardsville

The computation of the cumulative hypergeometric distribution function is of interest to many researchers who are working in the computational sciences and related areas. Presented here is a new method for computing this function that applies prime number factorization to the factorials. We also apply cancellation to the numerator and denominator to reduce the computational complexity of the initial, the tail end, or weighted probabilities to achieve maximum accuracy. The new method includes two algorithms, one using recursion and the other using iteration. These two algorithms are machine independent;precision is arbitrary, subject to storage limitation. The development of the algorithms is discussed, and some test results and the comparison of these two algorithms are given. To implement both algorithms, we use the ada programming language that is an American National Standard Institute standardized language. The language has special features such as exception handling and tasks. Exception handling is used to make programming easier and to prevent overflow or underflow conditions during the execution of the program. Tasks are used to compute the numerator and denominator concurrently, and to maximize the possible number of integer multiplications in the numerator and denominator. All of the computations can be done on currently available machines, and the time consumed by these computations remains reasonably small.

关键词： ALGORITHMS ada programming language EXCEPTION HANDLING HYPERGEOMETRIC DISTRIBUTION FUNCTION PEIZER APPROXIMATIONS PRIME NUMBER FACTORIZATION TASKING

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：