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

conference on TRI-ADA 1990

作者： Collard, Philippe Goforth, Andre Marquardt, Matthew TeleSoft 5959 Cornerstone Court West San Diego CA 92121-9891 United States NASA/Ames Research Center Information Science Division MS 244-4 Moffett Field CA 94035 United States Recom Technologies MS 244-4 Moffett Field CA 94035 United States California Space Institute University of California San Diego CA United States

ISBN: (纸本)0897914090

This paper reports on experimental results which demonstrate the potential of Ada as a parallel programming language for large scale, scientific applications on high performance multiprocessors. Reported performance results show a linear speed-up of a factor of 10 over 10 processors. A linear speed-up performance over a larger number of processors is indicated given the availability of higher performance configurations and larger data sets. The results were obtained for an Ada program written to take advantage of the multiprocessing of the Sequent Balance and Symmetry computer series, which performed the classification of stars in a large infrared astronomical database, (IRAS). The classification procedure and algorithms, which were developed at NASA Ames Research Center and were originally coded in a Lisp program called AutoClassII, use an approximate Bayesian criterion. The procedure has been applied to a wide variety of classification domains besides astronomy. Through its tasking structure, Ada possesses the intrinsic ability to support parallel processing at the language level;however, much remains to be learned about the implementation of concurrent software systems in Ada on multiprocessor architectures. The paper provides a case study of the design issues faced in the attempt to exploit the inherent concurrency of the procedure and algorithms in the implementation of a portable version of AutoClassII in Ada for benchmarking multiprocessors. ©1990 acm.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Automating the Ada programming process: A domain-specific approach

Automating the Ada programming process: A domain-specific ap...

引用

1993 conference on TRI-Ada, TRI-Ada 1993

作者： Grossman, Fred Klerer, Robert J. Engle, Charles B. Pace University School of Computer Science and Information Systems 1 Martine Avenue White PlainsNY10606 United States Iona College Department of Computer Science New RochelleNY10801 United States Florida Institute of Technology Department of Computer Science MelbourneFL32901 United States

ISBN: (纸本)0897917219

This paper addresses the problem of automating the process of programming in general, and offers a solution for the scientific computation application domain. The goal of an automated programming system is to minimize the linguistic and notational difference between the problem solver's specification of an application solution and an equivalent program, i.e., approach the ideal of an executable specification. By raising the level of the executable specification to the analysis/design stage, and permitting the user to refine development via the interleaving of specification and implementation, a true prototyping paradigm for automated software development is achieved. An automatic program generation system, the AUTOMATED PROGRAMMER, has been developed for the mathematics-scientific-engineering application domain. It accepts an executable specification expressed in conventional two-dimensional mathematical notation and technical English, and currently produces executable target programs written in such conventional languages as Fortran and C. The extension to the generation of Ada is under development. The software engineering implications such as reusability, maintainability and verifiability of automated programming approach is examined. © 1993 acm.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Matrix operations over integral domains using nested APL 92

Matrix operations over integral domains using nested APL

引用

proceedings of the International conference on APL

作者： Willhoft, Robert G. IBM Corp Endicott NY United States

ISBN: (纸本)0897914775

