首页 > 最新文献

2012 International Conference on High Performance Computing & Simulation (HPCS)最新文献

英文 中文
Case study: Multi-role shadow robotic system for independent living 案例研究:用于独立生活的多角色影子机器人系统
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266950
The project is focused on development and prototyping of remotely-controlled, semi-autonomous robotic solutions in domestic environments to support elderly people. In particular, the SRS project is demonstrating an innovative, practical and efficient system called “SRS robot” for personalised home care and assisted living.
该项目的重点是在家庭环境中开发和原型化远程控制、半自主机器人解决方案,以支持老年人。特别值得一提的是,SRS项目展示了一种创新、实用和高效的系统,称为“SRS机器人”,用于个性化家庭护理和辅助生活。
{"title":"Case study: Multi-role shadow robotic system for independent living","authors":"","doi":"10.1109/HPCSim.2012.6266950","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266950","url":null,"abstract":"The project is focused on development and prototyping of remotely-controlled, semi-autonomous robotic solutions in domestic environments to support elderly people. In particular, the SRS project is demonstrating an innovative, practical and efficient system called “SRS robot” for personalised home care and assisted living.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116308705","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Supervised brain segmentation and classification in diagnostic of Attention-Deficit/Hyperactivity Disorder 监督脑分割与分类在注意缺陷/多动障碍诊断中的应用
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266909
L. Igual, J. Soliva, Antonio Hernández-Vela, Sergio Escalera, Ó. Vilarroya, P. Radeva
This paper presents an automatic method for external and internal segmentation of the caudate nucleus in Magnetic Resonance Images (MRI) based on statistical and structural machine learning approaches. This method is applied in Attention-Deficit/Hyperactivity Disorder (ADHD) diagnosis. The external segmentation method adapts the Graph Cut energy-minimization model to make it suitable for segmenting small, low-contrast structures, such as the caudate nucleus. In particular, new energy function data and boundary potentials are defined and a supervised energy term based on contextual brain structures is added. Furthermore, the internal segmentation method learns a classifier based on shape features of the Region of Interest (ROI) in MRI slices. The results show accurate external and internal caudate segmentation in a real data set and similar performance of ADHD diagnostic test to manual annotation.
本文提出了一种基于统计和结构机器学习方法的核磁共振图像尾状核内部和外部自动分割方法。该方法应用于注意力缺陷/多动障碍(ADHD)的诊断。外部分割方法采用了Graph Cut能量最小化模型,使其适合分割小的、低对比度的结构,如尾状核。特别地,定义了新的能量函数数据和边界势,并添加了基于上下文脑结构的监督能量项。此外,内部分割方法根据MRI切片中感兴趣区域(ROI)的形状特征学习分类器。结果表明,该方法在真实数据集上实现了准确的内外尾状核分割,ADHD诊断测试的性能与人工标注相似。
{"title":"Supervised brain segmentation and classification in diagnostic of Attention-Deficit/Hyperactivity Disorder","authors":"L. Igual, J. Soliva, Antonio Hernández-Vela, Sergio Escalera, Ó. Vilarroya, P. Radeva","doi":"10.1109/HPCSim.2012.6266909","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266909","url":null,"abstract":"This paper presents an automatic method for external and internal segmentation of the caudate nucleus in Magnetic Resonance Images (MRI) based on statistical and structural machine learning approaches. This method is applied in Attention-Deficit/Hyperactivity Disorder (ADHD) diagnosis. The external segmentation method adapts the Graph Cut energy-minimization model to make it suitable for segmenting small, low-contrast structures, such as the caudate nucleus. In particular, new energy function data and boundary potentials are defined and a supervised energy term based on contextual brain structures is added. Furthermore, the internal segmentation method learns a classifier based on shape features of the Region of Interest (ROI) in MRI slices. The results show accurate external and internal caudate segmentation in a real data set and similar performance of ADHD diagnostic test to manual annotation.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134015537","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Improving the program performance through prioritized disk operation 通过优先化磁盘操作来提高程序性能
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266976
Tsozen Yeh, Shuwen Yang
Computers are indispensable to modern human society. Often computers host multiple programs running simultaneously. However, among those programs, some maybe more time-critical than others to users. Consequently, users would hope those time-critical programs to finish their execution as soon as possible. Generally speaking, the course of program execution includes CPU operation and hard disk operation (disk I/O). For the CPU operation, modern computer systems have the ability to adjust the CPU scheduling sequence according to program priority. Nevertheless, for the disk I/O, it is not quite the same. Most computer systems do not have effective ways to conduct disk I/O based on program priority. Compared with CPU, disk I/O speed is still about six orders of magnitude behind, making time-critical and high-priority programs involving disk I/O hard to achieve high performance as users would expect. Currently, Complete Fair Queuing (CFQ) is the default disk scheduler in the Linux operating system. Unfortunately, it only offers prioritized disk I/O to some extent. We propose and implement a new disk scheduler, namely Prioritized Complete Fair Queuing (PCFQ), by adding schemes of supporting truly prioritized disk I/O into CFQ in the Linux kernel. We compare the performance between PCFQ and CFQ under different situations. Our experimental results demonstrate that, for programs with high priority, PCFQ outperforms CFQ in all cases by reducing up to extra 59.7% of the program execution time on top of what CFQ can accomplish.
计算机是现代人类社会不可或缺的。计算机通常同时运行多个程序。然而,在这些程序中,对用户来说,有些程序可能比其他程序更需要时间。因此,用户希望那些时间紧迫的程序尽快完成它们的执行。一般来说,程序执行的过程包括CPU操作和硬盘操作(磁盘I/O)。对于CPU的运行,现代计算机系统具有根据程序优先级调整CPU调度顺序的能力。然而,对于磁盘I/O,情况就不太一样了。大多数计算机系统没有基于程序优先级执行磁盘I/O的有效方法。与CPU相比,磁盘I/O速度仍然落后大约6个数量级,这使得涉及磁盘I/O的时间关键型高优先级程序难以达到用户期望的高性能。目前,完全公平排队(Complete Fair Queuing, CFQ)是Linux操作系统中的默认磁盘调度程序。不幸的是,它在某种程度上只提供了优先级的磁盘I/O。我们提出并实现了一种新的磁盘调度程序,即优先级完全公平队列(PCFQ),通过在Linux内核的CFQ中添加支持真正优先的磁盘I/O的方案。我们比较了PCFQ和CFQ在不同情况下的性能。我们的实验结果表明,对于具有高优先级的程序,PCFQ在所有情况下都优于CFQ,在CFQ可以完成的基础上,PCFQ最多减少59.7%的程序执行时间。
{"title":"Improving the program performance through prioritized disk operation","authors":"Tsozen Yeh, Shuwen Yang","doi":"10.1109/HPCSim.2012.6266976","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266976","url":null,"abstract":"Computers are indispensable to modern human society. Often computers host multiple programs running simultaneously. However, among those programs, some maybe more time-critical than others to users. Consequently, users would hope those time-critical programs to finish their execution as soon as possible. Generally speaking, the course of program execution includes CPU operation and hard disk operation (disk I/O). For the CPU operation, modern computer systems have the ability to adjust the CPU scheduling sequence according to program priority. Nevertheless, for the disk I/O, it is not quite the same. Most computer systems do not have effective ways to conduct disk I/O based on program priority. Compared with CPU, disk I/O speed is still about six orders of magnitude behind, making time-critical and high-priority programs involving disk I/O hard to achieve high performance as users would expect. Currently, Complete Fair Queuing (CFQ) is the default disk scheduler in the Linux operating system. Unfortunately, it only offers prioritized disk I/O to some extent. We propose and implement a new disk scheduler, namely Prioritized Complete Fair Queuing (PCFQ), by adding schemes of supporting truly prioritized disk I/O into CFQ in the Linux kernel. We compare the performance between PCFQ and CFQ under different situations. Our experimental results demonstrate that, for programs with high priority, PCFQ outperforms CFQ in all cases by reducing up to extra 59.7% of the program execution time on top of what CFQ can accomplish.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"52 39","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132389276","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions 使用基于对称的半自动抽象验证P2P直播系统
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266935
P. Gomes, S. Campos, A. Vieira
P2P systems are one of the most efficient data transport technologies in use today. Particularly, P2P live streaming systems have been growing in popularity recently. However, analyzing such systems is difficult. Developers are not able to realize a complete test due the due to system size and complex dynamic behavior. This may lead us to develop protocols with errors, unfair or even with low performance. One way of performing such an analysis is using formal methods. Model Checking is one such method that can be used for the formal verification of P2P systems. However it suffers from the combinatory explosion of states. The problem can be minimized with techniques such as abstraction and symmetry reduction. This work combines both techniques to produce reduced models that can be verified in feasible time. We present a methodology to generate abstract models of reactive systems semi-automatically, based on the model's symmetry. It defines modeling premises to make the abstraction procedure semiautomatic, i.e., without modification of the model. Moreover, it presents abstraction patterns based on the system symmetry and shows which properties are consistent with each pattern. The reductions obtained by the methodology were significant. In our test case of a P2P network, it has enabled the verification of liveness properties over the abstract models which did not finish with the original model after more than two weeks of intensive computation. Our results indicate that the use of model checking for the verification of P2P systems is feasible, and that our modeling methodology can increase the efficiency of the verification algorithms enough to enable the analysis of real complex P2P live streaming systems.
P2P系统是目前使用的最有效的数据传输技术之一。特别是,P2P直播系统最近越来越受欢迎。然而,分析这样的系统是困难的。由于系统大小和复杂的动态行为,开发人员无法实现完整的测试。这可能导致我们开发出错误、不公平甚至低性能的协议。执行这种分析的一种方法是使用形式化方法。模型检验就是这样一种方法,可以用于P2P系统的形式化验证。然而,它受到状态组合爆炸的影响。这个问题可以通过抽象和对称简化等技术最小化。这项工作结合了这两种技术来产生可以在可行时间内验证的简化模型。本文提出了一种基于反应系统的对称性半自动生成抽象模型的方法。它定义了建模前提,使抽象过程半自动,即不需要修改模型。在此基础上,提出了基于系统对称性的抽象模式,并指出了哪些属性与每个模式相一致。该方法所获得的减少是显著的。在我们的P2P网络测试用例中,经过两周多的密集计算,它已经能够对原始模型无法完成的抽象模型进行活体属性的验证。我们的研究结果表明,使用模型检查对P2P系统进行验证是可行的,并且我们的建模方法可以提高验证算法的效率,足以分析真实复杂的P2P直播系统。
{"title":"Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions","authors":"P. Gomes, S. Campos, A. Vieira","doi":"10.1109/HPCSim.2012.6266935","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266935","url":null,"abstract":"P2P systems are one of the most efficient data transport technologies in use today. Particularly, P2P live streaming systems have been growing in popularity recently. However, analyzing such systems is difficult. Developers are not able to realize a complete test due the due to system size and complex dynamic behavior. This may lead us to develop protocols with errors, unfair or even with low performance. One way of performing such an analysis is using formal methods. Model Checking is one such method that can be used for the formal verification of P2P systems. However it suffers from the combinatory explosion of states. The problem can be minimized with techniques such as abstraction and symmetry reduction. This work combines both techniques to produce reduced models that can be verified in feasible time. We present a methodology to generate abstract models of reactive systems semi-automatically, based on the model's symmetry. It defines modeling premises to make the abstraction procedure semiautomatic, i.e., without modification of the model. Moreover, it presents abstraction patterns based on the system symmetry and shows which properties are consistent with each pattern. The reductions obtained by the methodology were significant. In our test case of a P2P network, it has enabled the verification of liveness properties over the abstract models which did not finish with the original model after more than two weeks of intensive computation. Our results indicate that the use of model checking for the verification of P2P systems is feasible, and that our modeling methodology can increase the efficiency of the verification algorithms enough to enable the analysis of real complex P2P live streaming systems.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126939988","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Selective methodology based on user criteria to explore the relationship between performance and computation analysis 基于用户标准的选择方法来探索性能与计算分析之间的关系
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266989
L. Djoudi, M. Achab
An automatic analysis and a quick resolution of the performance problem depends on having precise methodology to develop tool for exploring the relationship between performance and computation analysis. In this paper, we propose a strategy which allows the choice of analysis type, code level and tool used, by focusing on the hot part of code. Taking into account user criteria our system generates precise static/dynamic analysis for the selected part of code. It requires smaller computation times. It can be applied systematically without user intervention.
性能问题的自动分析和快速解决取决于有精确的方法来开发工具来探索性能与计算分析之间的关系。在本文中,我们提出了一种策略,允许选择分析类型,代码级别和使用的工具,通过关注代码的热门部分。考虑到用户标准,我们的系统为选定的代码部分生成精确的静态/动态分析。它需要更少的计算时间。它可以在没有用户干预的情况下系统地应用。
{"title":"Selective methodology based on user criteria to explore the relationship between performance and computation analysis","authors":"L. Djoudi, M. Achab","doi":"10.1109/HPCSim.2012.6266989","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266989","url":null,"abstract":"An automatic analysis and a quick resolution of the performance problem depends on having precise methodology to develop tool for exploring the relationship between performance and computation analysis. In this paper, we propose a strategy which allows the choice of analysis type, code level and tool used, by focusing on the hot part of code. Taking into account user criteria our system generates precise static/dynamic analysis for the selected part of code. It requires smaller computation times. It can be applied systematically without user intervention.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129467162","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A neural network approach to online Devanagari handwritten character recognition 一种基于神经网络的在线Devanagari手写体识别方法
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266913
Shruthi S. Kubatur, M. Sid-Ahmed, M. Ahmadi
This paper proposes a neural network based framework to classify online Devanagari characters into one of 46 characters in the alphabet set. The uniqueness of this work is three-fold: (1) The feature extraction is just the Discrete Cosine Transform of the temporal sequence of the character points (utilizing the nature of online data input). We show that if used right, a simple feature set yielded by the DCT can be very reliable for accurate recognition of handwriting, (2) The mode of character input is through a computer mouse, and (3) We have built the online handwritten database of Devanagari characters from scratch, and there are some unique features in the way we have built up the database. Lastly, the testing has been carried on 2760 characters, and recognition rates of up to 97.2% are achieved.
本文提出了一种基于神经网络的框架,将在线德文汉字分类为字母表集中的46个字符之一。这项工作的独特性在于三个方面:(1)特征提取只是对字符点的时间序列进行离散余弦变换(利用在线数据输入的性质)。我们证明,如果使用得当,DCT产生的一个简单的特征集可以非常可靠地准确识别笔迹,(2)字符输入模式是通过计算机鼠标输入的,(3)我们从零开始建立了在线Devanagari字符手写数据库,并且我们建立数据库的方式有一些独特的特征。最后,对2760个字符进行了测试,识别率达到97.2%。
{"title":"A neural network approach to online Devanagari handwritten character recognition","authors":"Shruthi S. Kubatur, M. Sid-Ahmed, M. Ahmadi","doi":"10.1109/HPCSim.2012.6266913","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266913","url":null,"abstract":"This paper proposes a neural network based framework to classify online Devanagari characters into one of 46 characters in the alphabet set. The uniqueness of this work is three-fold: (1) The feature extraction is just the Discrete Cosine Transform of the temporal sequence of the character points (utilizing the nature of online data input). We show that if used right, a simple feature set yielded by the DCT can be very reliable for accurate recognition of handwriting, (2) The mode of character input is through a computer mouse, and (3) We have built the online handwritten database of Devanagari characters from scratch, and there are some unique features in the way we have built up the database. Lastly, the testing has been carried on 2760 characters, and recognition rates of up to 97.2% are achieved.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"120 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120851378","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Effective detection of a mobile intruder in a partially connected wireless sensor networks 部分连接无线传感器网络中移动入侵者的有效检测
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266952
Yun Wang, Brendan M. Kelly, S. Dolins
For a wireless sensor network (WSN) to operate successfully in an application of detecting a mobile intruder, the sensor's sensing of the intruder and the communication between the tasking sensor(s) and the base station should be jointly considered for effective intrusion detection. Most related work either treats the two tasks separately or considers both tasks for general-purpose WSN applications in terms of sensing coverage and network connectivity. This work instead investigates the effective intrusion detection problem in a partially connected random WSN from modeling, analysis, and simulation perspectives by integrating the K-sensing and communication tasks. Upper and lower bounds of effective K-sensing intrusion detection probability are mathematically formulated and theoretically derived. Monte-Carlo Simulations are conducted and outcomes are shown to support the theoretical analysis.
为了使无线传感器网络在移动入侵者检测应用中成功运行,必须综合考虑传感器对入侵者的感知以及任务传感器与基站之间的通信,才能进行有效的入侵检测。大多数相关工作要么将这两个任务分开处理,要么在传感覆盖和网络连接方面考虑通用WSN应用的两个任务。本研究通过集成k感知和通信任务,从建模、分析和仿真的角度研究了部分连接随机WSN中的有效入侵检测问题。给出了有效k感入侵检测概率的数学表达式和理论推导。进行了蒙特卡罗模拟,结果支持了理论分析。
{"title":"Effective detection of a mobile intruder in a partially connected wireless sensor networks","authors":"Yun Wang, Brendan M. Kelly, S. Dolins","doi":"10.1109/HPCSim.2012.6266952","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266952","url":null,"abstract":"For a wireless sensor network (WSN) to operate successfully in an application of detecting a mobile intruder, the sensor's sensing of the intruder and the communication between the tasking sensor(s) and the base station should be jointly considered for effective intrusion detection. Most related work either treats the two tasks separately or considers both tasks for general-purpose WSN applications in terms of sensing coverage and network connectivity. This work instead investigates the effective intrusion detection problem in a partially connected random WSN from modeling, analysis, and simulation perspectives by integrating the K-sensing and communication tasks. Upper and lower bounds of effective K-sensing intrusion detection probability are mathematically formulated and theoretically derived. Monte-Carlo Simulations are conducted and outcomes are shown to support the theoretical analysis.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117313103","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Applications resilience on clouds 应用程序在云上的弹性
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266891
T. Nguyen, J. Désidéri, L. Trifan
Cloud computing infrastructures support system and network fault-tolerance. They transparently repair and prevent communication and software errors. They also allow duplication and migration of jobs and data to prevent hardware failures. However, only limited work has been done so far on application resilience, i.e., the ability to resume normal execution after errors and abnormal executions in distributed environments and clouds. This paper addresses open issues and solutions for application errors detection and management. It also overviews a testbed used to to design, deploy, execute, monitor, restart and resume distributed applications on cloud infrastructures in cases of failures.
云计算基础设施支持系统和网络容错。它们透明地修复和防止通信和软件错误。它们还允许作业和数据的复制和迁移,以防止硬件故障。然而,到目前为止,在应用程序弹性方面只做了有限的工作,即在分布式环境和云环境中出现错误和异常执行后恢复正常执行的能力。本文讨论了应用程序错误检测和管理的开放问题和解决方案。它还概述了一个测试平台,用于在云基础设施上设计、部署、执行、监控、重新启动和恢复分布式应用程序。
{"title":"Applications resilience on clouds","authors":"T. Nguyen, J. Désidéri, L. Trifan","doi":"10.1109/HPCSim.2012.6266891","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266891","url":null,"abstract":"Cloud computing infrastructures support system and network fault-tolerance. They transparently repair and prevent communication and software errors. They also allow duplication and migration of jobs and data to prevent hardware failures. However, only limited work has been done so far on application resilience, i.e., the ability to resume normal execution after errors and abnormal executions in distributed environments and clouds. This paper addresses open issues and solutions for application errors detection and management. It also overviews a testbed used to to design, deploy, execute, monitor, restart and resume distributed applications on cloud infrastructures in cases of failures.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131889660","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Prototype of grid environment for earth system models 地球系统模型网格环境原型
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266886
I. Epicoco, M. Mirto, S. Mocavero, G. Aloisio
Within the EU IS-ENES project, the deployment of an e-infrastructure providing climate scientists with an efficient virtual proximity to distributed data and distributed computing resources is required. The access point of this infrastructure is represented by the v.E.R.C. (virtual Earth system modelling Resource Centre) web portal. It allows the Earth System Models (ESMs) scientists to run complex distributed workflows for executing ESM experiments and accessing to ESM data. The work describes the deployment of a grid prototype environment for running multi-model ensembles experiments. Considering existing grid infrastructures and services, the design of this grid prototype has been lead by the necessity to build a framework that leverage the external services offered within the European HPC ecosystem, e.g. DEISA, PRACE. The prototype allows exploiting advanced grid services, namely GRB services, developed at the University of Salento, Italy, and basic grid services offered by the Globus Toolkit middleware for submitting and monitoring the ensemble runs. The prototype has been deployed involving three sites: CMCC, DKRZ and BSC. A case study related to the HRT159, a global coupled ocean-atmosphere general circulation model (AOGCM) developed by CMCC-INGV, has been considered.
在欧盟is - enes项目中,需要部署电子基础设施,为气候科学家提供有效的虚拟接近分布式数据和分布式计算资源。这个基础设施的接入点由虚拟地球系统建模资源中心(v.E.R.C)门户网站表示。它允许地球系统模型(ESM)科学家运行复杂的分布式工作流程来执行ESM实验和访问ESM数据。该工作描述了用于运行多模型集成实验的网格原型环境的部署。考虑到现有的网格基础设施和服务,这个网格原型的设计是由建立一个框架的必要性所主导的,该框架利用了欧洲HPC生态系统中提供的外部服务,例如DEISA, PRACE。该原型允许利用高级网格服务,即GRB服务,由意大利Salento大学开发,以及Globus Toolkit中间件提供的用于提交和监视集成运行的基本网格服务。原型机已经部署到三个地点:CMCC、DKRZ和BSC。本文以ccc - ingv开发的全球海洋-大气耦合环流模式(AOGCM) HRT159为例。
{"title":"Prototype of grid environment for earth system models","authors":"I. Epicoco, M. Mirto, S. Mocavero, G. Aloisio","doi":"10.1109/HPCSim.2012.6266886","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266886","url":null,"abstract":"Within the EU IS-ENES project, the deployment of an e-infrastructure providing climate scientists with an efficient virtual proximity to distributed data and distributed computing resources is required. The access point of this infrastructure is represented by the v.E.R.C. (virtual Earth system modelling Resource Centre) web portal. It allows the Earth System Models (ESMs) scientists to run complex distributed workflows for executing ESM experiments and accessing to ESM data. The work describes the deployment of a grid prototype environment for running multi-model ensembles experiments. Considering existing grid infrastructures and services, the design of this grid prototype has been lead by the necessity to build a framework that leverage the external services offered within the European HPC ecosystem, e.g. DEISA, PRACE. The prototype allows exploiting advanced grid services, namely GRB services, developed at the University of Salento, Italy, and basic grid services offered by the Globus Toolkit middleware for submitting and monitoring the ensemble runs. The prototype has been deployed involving three sites: CMCC, DKRZ and BSC. A case study related to the HRT159, a global coupled ocean-atmosphere general circulation model (AOGCM) developed by CMCC-INGV, has been considered.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131697707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
High performance computing and simulations on the GPU using CUDA 使用CUDA在GPU上进行高性能计算和模拟
Pub Date : 2012-07-02 DOI: 10.1109/HPCSim.2012.6266884
M. Ujaldón
The computational power and memory bandwidth of graphics processing units (GPUs) have turned them into attractive platforms for general-purpose applications at significant speed gains versus their CPU counterparts [1]. In addition, an increasing number of today's state-of-the-art supercomputers include commodity GPUs to bring us unprecedented levels of performance in terms of raw GFLOPS and GFLOPS/cost. In this paper, we provide an introduction to CUDA programming paradigm with an emphasis on simulations which can exploit SIMD parallelism and high memory bandwidth on GPUs. OpenCL is also briefly described as a recent standardization effort to set up an open standard API for general-purpose manycore architectures.
图形处理单元(gpu)的计算能力和内存带宽使它们成为通用应用程序的有吸引力的平台,与CPU相比,速度有显著提高[1]。此外,越来越多的当今最先进的超级计算机包括商品gpu,为我们带来前所未有的性能水平,在原始GFLOPS和GFLOPS/成本方面。在本文中,我们介绍了CUDA编程范例,重点介绍了可以在gpu上利用SIMD并行性和高内存带宽的仿真。OpenCL还被简要描述为最近的一项标准化工作,旨在为通用多核架构建立开放标准API。
{"title":"High performance computing and simulations on the GPU using CUDA","authors":"M. Ujaldón","doi":"10.1109/HPCSim.2012.6266884","DOIUrl":"https://doi.org/10.1109/HPCSim.2012.6266884","url":null,"abstract":"The computational power and memory bandwidth of graphics processing units (GPUs) have turned them into attractive platforms for general-purpose applications at significant speed gains versus their CPU counterparts [1]. In addition, an increasing number of today's state-of-the-art supercomputers include commodity GPUs to bring us unprecedented levels of performance in terms of raw GFLOPS and GFLOPS/cost. In this paper, we provide an introduction to CUDA programming paradigm with an emphasis on simulations which can exploit SIMD parallelism and high memory bandwidth on GPUs. OpenCL is also briefly described as a recent standardization effort to set up an open standard API for general-purpose manycore architectures.","PeriodicalId":428764,"journal":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131307508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
期刊
2012 International Conference on High Performance Computing & Simulation (HPCS)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1