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

Redundant exception check elimination by assertions

IEICE TRANSACTIONS ON COMMUNICATIONS 1998年第10期E81B卷 1881-1893页

作者： Sato, N NTT Opt Network Syst Labs Musashino Tokyo 1808585 Japan

Exception handling is not only useful for increasing program readability, but also provides an effective means to check and locate errors. so it increases productivity in largescale program development. Some typical and frequent program errors, such as out-of-range indexing, null dereferencing, and narrowing violations, cause exceptions that are otherwise unlikely to be caught. Moreover, the absence of a catcher for exceptions thrown by API procedures also causes uncaught exceptions. This paper discusses how the exception handling mechanism should be supported by the compiler together with the operating system and debugging facilities. This mechanism is implemented in the compiler by inserting inline check code and accompanying propagation code. One drawback to this approach is the runtime overhead imposed by the inline check code, which should therefore be optimized. However, there has been little discussion of appropriate optimization techniques and efficiency in the literature. Therefore, a new solution is proposed that formulates the optimization problem as a common assertion elimination (CAE). Assertions consist of check code and useful branch conditions. The latter are effective to remove redundant check code. The redundancy can be checked and removed precisely with a forward iterative data flow analysis. Even in performance-sensitive applications such as telecommunications software, figures obtained by a CHILL optimizing compiler indicate that CAE optimizes the code well enough to be competitive with check suppressed code.

关键词： exception handling supper common assertion elimination compiler code optimization programming language debugging runtime support telecommunications software

来源：评论

学校读者我要写书评

暂无评论

Algol in France: From Universal Project to Embedded Culture

引用

IEEE ANNALS OF THE HISTORY OF COMPUTING 2014年第4期36卷 6-25页

作者： Mounier-Kuhn, Pierre CNRS F-75700 Paris France Univ Paris 04 F-75230 Paris 05 France

This article focuses on Algol as a research agenda and a decisive step in the building of a new scientific community. It provides an analysis of the main French actors involved in the global Algol endeavor-small groups of computer scientists who participated in its evolution, within academic laboratories, R&D departments of computer companies, user organizations, or learned societies.

关键词： Algol Bull Computer languages computer science Europe France History history of computing IBM industrial research learned society Mathematics Plan Calcul programming programming language Research and development Software engineering

来源：评论

学校读者我要写书评

暂无评论

REUSABILITY OF MATHEMATICAL SOFTWARE - A CONTRIBUTION

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1993年第8期19卷 835-843页

作者： DIFELICE, P Dipartimento di Ingegneria Elettrica Università di L''Aquila 67100 L''Aquila Italy

Mathematical software is devoted to solve problems involving matrix computation and manipulation. The main problem limiting the reusability of existing mathematical software is the following: programs are often not initially designed for being reused. Therefore, it is hard to find programs that can be easily reused. In the first part or this paper, we give a programming methodology useful for designing and implementing reusable code. We name unit a portion of code designed and implemented for being reused. Our units are self-contained software components featuring a high degree of information hiding. This way of organizing software facilitates the reuse process and, furthermore, improves the understandability of units. To speed up the implementation process, a system supporting the reusability of units from an existing software library is particularly useful. In the second part of this paper, we report about an easy to use system of this kind.

关键词： ABSTRACT DATA TYPE CODE REUSABILITY INFORMATION HIDING LIBRARY OF REUSABLE UNITS MATHEMATICAL PROBLEM MATHEMATICAL SOFTWARE programming language SPARSE MATRIX

来源：评论

学校读者我要写书评

暂无评论

SIGNAL programming

引用

ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS 1991年第1-2期46卷 13-24页

作者： LEGUERNIC, P CHERON, B GAUTIER, T LEMAIRE, C 1. Campus de Beaulieu IRISA-INRIA F-35042 Rennes Cedex France

This paper presents the synchronous real-time language Signal, based on a logical notion of the time, considered as a chronology. It allows, on the one hand, the programming of signal processing algorithms, and, on the other hand, the description of architectures. A formal calculus allows verifications of the synchronizations and transformations of the initial program to prepare its simulation on multiprocessor. The presentation is illustrated with the description of an environment for speech processing realized in Signal.

关键词： programming language SYNCHRONIZATION REAL TIME SIGNAL PROCESSING SPEECH PROCESSING SYMBOLIC CALCULUS

来源：评论

学校读者我要写书评

暂无评论

Use of historical data in software cost estimation

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 1997年第3期8卷 113-119页

