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

2nd International Conference on Systems, ICONS 2007

作者： Wang, Y. Kusserrow, T. Irmer, S. Hasse, A. Bartels, M. Dharmarasu, N. Hillmer, H. Börcsök, J. Mikami, O. University of Kassel Kassel Germany Department of Computer Architecture and System Programming University of Kassel Germany Department of Information Telecommunication and Electronics School of Information Science and Technology Tokai University Hiratsuka-shi Japan

ISBN: (纸本)0769528074

We present novel concepts, technologies and potentials of optical data communication, especially for future computer architectures. The WDM (wavelength division multiplexing) and the optical wiring technologies are explained in detail. Experimental results of tunable optical filters, which play a major role in WDM systems, are reported. New concepts for novel optical interconnectors and novel miniaturized lasers for direct generation of green light are proposed as examples for possible next generation components to improve the performance of optical communication based computer architecture. © 2007 IEEE.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates

Tranquility: A low disruptive alternative to quiescence for ...

引用

作者： Vandewoude, Yves Ebraert, Peter Berbers, Yolande D'Hondt, Theo Department of Computer Science Katholieke Universiteit Leuven Celestijnenlaan 200A 3001 Heverlee Belgium Programming Technology Lab. Vrije Universiteit Brussel Plainlaan 2 B1050 Brussels Belgium

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes. We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and results in a significant disruption in the application being updated. In this paper, we introduce a weaker condition: tranquility. We show that tranquility is easier to obtain and less disruptive for the running application but still a sufficient condition to ensure application consistency. We present an implementation of our approach on a component middleware platform and experimentally verify the validity and practical applicability of our approach using data retrieved from a case study. © 2007 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

A Modeling Framework for the Development of Provably Secure E-Commerce Applications

A Modeling Framework for the Development of Provably Secure ...

引用

International Conference on Software Engineering Advances (ICSEA)

作者： Nina Moebius Dominik Haneberg Wolfgang Reif Gerhard Schellhorn Institute of Computer Science Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany

Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical e-commerce applications. We present an approach to model these applications with the Unified Modeling Language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification.

关键词： Unified modeling language Object oriented modeling Formal specifications Java Application software Smart cards Communication system security Cryptographic protocols computer science Software engineering

来源：评论

学校读者我要写书评

暂无评论

A Survey of Reasoning in Parallelization

A Survey of Reasoning in Parallelization

引用

ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Mikhail Chalabine Christoph Kessler Programming Environments Laboratory Department of Computer and Information Science Linköping University Linkoping Sweden

We elaborate on reasoning in contemporary (semi) automatic parallelizing refactoring. As the main contribution we summarize contemporary approaches and show that all attempts to reason in parallelization thus far, have amounted to local code analysis given data and control dependencies. We conclude that, by retaining this perspective only, parallelization continues to exploit merely a subset of the reasoning methods available today and is likely to remain limited. To address this problem we suggest to expand the local analyses, such that, they take seriously relations between individual local parallelizing transformations. We argue that such a coupling allows to process sparser parallelizable constructs, such as, producer-consumer coordination. We identify questions to be addressed to put this principle into action and report on-going work on (reasoning) mechanisms able to support this.

关键词： Bismuth Artificial intelligence Automation Distributed computing Pattern recognition Software engineering programming environments computer networks Concurrent computing Information science

来源：评论

学校读者我要写书评

暂无评论

The CoBRA grid: A highly configurable lightweight grid

引用

International Journal of Web and Grid Services 2007年第3期3卷 267-286页

作者： Hellinckx, Peter Arickx, Frans Broeckhove, Jan Stuer, Gunther Research Group Computational Modelling and Programming Department of Mathematics and Computer Science Antwerp University Campus Middelheim Middelheimlaan 1-2020 Antwerp Belgium

In this paper, a new multipurpose Lightweight Grid (LWG) system is introduced, under the acronym Computational Basic Reprogrammable Adaptive (CoBRA) grid. It provides the functionality grid users require, and offers grid developers the opportunity to test and alter grid components while the grid is in use. The grid was proven to operate properly by testing several applications and introducing new components. Its performance was tested by the 'sleep testing technique', and by implementing a quantum physics calculation. The user friendliness was also evaluated with the latter distributed computational problem. The possibility to port the system onto well-established systems like CONDOR and Globus is also discussed. Copyright © 2007 Inderscience Enterprises Ltd.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

SAC: Off-the-shelf support for data-parallelism on multicores

