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

EXCEPTION HANDLING - EXPECTING THE UNEXPECTED

COMPUTER languages 1994年第2期20卷 69-87页

作者： DREW, SJ GOUGH, KJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Queensland Australia 4000

Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever more complex architectures, understanding basic facilities such as exception handling as an aid to improving program reliability, robustness and comprehensibility has become much more important. Interest has sparked the production of many papers both theoretical and practical, each giving a view of exceptions and exception handling from a different standpoint. In an effort to provide a means of classifying exception handling models which may be encountered, a taxonomy is presented in this paper. As the taxonomy is developed some of the concepts of exception handling are introduced and discussed. The taxonomy is applied to a number of exception handling models in some contemporary programming languages and some observations and conclusions offered.

关键词： EXCEPTIONS EXCEPTION HANDLING programming languages

来源：评论

学校读者我要写书评

暂无评论

Fail-safety techniques and their extensions to concurrent systems

引用

COMPUTER languages 1996年第4期22卷 193-203页

作者： Drew, SJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Sydney Queensland Australia 4000

Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an attribute is desirable of any system as it ensures the correctness of results which are produced. A very few modern sequential programming languages offer program fail-safety through the judicious use of a well designed exception handling mechanism. In this paper the exception handling techniques used in those sequential systems are developed to provide the guidelines for fail-safe concurrent system design. (C) 1997 Elsevier Science Ltd.

关键词： Computer system recovery

来源：评论

学校读者我要写书评

暂无评论

Enhancing data locality in a fully decentralised P2P cycle stealing framework

Enhancing data locality in a fully decentralised P2P cycle s...

引用

30th Australasian Computer Science Conference, ACSC 2007

作者： Mason, Richard Kelly, Wayne Programming Languages and Systems Research Group Queensland University of Technology Brisbane QLD 4001 Australia

ISBN: (纸本)1920682430

Peer-to-peer (P2P) networks such as Gnutella and BitTorrent have revolutionised Internet based applications. P2P approaches provide a number of benefits, however most cycle stealing projects, such as SETI@home, have concentrated on centralised methods which still require massive amounts of concentrated network bandwidth in order to scale. More recent P2P research has developed the concept of distributed hash table (DHT) P2P overlays. These overlays provide efficient and guaranteed message delivery unlike earlier P2P networks which relied on large scale replication to probabilistically find data. Our G2:P2P framework makes use of a DHT overlay to provide a fully decentralised P2P cycle stealing system. Its distributed object programming model allows direct communication between objects and it remains reliable even as the set of peer nodes changes. In this paper we describe extensions to G2:P2P which allow us to optimise object distribution for locality. The importance of optimising data locality is well understood and has received extensive research, however, in the context of cycle-stealing systems and more generally DHT based P2P networks it is completely unexplored. Whilst our work is motivated by parallel programming, it is generic in nature and may have applicability to other DHT applications. Copyright © 2007, Australian Computer Society, Inc.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Formal specification of virtual process topologies 1

Formal specification of virtual process topologies

引用

1st IEEE Computer Society International Workshop on Cluster Computing, IWCC 1999

作者： Kazemi, K. McDonald, C. Programming Languages and Systems Group Department of Computer Science University of Western Australia NedlandsWA6907 Australia

ISBN: (纸本)0769503438

A lack of adequate and flexible topology support in the popular message passing systems such as Parallel Virtual Machine was a major factor in the development of our Virtual Process Topology Environment. This parallel programming environment provides high level abstractions for interprocess communication, relieving the application developer of the cumbersome task of mapping logical neighbours to their task identifiers within message passing systems. The novel approach of separating topological specification from the APIs provided extreme flexibility to the developers of the applications using regular topologies. We believed that the task of supporting process topologies could be made even easier and, in this paper present our new method which uses recurrence relations to define topologies. Within the new environment, the recurrence relationships can be passed to the topology server which then is used in the generation of the topological specification. © 1999 IEEE.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

ITKBoard: A visual dataflow language for biomedical image processing

ITKBoard: A visual dataflow language for biomedical image pr...

引用

2nd International Conference on Software and Data Technologies

作者： Le, Hoang D. K. Li, Rongxin Ourselin, Sebastien Potter, John M. BioMedIA Autonomous Systems Laboratory Australia Programming Languages and Compilers Group School of Computer Science and Engineering University of New South Wales Sydney Australia

ISBN: (纸本)9789898111050

