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

20th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA'08

作者： Menon, Vijay Adl-Tabatabait, Ali-Reza Balensiefer, Steven Hudson, Richard L. Shpeisman, Tatiana Saha, Bratin Welc, Adam Programming Systems Lab Intel Corporation Santa Clara CA 95054 Germany Department of Computer Science and Engineering University of Washington Seattle WA 98195 United States

ISBN: (纸本)9781595939739

As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transaction memory (TM) semantics are complicated by the fact that programs may access the same memory locations both inside and outside transactions. Strongly atomic semantics, where non-transactional accesses are treated as implicit single-operation transactions, remain difficult to provide without specialized hardware support or significant performance overhead. As an alternative, many in the community have informally proposed that a single global lock semantics [18, 10], where transaction semantics are mapped to those of regions protected by a single global lock, provide an intuitive and efficiently implementable model for programmers. In this paper, we explore the implementation and performance implications of single global lock semantics in a weakly atomic STM from the perspective of Java, and we discuss why even recent STM implementations fall short of these semantics. We describe a new weakly atomic Java STM implementation that provides single global lock semantics while permitting concurrent execution, but we show that this comes at a significant performance cost. We also propose and implement various alternative semantics that loosen single lock requirements while still providing strong guarantees. We compare our new implementations to previous ones, including a strongly atomic STM. [24] Copyright 2008 ACM.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

"MASTAC": New curriculum for master and doctoral studies in critical software and computing

"MASTAC": New curriculum for master and doctoral studies in ...

引用

30th International Conference on Software Engineering, ICSE 2008 - 2008 International Workshop on Software Engineering in East and South Europe Workshop, SEESE'08

作者： Kharchenko, Vyacheslav Pomorova, Oksana Phillips, Chris Romanovsky, Alexander Popov, Peter Troubitsyna, Elena Department Computer Systems Networks National Aerospace University KhAI Department of System Programming Khmelnitskiy National University School of Computing Science University Newcastle upon Tyne Centre for Software Reliability University Newcastle upon Tyne Centre for Software Reliability City University London Department of Computer Science Åbo Akademi University

ISBN: (纸本)9781605580760

The paper presents the on-going EC-funded Tempus project "MSc and PhD studies in Aerospace Critical Computing" executed by the National Aerospace University, Kharkiv, Ukraine with the support of Newcastle University and City University of London, UK and Åbo Akademi University, Turku, Finland. The state-of-the-art, completed work as well as the next steps of the development of master and doctoral courses for the specialty in critical software engineering, computer systems and networks are described. The inputs from each of the European consortium members are presented. Copyright 2008 ACM.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

A hybrid shared memory execution model for a data parallel language with I/O

A hybrid shared memory execution model for a data parallel l...

引用

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

We propose a novel execution model for the implicitly parallel execution of data parallel programs in the presence of general I/O operations. This model is called hybrid because it combines the advantages of the standard execution models fork/join and SPMD. Based on program analysis the hybrid model adapts itself to one or the other on the granularity of individual instructions. We outline compilation techniques that systematically derive the organization of parallel code from data flow characteristics aiming at the reduction of execution mode switches in general and synchronization/communication requirements in particular. Experiments based on a prototype implementation show the effectiveness of the hybrid execution model for reducing parallel overhead. © 2008 World Scientific Publishing Company.

关键词： Input output programs

来源：评论

学校读者我要写书评

暂无评论

Optimizing neural network architecture using Tikhonov regularization parameter for intrusion detection systems and classification of attacks

Optimizing neural network architecture using Tikhonov regula...

引用

2008 International Conference on Information and Knowledge Engineering, IKE 2008

作者： Sharawi, Marwa S. Sammany, Mohammed El-Beltagy, Mohammed Saroit, Imane Faculty of Informatics and Computer Science British University in Egypt Cairo Egypt Department of Applied Mathematics and Programming Aleppo University Aleppo Syria Department of Decision Support System Faculty of Computers and Information Cairo University Cairo Egypt Department of Information Technology Faculty of Computers and Information Cairo University Cairo Egypt

ISBN: (纸本)1601320752

Network Intrusion Detection Systems (NIDS) require the ability to generalize from previously observed attacks to detect even new or slight variation records of known attacks. As an intrusion detection system can be regarded as classification problem, we use Artificial Neural networks for detection. Using a benchmark study and set from the KDD (Knowledge Data Discovery and Data Mining) competition designed by DARPA and Multi-layered perceptron neural network, this Paper will aim to solve a multi class problem using MLP in to distinguish the attack records from normal ones, and also identify the attack type. In addition, it shows how to use Tikhonov regularization parameter to optimize the optimal network architecture in order to increase the system performance. The results show that the designed system is capable of classifying records with 98.34% accuracy with two hidden layers of neuron. Finally, the performance of the benchmark study is compared with our results.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

Some essential techniques for developing efficient petascale applications

引用

Journal of Physics: Conference Series 2008年第1期125卷

