2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN)最新文献_第6页

Incremental quantitative verification for Markov decision processes 马尔可夫决策过程的增量定量验证

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) Pub Date : 2011-06-01 DOI: 10.1109/DSN.2011.5958249

M. Kwiatkowska, D. Parker, Hongyang Qu

引用次数: 73

Unified debugging of distributed systems with Recon 用Recon对分布式系统进行统一调试

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) Pub Date : 2011-06-01 DOI: 10.1109/DSN.2011.5958209

K. H. Lee, Nick Sumner, X. Zhang, P. Eugster

引用次数: 12

Resource and virtualization costs up in the cloud: Models and design choices 云中的资源和虚拟化成本上升:模型和设计选择

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) Pub Date : 2011-06-01 DOI: 10.1109/DSN.2011.5958252

D. Gmach, J. Rolia, L. Cherkasova

{"title":"Resource and virtualization costs up in the cloud: Models and design choices","authors":"D. Gmach, J. Rolia, L. Cherkasova","doi":"10.1109/DSN.2011.5958252","DOIUrl":"https://doi.org/10.1109/DSN.2011.5958252","url":null,"abstract":"Virtualization offers the potential for cost-effective service provisioning. For service providers who make significant investments in new virtualized data centers in support of private or public clouds, one of the serious challenges is the problem of recovering costs for new server hardware, software, network, storage, management, etc. Gaining visibility and accurately determining the cost of shared resources used by collocated services is essential for implementing a proper chargeback approach in cloud environments. We introduce and compare three different models for apportioning cost and champion the one that is least sensitive to workload placement decisions and provides the most robust and repeatable cost estimates. A detailed study involving 312 workloads from an HP customer environment demonstrates the result. Finally, we employ the cost model in a case study that evaluates the impact on the cost of exploiting different virtualization platform alternatives for the 312 workloads. For example, some workloads may cost more to host using certain virtualization platforms than on others or on standalone hosts. We demonstrate different decision points with potential cost savings of nearly 20% by “right-virtualizing” the workloads.","PeriodicalId":233608,"journal":{"name":"2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124715476","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}

引用次数: 40

Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM) 关于主动故障避免、恢复和维护(PFARM)的第三次研讨会

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) Pub Date : 2011-06-01 DOI: 10.1109/DSN.2011.5958234

M. Malek, Felix Salfner, Kishor S. Trivedi

引用次数: 0

Coerced Cache Eviction and discreet mode journaling: Dealing with misbehaving disks 强制缓存退出和谨慎模式日志记录:处理行为不端的磁盘

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) Pub Date : 2011-06-01 DOI: 10.1109/DSN.2011.5958264

Abhishek Rajimwale, Vijay Chidambaram, Deepak Ramamurthi, A. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau

引用次数: 15

Seventh workshop on hot topics in system dependability (HotDep'11) 第七届系统可靠性热点专题研讨会(HotDep'11)

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) Pub Date : 1900-01-01 DOI: 10.1109/DSNW.2011.5958806

Andreas Haeberlen, Mootaz Elnozahy

{"title":"Seventh workshop on hot topics in system dependability (HotDep'11)","authors":"Andreas Haeberlen, Mootaz Elnozahy","doi":"10.1109/DSNW.2011.5958806","DOIUrl":"https://doi.org/10.1109/DSNW.2011.5958806","url":null,"abstract":"We are pleased to present to the community the proceedings of HotDep'11, the seventh instance of the HotDep workshop series. The goals of HotDep are to bring forth cutting-edge research ideas spanning the various domains of dependable systems, and to build linkages between two communities with active interest in dependability research, namely researchers who attend traditional dependability conferences such as DSN and ISSRE, and those who attend mainstream systems conferences such as SOSP, OSDI, and EuroSys. To achieve these goals, the workshop has been alternating between a dependability conference in odd years and a systems conference in even years. This year, we have kept the tradition of previous meetings by selecting a program committee with a mix of researchers from both communities: • Lorenzo Alvisi, University of Texas at Austin • Remzi Arpaci-Dusseau, University of Wisconsin, Madison • Byung-Gon Chun, Intel Labs Berkeley • Arun Iyengar, IBM Research • Mohamed Kaâniche, LAAS-CNRS • Daniel Mossé, University of Pittsburgh • Priya Narasimhan, Intel Labs/Carnegie Mellon University • James Plank, University of Tennessee • André Schiper, EPFL • Alexander Shraer, Yahoo! Research • Atul Singh, NEC Labs, Princeton • Marco Vieira, University of Coimbra • Lidong Zhou, Microsoft Research Asia, Beijing","PeriodicalId":233608,"journal":{"name":"2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117138744","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}

引用次数: 0

Introduction to the fifth workshop on dependable and secure nanocomputing 关于可靠和安全纳米计算的第五次研讨会简介

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) Pub Date : 1900-01-01 DOI: 10.1109/DSNW.2011.5958832

J. Arlat, C. Constantinescu, J. Karlsson, T. Nanya, Alan Wood

{"title":"Introduction to the fifth workshop on dependable and secure nanocomputing","authors":"J. Arlat, C. Constantinescu, J. Karlsson, T. Nanya, Alan Wood","doi":"10.1109/DSNW.2011.5958832","DOIUrl":"https://doi.org/10.1109/DSNW.2011.5958832","url":null,"abstract":"Nanocomputing and related-enabling technologies hold the promise of higher performance and lower power consumption, as well as increased communication capabilities and functionality. In addition to the impact on today computerized systems, nanocomputing is an essential lever to foster the emerging cyberphysical system paradigm. However, the dependability and security of these unprecedentedly small devices, of their deployment, and of their interconnection remain uncertain. The main sources of concern are: • Nanometer devices are expected to be highly sensitive to process variations. The guard-bands used today for avoiding the impact of such variations will not represent a feasible solution in the future. As a consequence, timing errors and their higher frequency of occurrence have to be addressed. • New and intricate failure modes, specific to new materials, are expected to raise serious challenges to the design and test engineers. • Environment induced errors, such as single event upsets (SEU), are likely to occur more frequently than in the case of more conventional semiconductor devices. • Design of hardware architectures encompassing resilience techniques are needed to achieve the development of highly reliable energy efficient systems. • The increased complexity of the systems based on nanotechnology will require improved computer aided design (CAD) tools, as well as better validation techniques. • The security of nanocomputing systems may be threatened by malicious attacks targeting new vulnerable areas in the hardware.","PeriodicalId":233608,"journal":{"name":"2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116608481","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}

引用次数: 0

5th Workshop on Recent Advances in Intrusion-Tolerant Systems WRAITS 2011 第五届入侵容忍系统最新进展研讨会，2011

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) Pub Date : 1900-01-01 DOI: 10.1109/DSN.2011.5958237

A. Bessani, P. Pal

引用次数: 0

WOSD 2011 the first international workshop on open systems dependability WOSD 2011第一个开放系统可靠性国际研讨会

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) Pub Date : 1900-01-01 DOI: 10.1109/DSN.2011.5958236

M. Tokoro, K. Kanoun, Kimio Kuramitsu, J. Fabre

引用次数: 0