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

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

来源：评论

学校读者我要写书评

暂无评论

Matlab / Simulink generated source code for safety related systems

Matlab / Simulink generated source code for safety related s...

引用

s6th IEEE/ACS International Conference on computer Systems and Applications, AICCSA 2008

作者： Schwarz, M.H. Sheng, H. Sheleh, A. Boercsoek, J. University of Kassel Department of Computer Architecture and System Programming Kassel Germany HIMA Paul Hildebrandt GmbH+Co. KG Bruehl Germany

ISBN: (纸本)9781424419685

The authors present their latest research results and developments of a code generator for Matlab / Simulink block diagrams and to download the generated code onto safety related systems such as a safety PLC (Programmable Logic Controller). An example demonstrates the different stages for code generation, evaluation and conversion before such code can be used in process industries. Systematic approaches are necessary when such source code is embedded in process units. To the best knowledge of the authors, Matlab/Simulink source code has not been transferred on safety PLC before. Matlab / Simulink is an advanced and matured programming environment, especially for simulations of engineering processes and systems. Hardly no hardware exists, when it comes to download the developed algorithms and to use it in real world applications and so far this approach is the only one for using developed and tested Matlab / Simulink software on an safety related system. © 2008 IEEE.

关键词： Simulink

来源：评论

学校读者我要写书评

暂无评论

"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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Matlab® / Simulink® generated source code for safety related systems

Matlab® / Simulink® generated source code for safety relat...

引用

ACS/IEEE International Conference on computer Systems and Applications

作者： M.H. Schwarz H. Sheng A. Sheleh J. Boercsoek Department of Computer architecture and System programming University of Kassel Kassel Germany HIMA Paul Hildebrandt GmbH+Co KG Bruehl Germany

The authors present their latest research results and developments of a code generator for Matlab/Simulink block diagrams and to download the generated code onto safety related systems such as a safety PLC (programmable logic controller). An example demonstrates the different stages for code generation, evaluation and conversion before such code can be used in process industries. Systematic approaches are necessary when such source code is embedded in process units. To the best knowledge of the authors, Matlab/Simulink source code has not been transferred on safety PLC before. Matlab/Simulink is an advanced and matured programming environment, especially for simulations of engineering processes and systems. Hardly no hardware exists, when it comes to download the developed algorithms and to use it in real world applications and so far this approach is the only one for using developed and tested Matlab/Simulink software on an safety related system.

关键词： computer languages Programmable control Software safety Electrical equipment industry programming environments Systems engineering and theory Hardware Software algorithms Application software Software testing

来源：评论

学校读者我要写书评

暂无评论

Some essential techniques for developing efficient petascale applications

引用

Journal of Physics: Conference Series 2008年第1期125卷 012036 (15-012036 (15页

作者： 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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Study of the surface traffic inside the Cluj-Napoca urban agglomeration

Study of the surface traffic inside the Cluj-Napoca urban ag...

引用

7th European Conference on Noise Control 2008, EURONOISE 2008

作者： Solea, G. Arghir, M. Borza, D. Runcan, M. Technical University of Cluj-Napoca Faculty of Machines Design Department of Mechanics and Computer Programming B-dul MunciiNr. 103-105 400 641 Cluj-Napoca Romania National Institute of Applied Sciences of Rouen INSA Rouen LMR Ave l'Universite 76800 Rouen France

The environment protection is one of the most actual problems, because of the fact that the pollution became a major danger for the planet life. The environment pollution is caused because some pollution agents are in a too big quantity and for la long time that they become dangerous for the human health, for the flora, for the fauna and for the constructions too. The pollution sources can be classified in natural and artificial sources. The quality of the environment from a specific area at a certain time can be appreciated by: a) the air quality;b) the water quality;c) the soil quality;d) the health level of the population;e) the deficit of animals and plants species that are accounted for. In the paper there are given the urban traffic on the principal routs inside the Cluj-Napoca municipality. The traffic is the constituent part of the research activity of the national project having the destination the monitoring of the noise and vibrations into an urban agglomeration, applied to the Cluj-Napoca town. This study is the first step for the "noise map" asked for the Romania integration in the European Union for the team researchers of TUCN under the direction of the prof. dr. ing. Mariana ARGHIR.

关键词： Water quality

来源：评论

学校读者我要写书评

暂无评论

Evaluation models for the noise diminution due to the phonique barrier walls

Evaluation models for the noise diminution due to the phoniq...

引用

7th European Conference on Noise Control 2008, EURONOISE 2008

作者： Arghir, M. Borza, D. Blaga, F. Vesseleny, T. Solea, G. Runcan, M. Technical University of Cluj-Napoca Faculty of Machines Design Department of Mechanics and Computer Programming B-dul MunciiNr. 103-105 400 641 Cluj-Napoca Romania National Institute of Applied Sciences of Rouen INSA Rouen LMR Ave l'Universite 76800 Rouen France University of Oradea Str. Universitatii nr.1 400 641 Cluj-Napoca Romania

The paper contains our study regarding the reduction of urban noise using the sonic barrier walls as to the EMPARA procedure, which is based on the simplified standard method for measurements and computing of surface traffic noise inside urban agglomeration, as they are given in SRM2 laws (Netherlands standards). The studies are made taking into account all parameters that characterize the noise attenuation. The graphical representations are made considering "n-1" constant parameters, and one parameter varying with time. In this way we obtained the influence of each parameter in the diminution of the urban noise using the noise barrier walls. In addition we realized a measurement for a real barrier wall inside the city of Oradea. Our study also contains a FEM model for the analyzed configuration. The comparison between measurements and computation was fair enough, which means that our theoretical study is acceptable and characterizes the noise pollution and its diminution in the urban agglomeration. The measurement-device was a CENTER 322 Sound Lever Meter.

关键词： Noise pollution

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：