作者： Vijayakumar, S Minist. of Defence Bristol UK

Work aimed at justifying the requirement for a database as an aid to resource estimations for Ministry of Defence Procurement Executive software intensive projects is presented. The work consolidates an earlier study(1,2) and uses more recent data collected from 288 MOD projects. The research was initiated to identify and analyse the variables which influence the activities that constitute software development and which determine the cost of software. The earlier study concentrated on the choice of programming language. This study includes proprietary factors and identifies the correlation between the effort during development and the number of executable source lines of code. The recommendations centre on the urgent need to gather and collate data which will assist in the estimation of costs and timescales in procuring software intensive projects.

关键词： military computing software intensive projects software cost estimation Ministry of Defence programming language historical data Software management proprietary factors statistical databases software metrics software development executable code source lines development effort Military administration Software metrics database regression results

来源：评论

学校读者我要写书评

暂无评论

USING PYTHON FOR SIGNAL PROCESSING AND VISUALIZATION

引用

COMPUTING IN SCIENCE & ENGINEERING 2010年第4期12卷 90-95页

作者： Anderson, Erik W. Preston, Gilbert A. Silva, Claudio T. Univ Utah Salt Lake City UT 84112 USA

The Python programming language provides a development environment suitable to both computational and visualization tasks. One of Python's key advantages is that it lets developers use packages that extend the language to provide advanced capabilities, such as array and matrix manipulation, image processing, digital signal processing, and visualization. Several popular data exploration and visualization tools have been built in Python, including Visit (***. gov/visit), Paraview (***. org), climate data analysis tools (CDAT; ***/cdat), and VisTrails (*** .org). In our work, we use VisTrails; however, nearly any Python-enabled application can produce similar results. The neuroscience field often uses bothmultimodal data and computationally complex algorithms to analyze data collected from study participants. Here, we investigate a study in which magnetic resonance imaging (MRI) is combined with electroencephalography (EEG) data to examine working memory.

关键词： MRI Python Python VisTrails advanced visualization techniques data visualisation development environment electroencephalography data magnetic resonance imaging medical signal processing neuroscience project programming language programming languages signal processing signal processing signal visualization visualization

来源：评论

学校读者我要写书评

暂无评论

VERY FAST REDUCTION MACHINE FOR FUNCTIONAL programming WITHOUT VARIABLES

引用

IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES 1989年第5期136卷 443-449页

作者： BELLOT, P Paris Scientific Centre Paris France

The paper presents a new programming language and its reduction machine. The name of the language is Graal and it is based on the unusual concepts of functional form issued from FP systems and uncurryfied combinator from combinatory logic. It does not use variables but is nevertheless readable. Its reduction machine is new, object-oriented, distributed and modular. It runs very efficiently on classical Von Neumann architectures and can be used to implement other functional languages.

关键词： classical Von Neumann architectures reduction machine functional programming object-oriented programming language FP systems distributed Graal uncurryfied combinator modular Systems analysis and programming high level languages High level languages combinatory logic

来源：评论

学校读者我要写书评

暂无评论

Serving many at once: How a database approach can create unity in dynamical ecosystem modelling

引用

ENVIRONMENTAL MODELLING & SOFTWARE 2014年第0期61卷 266-273页

作者： Mooij, Wolf M. Brederveld, Robert J. de Klein, Jeroen J. M. DeAngelis, Don L. Downing, Andrea S. Faber, Michiel Gerla, Daan J. Hipsey, Matthew R. 't Hoen, Jochem Janse, Jan H. Janssen, Annette B. G. Jeuken, Michel Kooi, Bob W. Lischke, Betty Petzoldt, Thomas Postma, Leo Schep, Sebastiaan A. Scholten, Huub Teurlincx, Sven Thiange, Christophe Trolle, Dennis van Dam, Anne A. van Gerven, Luuk P. A. van Nes, Egbert H. Kuiper, Jan J. Netherlands Inst Ecol NIOO KNAW Dept Aquat Ecol NL-6700 AB Wageningen Netherlands Wageningen Univ Dept Environm Sci Aquat Ecol & Water Qual Management Grp NL-6700 AA Wageningen Netherlands Witteveen Bos NL-7400 AV Deventer Netherlands Univ Miami USGS Biol Resources Div Coral Gables FL 33124 USA Univ Miami Dept Biol Coral Gables FL 33124 USA Stockholm Univ Dept Syst Ecol S-10691 Stockholm Sweden Inst Marine Resource & Ecosyst Studies IMARES Dept Ecosyst NL-1790 AD Den Burg Netherlands Univ Western Australia Sch Earth & Environm Crawley WA 6009 Australia Netherlands Environm Assessment Agcy PBL NL-3720 AH Bilthoven Netherlands Deltares NL-2600 MH Delft Netherlands Vrije Univ Amsterdam Fac Earth & Life Sci Dept Theoret Biol NL-1081 HV Amsterdam Netherlands Univ Potsdam Inst Biochem & Biol Dept Ecol & Ecosyst Modelling D-14469 Potsdam Germany Tech Univ Dresden Fac Environm Sci Inst Hydrobiol D-01062 Dresden Germany Wageningen Univ Dept Social Sci Informat Technol Grp NL-6700 EW Wageningen Netherlands Aarhus Univ Dept Biosci DK-8600 Silkeborg Denmark UNESCO IHE Inst Water Educ NL-2601 DA Delft Netherlands Royal Netherlands Inst Sea Res NIOZ Dept Ecosyst Studies NL-4400 AC Yerseke Netherlands

