Search results for "DSN"

Hits ?▲	Authors	Title	Venue	Year	Link
37	David J. Palframan, Nam Sung Kim, Mikko H. Lipasti	Mitigating random variation with spare RIBs: Redundant intermediate bitslices.	DSN	2012	DBLP DOI BibTeX RDF
37	Joseph Sloan, Rakesh Kumar 0002, Greg Bronevetsky	Algorithmic approaches to low overhead fault detection for sparse linear algebra.	DSN	2012	DBLP DOI BibTeX RDF
37	Miguel A. Erazo, Ting Li 0024, Jason Liu 0001, Stephan J. Eidenbenz	Toward comprehensive and accurate simulation performance prediction of parallel file systems.	DSN	2012	DBLP DOI BibTeX RDF
37	Soila Kavulya, Scott Daniels, Kaustubh R. Joshi, Matti A. Hiltunen, Rajeev Gandhi, Priya Narasimhan	Draco: Statistical diagnosis of chronic problems in large distributed systems.	DSN	2012	DBLP DOI BibTeX RDF
37	Robert Cain, Aad P. A. van Moorsel	Optimization of data collection strategies for model-based evaluation and decision-making.	DSN	2012	DBLP DOI BibTeX RDF
37	Jiesheng Wei, Karthik Pattabiraman	BLOCKWATCH: Leveraging similarity in parallel programs for error detection.	DSN	2012	DBLP DOI BibTeX RDF
37	Saman A. Zonouz, Amir Houmansadr, Parisa Haghani	EliMet: Security metric elicitation in power grid critical infrastructures by observing system administrators' responsive behavior.	DSN	2012	DBLP DOI BibTeX RDF
37	Jesus Friginal, Juan-Carlos Ruiz-Garcia, David de Andrés, Antonio Bustos	Mitigating the impact of ambient noise on Wireless Mesh Networks using adaptive link-quality-based packet replication.	DSN	2012	DBLP DOI BibTeX RDF
37	Daniele Sciascia, Fernando Pedone, Flavio Junqueira	Scalable deferred update replication.	DSN	2012	DBLP DOI BibTeX RDF
37	Hajime Fujita 0002, Yutaka Matsuno, Toshihiro Hanawa, Mitsuhisa Sato, Shinpei Kato, Yutaka Ishikawa	DS-Bench Toolset: Tools for dependability benchmarking with simulation and assurance.	DSN	2012	DBLP DOI BibTeX RDF
37	Siva Kumar Sastry Hari, Sarita V. Adve, Helia Naeimi	Low-cost program-level detectors for reducing silent data corruptions.	DSN	2012	DBLP DOI BibTeX RDF
37	Arpan Roy, Dong Seong Kim 0001, Kishor S. Trivedi	Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees.	DSN	2012	DBLP DOI BibTeX RDF
37	Jiang Wang 0008, Kun Sun 0001, Angelos Stavrou	A dependability analysis of hardware-assisted polling integrity checking systems.	DSN	2012	DBLP DOI BibTeX RDF
37	Jie Chen 0020, Guru Venkataramani, H. Howie Huang	RePRAM: Re-cycling PRAM faulty blocks for extended lifetime.	DSN	2012	DBLP DOI BibTeX RDF
37	Daniel Y. Deng, G. Edward Suh	High-performance parallel accelerator for flexible and efficient run-time monitoring.	DSN	2012	DBLP DOI BibTeX RDF
37	Massimiliano Albanese, Sushil Jajodia, Steven Noel	Time-efficient and cost-effective network hardening using attack graphs.	DSN	2012	DBLP DOI BibTeX RDF
37	Peter Buchholz 0001	Finite horizon analysis of infinite CTMDPs.	DSN	2012	DBLP DOI BibTeX RDF
37	Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia	A new symbolic approach for network reliability analysis.	DSN	2012	DBLP DOI BibTeX RDF
37	George Amvrosiadis, Alina Oprea, Bianca Schroeder	Practical scrubbing: Getting to the bad sector at the right time.	DSN	2012	DBLP DOI BibTeX RDF
37	Collin Mulliner, Steffen Liebergeld, Matthias Lange, Jean-Pierre Seifert	Taming Mr Hayes: Mitigating signaling based attacks on smartphones.	DSN	2012	DBLP DOI BibTeX RDF
37	Catello Di Martino, Marcello Cinque, Domenico Cotroneo	Assessing time coalescence techniques for the analysis of supercomputer logs.	DSN	2012	DBLP DOI BibTeX RDF
37		Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011	DSN	2011	DBLP BibTeX RDF
37	Min Lee, A. S. Krishnakumar, Parameshwaran Krishnan, Navjot Singh 0001, Shalini Yajnik	Hypervisor-assisted application checkpointing in virtualized environments.	DSN	2011	DBLP DOI BibTeX RDF
37	Shuchang Shan, Yu Hu 0001, Xiaowei Li 0001	Transparent dynamic binding with fault-tolerant cache coherence protocol for chip multiprocessors.	DSN	2011	DBLP DOI BibTeX RDF
37	Srinivas Krishnan, Fabian Monrose	An empirical study of the performance, security and privacy implications of domain name prefetching.	DSN	2011	DBLP DOI BibTeX RDF
37	Wenhua Wang, Yu Lei 0001, Donggang Liu, David Chenho Kung, Christoph Csallner, Dazhi Zhang, Raghu Kacker, Rick Kuhn	A combinatorial approach to detecting buffer overflow vulnerabilities.	DSN	2011	DBLP DOI BibTeX RDF
37	Abhishek Rajimwale, Vijay Chidambaram, Deepak Ramamurthi, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau	Coerced Cache Eviction and discreet mode journaling: Dealing with misbehaving disks.	DSN	2011	DBLP DOI BibTeX RDF
37	Sheila Becker, Jeff Seibert, David Zage, Cristina Nita-Rotaru, Radu State	Applying game theory to analyze attacks and defenses in virtual coordinate systems.	DSN	2011	DBLP DOI BibTeX RDF
37	Miroslaw Malek, Felix Salfner, Kishor S. Trivedi	Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM).	DSN	2011	DBLP DOI BibTeX RDF
37	Xiapu Luo, Peng Zhou 0002, Edmond W. W. Chan, Rocky K. C. Chang, Wenke Lee	A combinatorial approach to network covert communications with applications in Web Leaks.	DSN	2011	DBLP DOI BibTeX RDF
37	Aashish Sharma, Zbigniew Kalbarczyk, James Barlow, Ravishankar K. Iyer	Analysis of security data from a large computing organization.	DSN	2011	DBLP DOI BibTeX RDF
37	Antonio Pecchia, Domenico Cotroneo, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Improving Log-based Field Failure Data Analysis of multi-node computing systems.	DSN	2011	DBLP DOI BibTeX RDF
37	Satya Gautam Vadlamudi, P. P. Chakrabarti 0001, Dipankar Das 0002, Purnendu Sinha	A framework for early stage quality-fault tolerance analysis of embedded control systems.	DSN	2011	DBLP DOI BibTeX RDF
37	Horatiu Jula, Pinar Tözün, George Candea	Communix: A framework for collaborative deadlock immunity.	DSN	2011	DBLP DOI BibTeX RDF
37	Adam J. Oliner, Alex Aiken	Online detection of multi-component interactions in production systems.	DSN	2011	DBLP DOI BibTeX RDF
37	Andreas Haeberlen, Mootaz Elnozahy	Seventh workshop on hot topics in system dependability (HotDep'11).	DSN	2011	DBLP DOI BibTeX RDF
37	Sriram Sankar, Mark Shaw 0001, Kushagra Vaid	Impact of temperature on hard disk drive reliability in large datacenters.	DSN	2011	DBLP DOI BibTeX RDF
37	Péter Bokor, Johannes Kinder, Marco Serafini, Neeraj Suri	Efficient model checking of fault-tolerant distributed protocols.	DSN	2011	DBLP DOI BibTeX RDF
37	Xuefeng Liu 0001, Jiannong Cao 0001, Md. Zakirul Alam Bhuiyan, Steven Lai, Hejun Wu, Guojun Wang 0001	Fault tolerant WSN-based structural health monitoring.	DSN	2011	DBLP DOI BibTeX RDF
37	Bardia Zandian, Murali Annavaram	Cross-layer resilience using wearout aware design flow.	DSN	2011	DBLP DOI BibTeX RDF
37	Edmund L. Wong, Vitaly Shmatikov	Get off my prefix! the need for dynamic, gerontocratic policies in inter-domain routing.	DSN	2011	DBLP DOI BibTeX RDF
37	Lei Jiang 0001, Yu Du, Youtao Zhang, Bruce R. Childers, Jun Yang 0002	LLS: Cooperative integration of wear-leveling and salvaging for PCM main memory.	DSN	2011	DBLP DOI BibTeX RDF
37	Marc Brünink, Martin Süßkraut, Christof Fetzer	Boundless memory allocations for memory safety and high availability.	DSN	2011	DBLP DOI BibTeX RDF
37	Nishant J. George, John C. Lach	Characterization of logical masking and error propagation in combinational circuits and effects on system vulnerability.	DSN	2011	DBLP DOI BibTeX RDF
37	Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro	Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions.	DSN	2011	DBLP DOI BibTeX RDF
37	Vittoria De Nitto Persone, Giuliano Casale, Evgenia Smirni	Approximate analysis of blocking queueing networks with temporal dependence.	DSN	2011	DBLP DOI BibTeX RDF
37	Zoe Sebepou, Kostas Magoutis	CEC: Continuous eventual checkpointing for data stream processing operators.	DSN	2011	DBLP DOI BibTeX RDF
37	Matthew Dobson, Spyros Voulgaris, Maarten van Steen	Merging ultra-low duty cycle networks.	DSN	2011	DBLP DOI BibTeX RDF
37	Chentao Wu, Xubin He, Guanying Wu, Shenggang Wan, Xiaohua Liu, Qiang Cao 0001, Changsheng Xie	HDP code: A Horizontal-Diagonal Parity Code to Optimize I/O load balancing in RAID-6.	DSN	2011	DBLP DOI BibTeX RDF
37	Xin Huang, Fabian Monrose, Michael K. Reiter	Amplifying limited expert input to sanitize large network traces.	DSN	2011	DBLP DOI BibTeX RDF
37	Atanas Filyanov, Jonathan M. McCune, Ahmad-Reza Sadeghi, Marcel Winandy	Uni-directional trusted path: Transaction confirmation on just one device.	DSN	2011	DBLP DOI BibTeX RDF
37	Wangyuan Zhang, Tao Li 0006	Helmet: A resistance drift resilient architecture for multi-level cell phase change memory system.	DSN	2011	DBLP DOI BibTeX RDF
37	Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivière	Deadline-aware scheduling for Software Transactional Memory.	DSN	2011	DBLP DOI BibTeX RDF
37	Daniel Gmach, Jerry Rolia, Ludmila Cherkasova	Resource and virtualization costs up in the cloud: Models and design choices.	DSN	2011	DBLP DOI BibTeX RDF
37	Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang	The First International Workshop on Dependability of Clouds, data centers and Virtual Computing Environments.	DSN	2011	DBLP DOI BibTeX RDF
37	Matthew Leeke, Saima Arif, Arshad Jhumka, Sarabjot Singh Anand	A methodology for the generation of efficient error detection mechanisms.	DSN	2011	DBLP DOI BibTeX RDF
37	Kazuya Yamakita, Hiroshi Yamada, Kenji Kono	Phase-based reboot: Reusing operating system execution phases for cheap reboot-based recovery.	DSN	2011	DBLP DOI BibTeX RDF
37	Edward Condon, Emily Cummins, Zaïna Afoulki, Michel Cukier	How secure are networked office devices?	DSN	2011	DBLP DOI BibTeX RDF
37	Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frederic Tronel	Modeling and evaluating targeted attacks in large scale dynamic systems.	DSN	2011	DBLP DOI BibTeX RDF
37	Marta Z. Kwiatkowska, David Parker 0001, Hongyang Qu 0001	Incremental quantitative verification for Markov decision processes.	DSN	2011	DBLP DOI BibTeX RDF
37	Gabriela Jacques-Silva, Zbigniew Kalbarczyk, Bugra Gedik, Henrique Andrade, Kun-Lung Wu, Ravishankar K. Iyer	Modeling stream processing applications for dependability evaluation.	DSN	2011	DBLP DOI BibTeX RDF
37	Jin Cao, Aiyou Chen, Patrick P. C. Lee	Modeling time correlation in passive network loss tomography.	DSN	2011	DBLP DOI BibTeX RDF
37	Jean Arlat, Cristian Constantinescu, Johan Karlsson, Takashi Nanya, Alan Wood	Introduction to the fifth workshop on dependable and secure nanocomputing.	DSN	2011	DBLP DOI BibTeX RDF
37	Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro	OS diversity for intrusion tolerance: Myth or reality?	DSN	2011	DBLP DOI BibTeX RDF
37	Francesco Longo 0001, Rahul Ghosh, Vijay K. Naik, Kishor S. Trivedi	A scalable availability model for Infrastructure-as-a-Service cloud.	DSN	2011	DBLP DOI BibTeX RDF
37	Marc Brünink, André Schmitt, Thomas Knauth, Martin Süßkraut, Ute Schiffel, Stephan Creutz, Christof Fetzer	Aaron: An adaptable execution environment.	DSN	2011	DBLP DOI BibTeX RDF
37	Silviu Andrica, George Candea	WaRR: A tool for high-fidelity web application record and replay.	DSN	2011	DBLP DOI BibTeX RDF
37	Kyu Hyung Lee, Nick Sumner, Xiangyu Zhang 0001, Patrick Eugster	Unified debugging of distributed systems with Recon.	DSN	2011	DBLP DOI BibTeX RDF
37	Domenico Cotroneo, Vincenzo De Florio	5th international workshop on adaptive and dependable mobile ubiquitous systems ADAMUS 2011.	DSN	2011	DBLP DOI BibTeX RDF
37	Takayuki Osogami, Rudy Raymond	Simple bounds for a transient queue.	DSN	2011	DBLP DOI BibTeX RDF
37	Mario Tokoro, Karama Kanoun, Kimio Kuramitsu, Jean-Charles Fabre	WOSD 2011 the first international workshop on open systems dependability.	DSN	2011	DBLP DOI BibTeX RDF
37	Cuong Manh Pham, Daniel Chen 0001, Zbigniew Kalbarczyk, Ravishankar K. Iyer	CloudVal: A framework for validation of virtualization environment in cloud infrastructure.	DSN	2011	DBLP DOI BibTeX RDF
37	Raul Barbosa, Johan Karlsson, Qiu Yu, Xiaozhen Mao	Toward dependability benchmarking of partitioning operating systems.	DSN	2011	DBLP DOI BibTeX RDF
37	Wyatt Lloyd, Michael J. Freedman	Coercing clients into facilitating failover for object delivery.	DSN	2011	DBLP DOI BibTeX RDF
37	Parisa Jalili Marandi, Marco Primi, Fernando Pedone	High performance state-machine replication.	DSN	2011	DBLP DOI BibTeX RDF
37	Junjie Zhang 0004, Roberto Perdisci, Wenke Lee, Unum Sarfraz, Xiapu Luo	Detecting stealthy P2P botnets using statistical traffic fingerprints.	DSN	2011	DBLP DOI BibTeX RDF
37	Ruben Alexandersson, Johan Karlsson	Fault injection-based assessment of aspect-oriented implementation of fault tolerance.	DSN	2011	DBLP DOI BibTeX RDF
37	Frédéric Massicotte, Yvan Labiche	An analysis of signature overlaps in Intrusion Detection Systems.	DSN	2011	DBLP DOI BibTeX RDF
37	Alysson Neves Bessani, Partha P. Pal	5th Workshop on Recent Advances in Intrusion-Tolerant Systems WRAITS 2011.	DSN	2011	DBLP DOI BibTeX RDF
37	Sunghun Kim 0001, Thomas Zimmermann 0001, Nachiappan Nagappan	Crash graphs: An aggregated view of multiple crashes to improve crash triage.	DSN	2011	DBLP DOI BibTeX RDF
37	Flavio Paiva Junqueira, Benjamin C. Reed, Marco Serafini	Zab: High-performance broadcast for primary-backup systems.	DSN	2011	DBLP DOI BibTeX RDF
37		Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010	DSN	2010	DBLP BibTeX RDF
37	Silviu Andrica, Horatiu Jula, George Candea	iProve: A scalable technique for consumer-verifiable software guarantees.	DSN	2010	DBLP DOI BibTeX RDF
37	Marco Serafini, Péter Bokor, Dan Dobre, Matthias Majuntke, Neeraj Suri	Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas.	DSN	2010	DBLP DOI BibTeX RDF
37	Tudor Marian, Daniel A. Freedman, Ken Birman, Hakim Weatherspoon	Empirical characterization of uncongested optical lambda networks and 10GbE commodity endpoints.	DSN	2010	DBLP DOI BibTeX RDF
37	Miroslaw Malek, Felix Salfner, Kishor S. Trivedi	Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM).	DSN	2010	DBLP DOI BibTeX RDF
37	Jayanand Asok Kumar, Shobha Vasudevan	Statistical guarantees of performance for MIMO designs.	DSN	2010	DBLP DOI BibTeX RDF
37	Jingyu Zhou, Caijie Zhang, Hong Tang 0004, Jiesheng Wu, Tao Yang 0009	Programming support and adaptive checkpointing for high-throughput data services with log-based recovery.	DSN	2010	DBLP DOI BibTeX RDF
37	Ke Gao, Cherita L. Corbett, Raheem A. Beyah	A passive approach to wireless device fingerprinting.	DSN	2010	DBLP DOI BibTeX RDF
37	Parisa Jalili Marandi, Marco Primi, Nicolas Schiper, Fernando Pedone	Ring Paxos: A high-throughput atomic broadcast protocol.	DSN	2010	DBLP DOI BibTeX RDF
37	Mayra Sacanamboy, Bojan Cukic	Combined performance and risk analysis for border management applications.	DSN	2010	DBLP DOI BibTeX RDF
37	Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson	Energy-efficient fault tolerance in chip multiprocessors using Critical Value Forwarding.	DSN	2010	DBLP DOI BibTeX RDF
37	Marc de Kruijf, Shuou Nomura, Karthikeyan Sankaralingam	A unified model for timing speculation: Evaluating the impact of technology scaling, CMOS design style, and fault recovery mechanism.	DSN	2010	DBLP DOI BibTeX RDF
37	Ryan M. Lefever, Vikram S. Adve, William H. Sanders	Diverse Partial Memory Replication.	DSN	2010	DBLP DOI BibTeX RDF
37	Elvio Gilberto Amparore, Susanna Donatelli	Model checking CSLTA with Deterministic and Stochastic Petri Nets.	DSN	2010	DBLP DOI BibTeX RDF
37	Bardia Zandian, Waleed Dweik, Suk Hun Kang, Thomas Punihaole, Murali Annavaram	WearMon: Reliability monitoring using adaptive critical path testing.	DSN	2010	DBLP DOI BibTeX RDF
37	Corrado Leita, Ulrich Bayer, Engin Kirda	Exploiting diverse observation perspectives to get insights on the malware landscape.	DSN	2010	DBLP DOI BibTeX RDF
37	Nazreen Banu, Taisuke Izumi, Koichi Wada 0001	Doubly-expedited one-step Byzantine consensus.	DSN	2010	DBLP DOI BibTeX RDF
37	Dazhi Zhang, Donggang Liu, Yu Lei 0001, David Chenho Kung, Christoph Csallner, Wenhua Wang	Detecting vulnerabilities in C programs using trace-based testing.	DSN	2010	DBLP DOI BibTeX RDF
37	Istemi Ekin Akkus, Ashvin Goel	Data recovery for web applications.	DSN	2010	DBLP DOI BibTeX RDF