Experimenters in biomedical image processing rely on software libraries to provide a large number of standard filtering and image handling algorithms. The Insight Toolkit (ITK) is an open-source library that provides a complete framework for a range of image processing tasks, and is specifically aimed at segmentation and registration tasks for both two and three dimensional images. This paper describes a visual dataflow language, ITKBoard, designed to simplify building, and more significantly, experimenting with ITK applications. The ease with which image processing experiments can be interactively modified and controlled is an important aspect of the design. The experimenter can focus on the image processing task at hand, rather than worry about the underlying software. ITKBoard incorporates composite and parameterised components, and control constructs, and relies on a novel hybrid dataflow model, combining aspects of both demand and data-driven execution.

关键词： dataflow programming visual programming languages image processing software ITK ITKBoard

来源：评论

学校读者我要写书评

暂无评论

The GOLD Definition Language (GDL): An object oriented formal specification language for multidimensional databases 00

The GOLD Definition Language (GDL): An object oriented forma...

引用

2000 ACM Symposium on Applied Computing, SAC 2000

作者： Trujillo, Juan Palomar, Manuel Ǵomez, Jaime Research Group of Logic Programming and Information Systems Dept. of Languages and Information Systems University of Alicante Apto. Correos 99. E-03071 03690 Alicante Spain

ISBN: (纸本)1581132409

The GOLD Definition Language (GDL) is an Object Oriented (OO) formal specification language for the modeling of multidimensional databases. The OO multidimensional data model called GOLD is based on the OO paradigm, which allows us to consider key issues in multidimensional modeling that are hardly considered by other multidimensional models such as derived measures, derived dimension attributes, the additivity of measures and multiple classification hierarchies. In this paper, we define the GDL for the GOLD model and demonstrate that its power of expression enables us to consider all the peculiarities of multidimensional modeling. © 2000 ACM.

关键词： Data warehouses

来源：评论

学校读者我要写书评

暂无评论

Formal specification of virtual process topologies

Formal specification of virtual process topologies

引用

IEEE International Conference on Cluster Computing

作者： K. Kazemi C. McDonald Programming Languages and Systems Group Department of Computer Science University of Western Australia Nedlands WA Australia

关键词： Formal specifications Message passing Libraries Network topology Workstations Supercomputers Computer languages Computer science Read only memory Network servers

来源：评论

学校读者我要写书评

暂无评论

User-level distributed file systems projects 96

User-level distributed file systems projects

引用

Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education

作者： Chris McDonald Programming Languages and Systems Group Department of Computer Science The University of Western Australia Crawley Western Australia

ISBN: (纸本)9780897917575

One of the greatest benefits provided by computer networks, in particular local area networks, is the ability to access files served by other computers in a network. Whereas file system concepts are first introduced in Operating systems units, many file system concepts need to be readdressed and generalized in later Computer Networks units. Moreover, as students become increasingly familiar with internetworking and programs such as ftp, many of the strong links between the Operating systems and Computer Networks units may be reinforced. This paper discusses the successes experienced with two strongly related projects offered in our third year Computer Networks unit. Each project requires students to support a minimal distributed file system by implementing user-level libraries which redefine a handful of operating system system calls supporting remote file access.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Teaching parallel algorithm with process topologies 00

Teaching parallel algorithm with process topologies

引用

Proceedings of the thirty-first SIGCSE technical symposium on Computer science education

作者： Chris McDonald Kamran Kazemi Programming Languages and Systems Group Department of Computer Science The University of Western Australia Nedlands Western Australia 6907

ISBN: (纸本)9781581132137

Parallel algorithms are often introduced to students by describing the geometric topologies formed by communicating processes and often the geographic relationships between them. However, the two most common message passing environments used in teaching, PVM and MPI, each provide only rudimentary support for the specification and execution of process topologies. There is a strong need for better syntactic and semantic support for process topologies in these environments, so that students may concentrate on the algorithms being studied, and not have to wrestle with the environments' infrastructure. This paper first motivates, and then describes the use of additional support within PVM and MPI which addresses this need.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Improving the PVM teaching environment 97

Improving the PVM teaching environment

引用

Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education

作者： Chris McDonald Kamran Kazemi Programming Languages and Systems Group Department of Computer Science The University of Western Australia Crawley Western Australia 6907

ISBN: (纸本)9780897918893

The parallel programming community has long recognized the need for a simple programming environment offering interprocess communication between heterogeneous systems. As the Parallel Virtual Machine environment, PVM, has emerged to meet this goal, an increasing number of educational institutions are choosing PVM to support their teaching of parallel and distributed computing using networks of workstations. However, it is often the nature of PVM's design and implementation that can severely limit its success in a teaching environment. This paper first motivates and then describes improvements to the PVM environment which increase both robustness and efficiency in an educational setting.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：