Simulation modelling in ecology is a field that is becoming increasingly compartmentalized. Here we propose a Database Approach To Modelling (DATM) to create unity in dynamical ecosystem modelling with differential equations. In this approach the storage of ecological knowledge is independent of the language and platform in which the model will be run. To create an instance of the model, the information in the database is translated and augmented with the language and platform specifics. This process is automated so that a new instance can be created each time the database is updated. We describe the approach using the simple Lotka-Volterra model and the complex ecosystem model for shallow lakes PCLake, which we automatically implement in the frameworks OSIRIS, GRIND for MATLAB, ACSL, R, DUFLOW and DELWAQ. A clear advantage of working in a database is the overview it provides. The simplicity of the approach only adds to its elegance. (C) 2014 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY-NC-SA license (http://***/licenses/by-nc-sa/3.0/).

关键词： Modelling framework programming language Differential equation Community-based modelling Database approach to modelling DATM

来源：评论

学校读者我要写书评

暂无评论

J for engineers and computing professionals

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 2001年第5期12卷 212-216页

作者： Thomson, N

Picture a language that enables an engineer to articulate mathematically oriented ideas, and then enables him/her, using a small number of strokes on a keyboard, to realise these ideas in the form of an executing algorithm. Imagine that a line or two of such code achieves as much as a page or two of Fortran or C++, or an extended session with Mathematica or Matlab. That dream and this language are already here, and in the form of software whose core parts are freely downloadable. The language is called J, and the software source is ***.

关键词： software source J language executing algorithm programming language APL array processing grammar jsoftware mathematically oriented ideas J interpreters high level languages High level languages computer languages

来源：评论

学校读者我要写书评

暂无评论

Concurrency with Erlang

引用

IEEE INTERNET COMPUTING 2007年第5期11卷 90-93页

作者： Vinoski, Steve Verivue

Programmers writing multithreaded applications in languages like Java and C++ spend much of their time determining what state is shared among threads and how best to protect its integrity within the running application. Finding all the shared state isn't always easy. Assuming the programmer can even find it, he or she must then possess the skills, experience, and patience necessary to determine the best way to serialize access to it. Adding to the difficulty is the locking granularity used to protect shared state. If locking is too coarse-grained, the application tends toward single-threading, because only one thread at a time can obtain the lock that predictably surrounds a large portion of the code. Such applications make poor use of multicore CPUs and tend to be slow. If locking is too fine-grained, on the other hand, the chances for deadlock increase greatly as different threads are increasingly likely to obtain locks in different orders. Getting it right takes time: fine tuning what state needs protection, and at what granularity, sometimes requires months of development time. Idioms, patterns, and frameworks can help out partially, but they introduce restrictions and trade-offs of their own. Ultimately, all it takes is one developer overlooking one small piece of shared state to cause a large system to crash in production - usually at the worst possible time for the most important customer. One way to avoid the problems with shared state is to simply avoid it, but that's impractical in a language like C++ or Java. Doing so requires a combination of libraries or frameworks such as those based on actor models and message passing, as Guerraoui described. It also requires significant programmer discipline because the programming languages themselves can't do anything to help developers completely circumvent shared state. Rather than using the programming language as intended, the developer is forced to write in what's at best a one- off dialect or worse, a who- le

关键词： Erlang programming language Middleware Concurrency Toward Integration

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：