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

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Pavel Zaichenkov Bert Gijsbers Clemens Grelck Olga Tveretina Alex Shafarenko Moscow Institute of Physics and Technology Russia Compiler Technology and Computer Architecture Group University of Hertfordshire United Kingdom Informatics Institute University of Amsterdam The Netherlands Programming Languages Group Ghent University Belgium

ISBN: (纸本)9781479941155

We present a programming methodology and runtime performance case study comparing the declarative data flow coordination language S-Net with Intel's Concurrent Collections (CnC). As a coordination language S-Net achieves a near-complete separation of concerns between sequential software components implemented in a separate algorithmic language and their parallel orchestration in an asynchronous data flow streaming network. We investigate the merits of S-Net and CnC with the help of a relevant and non-trivial linear algebra problem: tiled Cholesky decomposition. We describe two alternative S-Net implementations of tiled Cholesky factorization and compare them with two CnC implementations, one with explicit performance tuning and one without, that have previously been used to illustrate Intel CnC. Our experiments on a 48-core machine demonstrate that S-Net manages to outperform CnC on this problem.

关键词： Synchronization programming Matrix decomposition Concurrent computing Computational modeling Tuning Biological system modeling

来源：评论

学校读者我要写书评

暂无评论

How file access patterns influence interference among cluster applications

How file access patterns influence interference among cluste...

引用

IEEE International Conference on Cluster Computing

作者： Chih-Song Kuo Aamer Shah Akihiro Nomura Satoshi Matsuoka Felix Wolf Department of Computer Science RWTH Aachen University Aachen Germany German Research School for Simulation Sciences Laboratory for Parallel Programming Aachen Germany Tokyo Institute of Technology Global Scientific Information and Computing Center Tokyo Japan

On large-scale clusters, tens to hundreds of applications can simultaneously access a parallel file system, leading to contention and in its wake to degraded application performance. However, the degree of interference depends on the specific file access pattern. On the basis of synchronized time-slice profiles, we compare the interference potential of different file access patterns. We consider both micro-benchmarks, to study the effects of certain patterns in isolation, and realistic applications to gauge the severity of such interference under production conditions. In particular, we found that writing large files simultaneously with small files can slow down the latter at small chunk sizes but the former at larger chunk sizes. We further show that such effects can seriously affect the runtime of real applications-up to a factor of five in one instance. In the future, both our insights and profiling techniques can be used to automatically classify the interference potential between applications and to adjust scheduling decisions accordingly.

关键词： Interference Servers Throughput Benchmark testing Market research Degradation Aggregates

来源：评论

学校读者我要写书评

暂无评论

A Tool for reliable model-based design for programming logic controllers

A Tool for reliable model-based design for programming logic...

引用

1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013

作者： Schwarz, M.H. Sheng, H. Chaaban, W. Börcsök, J. Dept. Safety Computer Technology University of Kassel Kassel Germany Dept. Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9783902823519

This paper presents an automated code generation and validation, verification approach to convert model based developments into IEC 61131-3 conform function blocks. IEC 61131-3 programming languages are supported by PLC manufacturers and software environment developers and provide the possibility that novel and intelligent algorithms can be directly operated on industrial accepted systems. Railway and transportation also receive drastic changes from purely hardware based systems to microcontroller + software driven systems. However, the conversion has to follow certain steps to ensure that the adaptation is done correctly and functionality is not alternated, added or deleted. Concepts suggested by different international standards such as the IEC 61508 can help to derive a tool chain to verify the generated code. © IFAC.

关键词： Manufacture

来源：评论

学校读者我要写书评

暂无评论

CellCilk: Extending cilk for heterogeneous multicore platforms

CellCilk: Extending cilk for heterogeneous multicore platfor...

引用

24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011

作者： Werth, Tobias Schreier, Silvia Philippsen, Michael Computer Science Department Programming Systems Group University of Erlangen-Nuremberg Germany Faculty of Mathematics and Computer Science Data Processing Technology University of Hagen Germany

ISBN: (纸本)9783642360350