SAC: Off-the-shelf support for data-parallelism on multicore...

引用

DAMP 2007: Workshop on Declarative Aspects of Multicore programming

作者： Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages Ratzeburger Allee 160 23538 Lübeck Germany University of Hertfordshire Department of Computer Science College Lane Hatfield AL10 9AB United Kingdom University of Hertfordshire United Kingdom

ISBN: (纸本)1595936904

The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional array processing language SaC. Its compiler technology is geared towards highly runtime-efficient support for shared memory multiprocessors and, thus, is readily applicable to today's off-the-shelf multicore systems. Copyright 2007 ACM.

关键词： Automatic programming

来源：评论

学校读者我要写书评

暂无评论

Robust initialization of differential algebraic equations

Robust initialization of differential algebraic equations

引用

1st International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2007 - In Conjunction with the ECOOP 2007 Conference

作者： Bachmann, Bernhard Aronsson, Peter Fritzson, Peter Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany MathCore Engineering AB Teknikringen 1F SE-583 30 Linköping Sweden Department of Computer Science PELAB Programming Environments Lab Linköping University SE-581 83 Linköping Sweden

This paper describes a new solution method applied to the problem initializing DAEs using the Modelica language. Modelica is primarily an object- oriented equ-tion-based modeling language that allows specification of mathematical models of complex natural or man-made systems. Major features of Modelica are the multidomain modeling capability and the reusability of model components corresponding to physical objects, which allow to build and simulate highly complex systems. However, initializing such models has been quite cumbersome, since initial equations have to be pro-vided at the system level, where the user needs to know details on the underlying transformation and index-reduction algorithms, that in general are applied to simulate a Modelica model.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

AmbientTalk: Language support for mobile computing

AmbientTalk: Language support for mobile computing

引用

International Workshop on System Support for Future Mobile Computing Applications, FUMCA 2006

作者： Dedecker, Jessie Van Cutsem, Tom Mostinckx, Stijn De Meuter, Wolfgang D'Hondt, Theo Fund for Scientific Research Flanders Belgium Belgium Programming Technology Laboratory Department of Computer Science Vrije Universiteit Brussel Belgium

ISBN: (纸本)0769527299

An important aspect of system support for mobile computing involves alleviating the issues related to programming the underlying distributed system. Our approach to dealing with these issues is by means of programming language support. To this end, we have designed a high-level, distributed object-oriented programming language - called Ambient Talk - which has been designed specifically for mobile networks. We motivate the need for such dedicated language support based on the fundamental characteristics of mobile distributed systems. Subsequently, we describe the salient features of Ambient Talk with respect to distributed programming by means of an exemplar mobile computing application. © 2006 IEEE.

关键词： Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

Crosscutting concerns in parallelization by invasive software composition and aspect weaving

Crosscutting concerns in parallelization by invasive softwar...

引用

39th Annual Hawaii International Conference on System sciences, HICSS'06

作者： Chalabine, Mikhail Kassler, Christoph Programming Environments Laboratory Department of Computer and Information Science Linköping University SE-581 83 Linköping Sweden

ISBN: (纸本)0769525075

We take a step forward towards invasive parallelization of sequential programs, where invasiveness amounts to weaving of parallel code into sequential cores on adaptable composition interfaces. In this paper we suggest a set of seven basic parallelization-specific crosscutting concerns, namely: data distribution, parallelism, synchronization , communication, cross-processor data flow, data dependence restructuring and load balancing. These are necessary for the introduction of complex forms of parallelism. We show them to be highly interdependent and moreover environment specific. We also develop motivating examples for how and where such concerns appear in sequential programs. We then propose a hierarchical concern model comprising basic and compound concerns to which platform specific aspects can be mapped. © 2006 IEEE.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

An alternative to Quiescence: Tranquility

An alternative to Quiescence: Tranquility

引用

International Conference on Software Maintenance (ICSM)

作者： Yves Vandewoude Peter Ebraert Yolande Berbers Theo D'Hondt Department of Computer Science Leuven Belgium Programming Technology Laboratory Brussels Belgium

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes (1990). We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and violates the black-box design principle. We introduce a weaker condition, tranquility; easier to obtain, less disruptive for the system and still sufficient to ensure application consistency. We also present an implementation of this concept in a component middleware platform

关键词： Application software Runtime Sufficient conditions computer science Middleware Web services Switches Telecommunication switching Banking Software systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：