This paper deals with the use of APL to solve matrix theory problems with elements that are members of an integral domain. Two types of integral domains are used to illustrate the methods developed in this paper, integers (Z) and polynomials with real coefficients (Re[X]). However, the method of approach can be easily generalized to include other integral domains. APL2, due to its generalized data representations and rich functional semantics, was chosen to implement the solution to this problem. For each integral domain presented, a method of data representation is developed, and implementations of the necessary `primitive' functions (Addition, Multiplication, Division, and Comparison) are given. Finally, this newly developed system of functions and data representation is used to solve several of the most common Matrix Algebra problems. A simple recursive determinant and an implementation of Euclid's Greatest Common Divisor Algorithm are presented. Then, with these building blocks, a general algorithm for finding Smith's Canonical form and an algorithm to find the Invariant Factors are presented.

关键词： APL (programming language)

来源：评论

学校读者我要写书评

暂无评论

Formal system design based on the synchrony hypothesis, functional models, and skeletons

Formal system design based on the synchrony hypothesis, func...

引用

12th International conference on VLSI design

作者： Sander, I Jantsch, A Royal Inst Technol Dept Elect S-10044 Stockholm Sweden

ISBN: (纸本)0769500137

Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems. Moreover;they are frequently on a too high abstraction level to allow for efficient synthesis with today's techniques. We address this problem with a modelling method, which is strictly formal and based on formal semantics, a pure functional language, and the synchrony hypothesis. But the use of skeletons in conjunction with a proper computational model allows to associate a direct hardware interpretation. In particular we use (1) the synchrony hypothesis and a timed signal model to provide a high abstraction for communication at the system level. This facilitates efficient modelling and design space exploration at the functional level, because the designer is Hot concerned with complex communication mechanisms, mid functionality can easily be moved front one block to another: To bridge the gap bent een an elegant and abstract functional model and the details of an implementation we use (2) skeletons to encapsulate primitive structures, such as FSMs, buffers, computation units, etc, irt a purely functional way.

关键词： Computer systems programming

来源：评论

学校读者我要写书评

暂无评论

A model transformation semantics and analysis methodology for SecureUML 06

引用

9th International conference on Model Driven Engineering languages and Systems

作者： Brucker, Achim D. Doser, Juergen Wolff, Burkhart ETH CH-8092 Zurich Switzerland

ISBN: (纸本)3540457720

SecureUML is a security modeling language for formalizing access control requirements in a declarative way. It is equipped with a UML notation in terms of a UML profile, and can be combined with arbitrary design modeling languages. We present a semantics for SecureUML in terms of a model transformation to standard UML/OCL. The transformation scheme is used as part of an implementation of a tool chain ranging from front-end visual modeling tools over code-generators to the interactive theorem proving environment HOL-OCL. The methodological consequences for an analysis of the generated OCL formulae are discussed.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

proceedings of the conference on Tri-Ada 1989: Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989

Proceedings of the Conference on Tri-Ada 1989: Ada Technolog...

引用

1989 International conference on Ada : Ada Technology in Context: Application, Development, and Deployment, TRI-Ada 1989

ISBN: (纸本)0897913299

The proceedings contain 49 papers. The topics discussed include: the Howitzer improvement program: lessons learned;requirements analysis for large Ada programs: lessons learned on CCPDS-R;Ada implementation of an x window system server;the software lifecycle with Ada: a command and control application;software design documentation approach for a DOD-STD-2167A Ada project;experiences in preparing a DOD-STD-21 WA software design document for an Ada project;environment for operational software engineering in Ada;workstation/APSE productivity study results;and design issues and team support: experiences of an Ada tool vendor.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Semantics of program dependence

引用

sigplan Notices (acm Special Interest Group on programming languages) 1989年第7期24卷 13-27页

作者： Cartwright, Robert Felleisen, Matthias Rice Univ United States

Optimizing and parallelizing compilers for procedural languages rely on various forms of program dependence graphs (pdgs) to express the essential control and data dependences among atomic program operations. In this paper, we provide a semantic justification for this practice by deriving two different forms of program dependence graph - the output pdg and the def-order pdg - and their semantic definitions from non-strict generalizations of the denotational semantics of the programming language. In the process, we demonstrate that both the output pdg and the def-order pdg (with minor technical modifications) are conventional data-flow programs. In addition, we show that the semantics of the def-order pdg dominates the semantics of the output pdg and that both of these semantics dominate - rather than preserve - the semantics of sequential execution.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Structured programming: From theory to practice 2

Structured Programming: From theory to practice

引用

2nd International conference on Software Engineering, ICSE 1976

作者： Carrow, John C. US Army Computer Systems Command United States

One of the more controversial topics to appear within the field of Computer Science has been the theory of Structured programming and the specific tools and techniques associated with this generic title. With respect to this topic, it is the intent of this paper to provide a documented history of the research, prototyping and deliberate implementation of the Structured programming Technology within the United States Army Computer Systems Command. Structured programming as used within the context of this paper involves the concepts of structured code, top down development, walkthrus, program design language, design and documentation tools, program support library and a programming team. The USACSC experience is viewed as not just another case study but rather an organizational change impacting a large number (500 COBOL programmers) of personnel, standards, and normal operating procedures. One of the more intriguing topics to appear within the field of Computer Science has been the theory of Structured programming and the specific tools and techniques associated with this generic title. After several years of discussion, pilot projects, technical articles and more discussions, the basic questions remain: What does the technology buy you? What does it cost you? How does one implement the technology on a large scale in a software production shop? With respect to these questions, and many others that the Software community shares regarding Structured programming, it is the intent of this paper to provide a documented history of the research, prototyping and deliberate implementation of the Structured programming Technology within the United States Army Computer Systems Command (USACSC). © 1976 IEEE Computer Society. All rights reserved.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

GreenWeb: language Extensions for Energy-Efficient Mobile Web Computing

引用

acm sigplan NOTICES 2016年第6期51卷 145-160页

作者： Zhu, Yuhao Reddi, Vijay Janapa Univ Texas Austin Dept Elect & Comp Engn Austin TX 78712 USA

Web computing is gradually shifting toward mobile devices, in which the energy budget is severely constrained. As a result, Web developers must be conscious of energy efficiency. However, current Web languages provide developers little control over energy consumption. In this paper, we take a first step toward language-level research to enable energy-efficient Web computing. Our key motivation is that mobile systems can wisely budget energy usage if informed with user quality-of-service (QoS) constraints. To do this, programmers need new abstractions. We propose two language abstractions, QoS type and QoS target, to capture two fundamental aspects of user QoS experience. We then present Green Web, a set of language extensions that empower developers to easily express the QoS abstractions as program annotations. As a proof of concept, we develop a GreenWeb runtime, which intelligently determines how to deliver specified user QoS expectation while minimizing energy consumption. Overall, GreenWeb shows significant energy savings (29.2% similar to 66.0%) over Android's default Interactive governor with few QoS violations. Our work demonstrates a promising first step toward language innovations for energy-efficient Web computing.

关键词： Energy-efficiency Web Mobile computing

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 2011 International conference on Innovative Computing and Cloud Computing, ICCC'11

Proceedings of the 2011 International Conference on Innovati...

引用

2011 International conference on Innovative Computing and Cloud Computing, ICCC'11

ISBN: (纸本)9781450305679

The proceedings contain 30 papers. The topics discussed include: computational intelligence techniques for color clustering;language recognition with language total variability;cloud computing: programming model and information exchange mechanism;design of wireless transmission digital thermometer;the modeling and controlling of smart car motor based on laser sensor;the mechanism of copyright protection based on static software watermark;color-based image segmentation on UAV reconnaissance videos with Matlab;video based abnormal behavior detection;a dynamic user-integrated cloud computing architecture;study of chord model based on hybrid structure;clustering algorithm based on the combination of genetic algorithm and ant colony algorithm;research of the application of cloud computing theory in emergent material support;and the research and implementation of super-resolution reconstruction for multi-frame blurring images.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：