The potential of heterogeneous multicores, like the Cell BE, can only be exploited if the host and the accelerator cores are used in parallel and if the specific features of the cores are considered. Parallel programming, especially when applied to irregular task-parallel problems, is challenging itself. However, heterogeneous multicores add to that complexity due to their memory hierarchy and specialized accelerators. As a solution for these issues we present CellCilk, a prototype implementation of Cilk for heterogeneous multicores with a host/accelerator design, using the Cell BE in particular. CellCilk introduces a new keyword (spu-spawn) for task creation on the accelerator cores. Task scheduling and load balancing are done by a novel dynamic cross-hierarchy work-stealing regime. Furthermore, the CellCilk runtime employs a garbage collection mechanism for distributed data structures that are created during scheduling. On benchmarks we achieve a good speedup and reasonable runtimes, even when compared to manually parallelized codes. © 2013 Springer-Verlag.

关键词： Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Fuzzy k-competition graphs

Fuzzy k-competition graphs

引用

2013 Science and Information Conference, SAI 2013

作者： Pal, Madhumangal Samanta, Sovan Pal, Anita Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore-721102 India Department of Mathematics National Institute of Technology Durgapur 713209 India

ISBN: (纸本)9780989319300

Fuzzy competition graph as the generalization of competition graph is introduced here. A generalization of fuzzy competition graph known as fuzzy k-competition graph is also defined. These graphs are related to fuzzy digraphs. Fuzzy neighbourhood graphs, which are related to fuzzy graphs are defined here. Some relations between fuzzy competition graphs and fuzzy neighbourhood graphs have been established. Also several results to find strong edges of the stated graphs are obtained. © 2013 The Science and Information Organization.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Advanced tool for predictive diagnosis and maintenance using case-based reasoning and fuzzy logic

Advanced tool for predictive diagnosis and maintenance using...

引用

25th European Modeling and Simulation Symposium, EMSS 2013

作者： Christova, Nikolinka Atanassov, Atanas Dept. of Automation of Industry University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria Dept. of Programming and Computer System Application University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria

ISBN: (纸本)9788897999225

The application of computational intelligence in condition-based maintenance and diagnosis plays a leading role in the technology development of intelligent manufacturing systems. Case-Based Reasoning (CBR) is mostly used in designing the real time application having the decision support capability. In this study implementation of fuzzy logic in the CBR systems that deriving effective knowledge representation schemes has been described. The benefits of the approach have been presented. The applications of the developed advanced tool based on fuzzy logic and CBR for solving the real problems of predictive diagnosis and maintenance in industrial systems have been discussed. © 2013 DIME UNIVERSITÀ DI GENOVA.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

Concept of fuzzy planar graphs

Concept of fuzzy planar graphs

引用

2013 Science and Information Conference, SAI 2013

作者： Pal, Anita Samanta, Sovan Pal, Madhumangal Department of Mathematics National Institute of Technology Durgapur West-Bengal India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore - 721 102 India

ISBN: (纸本)9780989319300

Fuzzy graph is now a very important research area due to its wide application. Fuzzy multigraph and fuzzy planar graphs are two subclasses of fuzzy graph theory. In this paper, we define both of these graphs and studied a lot of properties. A very close association of fuzzy planar graph is fuzzy dual graph. This is also defined and studied several properties. The relation between fuzzy planar graph and fuzzy dual graph is also established. © 2013 The Science and Information Organization.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

A Tool for Reliable Model-based Design For programming Logic Controllers

引用

IFAC Proceedings Volumes 2013年第25期46卷 71-76页

作者： M.H. Schwarz H. Sheng W. Chaaban J. Börcsök Dept. Safety Computer Technology University of Kassel Kassel Germany Dept. Computer Architecture and System Programming University of Kassel Kassel Germany

关键词：

来源：评论

学校读者我要写书评

暂无评论

Publisher Correction: Re-analysis of public genetic data reveals a rare X-chromosomal variant associated with type 2 diabetes

引用

Nature communications 2018年第1期9卷 2162页