作者： Kalé, L.V. Parallel Programming Laboratory Computer Science Department University of Illinois at Urbana-Champaign Urbana IL 61810 United States

Multiple petaflops-lass machines will appear during the coming year, and many multipetaflops machines are on the anvil. It will be a substantial challenge to make existing parallel CSE applications run efficiently on them, and even more challenging to design new applications that can effectively leverage the large computational power of these machines. Multicore chips and SMP nodes are becoming popular and pose challenges of their own. Further, a new set of challenges in productivity arise, especially if we wish to have a broader set of applications and people to use these machines. Reviewed here is a set of techniques that have proved useful in multiple parallel applications that have scaled to tens of thousands of processors, on machines such as the Blue Gene/L, Blue Gene/P, Cray XT3, and XT4. New challenges and potential solutions for the performance issues are identified. Issues presented by multicore chips and SMP nodes also rre addressed. Also reviewed are some new and old ideas for increasing productivity in parallel programming substantially. © 2008 IOP Publishing Ltd.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Redundant optical data transmission using semiconductor lasers

Redundant optical data transmission using semiconductor lase...

引用

ACS/IEEE International Conference on computer Systems and Applications

作者： H. D. Wacker J. Borcsok H. Hillmer Development HIMA Paul Hildebrandt GmbH + Co KG Bruehl GERMANY Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming Kassel GERMANY University of Kassel Institute of Nanostructure Technologies and Analytics (INA) and Center for Interdisciplinary Nanostructure Science and Technology (CINSaT) Kassel GERMANY

This paper is dealing with redundant optoelectronic data transmission with special respect to laser channels. The concept of the generalized erasure channel (GEC) is used to determine the probability of undetected error for some binary symmetric and non-symmetric channels protected by appropriate codes. In detail, communication via different binary symmetric channels (BSCs), generalized erasure channels and symmetrized binary non symmetric channels (BNSCs) is investigated. Simple upper bounds are given, relating the new formulas to that one of the BSC Finally the results in connection with an inequality for proper codes are applied to multi wavelength optical transmission through channels generated by semiconductor lasers.

关键词： Data communication Semiconductor lasers Error probability Optical transmitters Protection Safety Wavelength division multiplexing Laser theory Upper bound Linear code

来源：评论

学校读者我要写书评

暂无评论

Control of Autonomous Solid Oxide Fuel Cells Subject to Sudden Load Variations

Control of Autonomous Solid Oxide Fuel Cells Subject to Sudd...

引用

2008 IEEE/PES Transmission & Distribution Conference & Exposition, part 1

作者： Dong-Jing Lee Li Wang Department of Electrical Engineering and Computer Science Chair for Computer Architecture and System Programming National Cheng Kung University Tainan Taiwan

This paper presents dynamic behaviors of autonomous solid oxide fuel cells (SOFC) with AC bus control. Both voltage and frequency control are utilized to achieve load-sharing of the studied SOFC feeding isolated loads. A DC-to-DC converter is connected to the output terminals of the studied SOFC for stabilizing output voltage and current fluctuations under different loading conditions. The PWM inverter connected to the output terminals of the DC-to-DC converter is operated under voltage-controlled mode to regulate the voltage profile across the connected loads. It can be concluded from the simulation results that the proposed voltage and frequency droop controllers of the PWM inverter may operate satisfactory under stand-alone mode.

关键词： Solid oxide fuel cells (SOFC) DC-to-DC converter PWM inverter Stand-alone mode

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A modeling framework for the development of provably secure E-commerce applications

A modeling framework for the development of provably secure ...

引用

2nd International Conference on Software Engineering Advances - ICSEA 2007

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

ISBN: (纸本)0769529372

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. © 2007 IEEE.

关键词： Unified Modeling Language

来源：评论

学校读者我要写书评

暂无评论

On optimising shape-generic array programs using symbolic structural information

引用

18th International Symposium on Implementation and Application of Functional Languages, IFL 2006

作者： Trojahner, Kai Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages University of Hertfordshire Department of Computer Science

ISBN: (纸本)9783540741299

Shape-generic programming and high run time performance do match if generic source code is systematically specialised into nongeneric executable code. However, as soon as we drop the assumption of whole-world knowledge or refrain from specialisation for other reasons, compiled generic code is substantially less efficient. Limited effectiveness of code optimisation techniques due to the inherent lack of knowledge about the structural properties of arrays can be identified as the single most important source of inefficiency. However, in many cases partial structural information or structural relationships between arrays would actually suffice for optimisation. We propose symbolic array attributes as a uniform scheme to infer and to represent partial and relational structural information in shape-generic array code. By reusing the regular language to express structural properties in intermediate code, existing optimisations benefit from symbolic array attributes with little or no alteration. In fact, program optimisation and identification of structural properties cross-fertilise each other. We outline our approach in the context of the functional array language SAC and demonstrate its effectiveness by a small case study. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Information analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：