作者： Sílvia Bonàs-Guarch Marta Guindo-Martínez Irene Miguel-Escalada Niels Grarup David Sebastian Elias Rodriguez-Fos Friman Sánchez Mercè Planas-Fèlix Paula Cortes-Sánchez Santi González Pascal Timshel Tune H Pers Claire C Morgan Ignasi Moran Goutham Atla Juan R González Montserrat Puiggros Jonathan Martí Ehm A Andersson Carlos Díaz Rosa M Badia Miriam Udler Aaron Leong Varindepal Kaur Jason Flannick Torben Jørgensen Allan Linneberg Marit E Jørgensen Daniel R Witte Cramer Christensen Ivan Brandslund Emil V Appel Robert A Scott Jian'an Luan Claudia Langenberg Nicholas J Wareham Oluf Pedersen Antonio Zorzano Jose C Florez Torben Hansen Jorge Ferrer Josep Maria Mercader David Torrents Barcelona Supercomputing Center (BSC) Joint BSC-CRG-IRB Research Program in Computational Biology 08034 Barcelona Spain. Genomic Programming of Beta-cells Laboratory Institut d'Investigacions August Pi i Sunyer (IDIBAPS) 08036 Barcelona Spain. Instituto de Salud Carlos III Centro de Investigación Biomédica en Red de Diabetes y Enfermedades Metabólicas Asociadas (CIBERDEM) 28029 Madrid Spain. Section of Epigenomics and Disease Department of Medicine Imperial College London London W12 0NN UK. The Novo Nordisk Foundation Center for Basic Metabolic Research Section for Metabolic Genetics Faculty of Health and Medical Sciences University of Copenhagen 2100 Copenhagen Denmark. Institute for Research in Biomedicine (IRB Barcelona) The Barcelona Institute of Science and Technology Baldiri Reixac 10-12 08028 Barcelona Spain. Departament de Bioquímica i Biomedicina Molecular Facultat de Biologia Universitat de Barcelona 08028 Barcelona Spain. Computer Sciences Department Barcelona Supercomputing Center (BSC-CNS) 08034 Barcelona Spain. Department of Epidemiology Research Statens Serum Institut 2300 Copenhagen Denmark. Division of Endocrinology and Center for Basic and Translational Obesity Research Boston Children's Hospital Boston MA 02116 USA. Medical and Population Genetics Program Broad Institute of MIT and Harvard Cambridge MA 02142 USA. ISGlobal Centre for Research in Environmental Epidemiology (CREAL) 08003 Barcelona Spain. CIBER Epidemiología y Salud Pública (CIBERESP) 28029 Madrid Spain. Universitat Pompeu Fabra (UPF) 08003 Barcelona Spain. Artificial Intelligence Research Institute (IIIA) Spanish Council for Scientific Research (CSIC) 28006 Madrid Spain. Programs in Metabolism and Medical and Population Genetics Broad Institute of Harvard and MIT Cambridge MA 02142 USA. Diabetes Unit and Center for Genomic Medicine Massachusetts General Hospital Boston MA 02114 USA. Division of General Internal Medicine Massachusetts General Hospital Bost

In the originally published version of this Article, the affiliation details for Santi González, Jian'an Luan and Claudia Langenberg were inadvertently omitted. Santi González should have been affiliated with 'Barcelona Supercomputing Center (BSC), Joint BSC-CRG-IRB Research Program in Computational Biology, 08034 Barcelona, Spain', and Jian'an Luan and Claudia Langenberg should have been affiliated with 'MRC Epidemiology Unit, University of Cambridge School of Clinical Medicine, Cambridge Biomedical Campus, Cambridge CB2 0QQ, UK'. Furthermore, the abstract contained an error in the SNP ID for the rare variant in chromosome Xq23, which was incorrectly given as rs146662057 and should have been rs146662075. These errors have now been corrected in both the PDF and HTML versions of the Article.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A survey on OPC and OPC-UA: About the standard, developments and investigations

A survey on OPC and OPC-UA: About the standard, developments...

引用

XXII International Symposium on Information, Communication and Automation Technologies, ICAT

作者： M. H. Schwarz J. Börcsök Safety Computer Technology University of Kassel Kassel Germany Computer Architecture und System Programming University of Kassel Kassel Germany

In 1996, a new standard was announced that should serve as a software interface to exchange process data and to solve the problem to exchange process data using different industrial protocols and communication systems. A successful story started since then with few additional standards like the Alarm and Event standard using the OPC approach and some revisions and new editions. Ten years later a new approach was created that unified all existing standards and was also concerned with e.g. interoperability, security and web-based systems. This paper details the different OPC standards, tries to answer the question why this standard is important for industries and academia and where current research and development utilising those standards.

关键词： Standards Servers Security Industries XML computer architecture Automation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：