Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Guillaume Averlant |
Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Zhangjiajie, China, November 18-20, 2015, pp. 189-198, 2015, IEEE Computer Society, 978-1-4673-9376-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Katarina Balac, Mauro Prevostini, Miroslaw Malek |
Optimizing Sensor Nodes Placement for Fault-Tolerant Trilateration-Based Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Zhangjiajie, China, November 18-20, 2015, pp. 109-118, 2015, IEEE Computer Society, 978-1-4673-9376-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Saeideh Alinezhad Chamazcoti, Seyed Ghassem Miremadi |
EA-EO: Endurance Aware Erasure Code for SSD-Based Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 76-85, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Naghmeh Ramezani Ivaki, Filipe Araújo, Fernando J. Barros |
Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 11-20, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy |
From Safety Analyses to Experimental Validation of Automotive Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 125-134, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yihuan Xing, Ford-Long Wong, Akash Kumar 0001 |
Lightweight Bare-Metal Stateful Firewall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 53-58, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivano Irrera, Marco Vieira |
A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 86-95, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ilias Iliadis, Dmitry Sotnikov, Paula Ta-Shma, Vinodh Venkatesan |
Reliability of Geo-replicated Cloud Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 169-179, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patrick J. Graydon, Iain Bate |
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 135-144, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Nogueira, Filipe Araújo, Raul Barbosa |
CloudBFT: Elastic Byzantine Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 180-189, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Diego Kreutz, Alysson Neves Bessani, Eduardo Feitosa, Hugo Cunha |
Towards Secure and Dependable Authentication and Authorization Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 43-52, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu |
Formalizing Google File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 190-191, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi |
Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 161-168, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![IEEE Computer Society, 978-1-4799-6474-1 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Xi Wu 0005, Si Liu 0001, Huibiao Zhu, Yongxin Zhao |
Reasoning about Group-Based Mobility in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 244-253, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen 0001, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders |
Automatic Generation of Security Argument Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 33-42, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Fukumoto, Tomoki Endo, Mamoru Ohara, Masayuki Arai |
Study on Routing Protocol for Structured P2P Network Taking Account of the Nodes Which Behave Like a Byzantine Fault. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 31-32, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
Locating a Faulty Interaction in Pair-wise Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 155-156, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Callenes-Sloan, Hugh McNamara |
Algorithm Selection for Error Resilience in Scientific Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 96-105, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Domitian Tamas-Selicean, Paul Pop |
Optimization of Partitioned Architectures to Support Soft Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 223-224, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura |
FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 145-154, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Toshitaka Koga, Tadashi Dohi, Hiroyuki Okamura |
Optimal Reliability Design for Real-Time Systems with Dynamic Voltage and Frequency Scaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 213-222, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oday Jubran, Oliver E. Theel |
Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 106-115, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel |
Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 203-212, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Kourai, Kousuke Nakamura |
Efficient VM Introspection in KVM and Performance Comparison with Xen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 192-202, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Md. Zakirul Alam Bhuiyan, Guojun Wang 0001 |
Reliable Shortest Paths in Wireless Sensor Networks: Refocusing on Link Failure Scenarios from Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 225-233, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Okamura, Yusuke Kunimoto, Tadashi Dohi |
Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 116-124, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shohei Kotaki, Masato Kitakami |
Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 159-160, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rui Peng, F. R. Shahrzad |
Simulation of Software Fault Detection and Correction Processes Considering Different Skill Levels of Debuggers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 157-158, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kaci Bader, Benjamin Lussier, Walter Schön |
A Fault Tolerant Architecture for Data Fusion Targeting Hardware and Software Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 1-10, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Dittrich, Daniel Solis Herrera, Pablo Coto, Miroslaw Malek |
Responsiveness of Service Discovery in Wireless Mesh Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 234-243, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yasuo Sato, Masafumi Monden, Yousuke Miyake, Seiji Kajihara |
Reduction of NBTI-Induced Degradation on Ring Oscillators in FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 59-67, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris |
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 21-30, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jehan-François Pâris, Thomas J. E. Schwarz, Ahmed Amer, Darrell D. E. Long |
Protecting RAID Arrays against Unexpectedly High Disk Failure Rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014, pp. 68-75, 2014, IEEE Computer Society, 978-1-4799-6474-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Yoshida, Shoichi Saito, Koichi Mouri, Hiroshi Matsuo |
Orthros: A High-Reliability Operating System with Transmigration of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 318-327, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort |
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 152-161, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umme Habiba, Abdul Ghafoor Abbasi, Rahat Masood, Muhammad Awais Shibli |
Assessment Criteria for Cloud Identity Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 188-195, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mamoru Ohara, Masayuki Arai, Satoshi Fukumoto |
A Note on Influence of DC-DC Converter Noise in CAN Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 134-135, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 68-77, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Shi, Kazuhiko Iwasaki |
Classification of DNS Queries for Anomaly Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 130-131, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas J. E. Schwarz, Darrell D. E. Long, Jehan-François Pâris |
Reliability of Disk Arrays with Double Parity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 108-117, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David C. van Moolenbroek, Raja Appuswamy, Andrew S. Tanenbaum |
Transaction-Based Process Crash Recovery of File System Namespace Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 338-347, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuzuru Maya |
Two-Phase Majority Decision Scheme Using Time-Stamps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 122-123, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln |
Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 162-171, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat |
Improving Reliability of Real-Time Systems through Value and Time Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 21-30, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Augusto S. Cunha, Luís Moura Silva |
Prediction of Performance Failures in Video-Streaming Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 283-292, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy |
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 206-215, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Kuwa, Tadashi Dohi, Hiroyuki Okamura |
Generalized Cox Proportional Hazards Regression-Based Software Reliability Modeling with Metrics Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 328-337, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuta Atobe, Youhua Shi, Masao Yanagisawa, Nozomu Togawa |
Secure Scan Design with Dynamically Configurable Connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 256-262, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira |
HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 312-317, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zigor Salvador, Alberto Lafuente, Mikel Larrea |
Mobility-Enabled Publish/Subscribe: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 178-182, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Giuffrida, Anton Kuijsten, Andrew S. Tanenbaum |
EDFI: A Dependable Fault Injection Tool for Dependability Benchmarking Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 31-40, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Saman A. Zonouz, Rui Han, Parisa Haghani |
Sechduler: A Security-Aware Kernel Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 236-245, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Saman A. Zonouz, Ahmad Seyfi, Alejandro Mesa, Gabriel Salles-Loustau |
FloTracker: Log-Free and Instantaneous Host-Based Intrusion Root-Cause Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 246-255, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | P. Balasubramanian 0001, Shigeru Yamashita |
On the Error Resiliency of Combinational Logic Cells - Implications for Nano-based Digital Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 118-119, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni |
Checkpointing Strategies with Prediction Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 1-10, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rakan Maddah, Sangyeun Cho, Rami G. Melhem |
Power of One Bit: Increasing Error Correction Capability with Data Inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 216-225, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki |
Consistency Verification of UML Diagrams Based on Process Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 126-127, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xun Jian 0002, Nathan DeBardeleben, Sean Blanchard, Vilas Sridharan, Rakesh Kumar 0002 |
Analyzing Reliability of Memory Sub-systems with Double-Chipkill Detect/Correct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 88-97, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
Towards Formal Approaches to System Resilience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 41-50, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Tröger, Franz Becker, Felix Salfner |
FuzzTrees - Failure Analysis with Uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 263-272, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Gómez-Calzado, Alberto Lafuente, Mikel Larrea, Michel Raynal |
Fault-Tolerant Leader Election in Mobile Dynamic Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 78-87, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Henning Sahlbach, Rolf Ernst |
Towards a Certifiable Integration of SRAM-Based FPGAs in Safety-Critical Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 303-311, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Naif A. Mokhayesh Alzahrani, Dorina C. Petriu |
Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 142-151, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![IEEE Computer Society, 978-0-7695-5130-2 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Yu-Yuan Lin, Kuo-Feng Ssu, Hau-Yu Chiang, Chun-Hao Yang |
Reducing Communication Delay by Finding Sink Location in Low-Duty-Cycle Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 136-137, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric William Davis Rozier, Saman A. Zonouz, David Redberg |
Dragonfruit: Cloud Provider-Agnostic Trustworthy Cloud Data Storage and Remote Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 172-177, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Meskini, Ali Bou Nassif, Luiz Fernando Capretz |
Reliability Prediction of Smartphone Applications through Failure Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 124-125, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Rezende, Andreas Dittrich, Miroslaw Malek |
User-Perceived Instantaneous Service Availability Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 273-282, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Catia Khouri, Fabíola Greve |
A Generic Consensus Algorithm for Shared Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 60-67, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shohei Kotaki, Masato Kitakami |
A Class of q-Ary Unidirectional Error Correcting Codes for MLC Flash Memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 132-133, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bing Li 0017, Shuchang Shan, Yu Hu 0001, Xiaowei Li 0001 |
Tolerating Noise in MLC PCM with Multi-Bit Error Correction Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 226-231, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chun-Hao Yang, Kuo-Feng Ssu, Yu-Yuan Lin |
A Delay-Awareness Routing Protocol in Intermittently Connected Underwater Acoustic Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 138-139, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hao Xie, Li Chen 0001, Adrian Evans, Shi-Jie Wen, Rick Wong |
Synthesis of Redundant Combinatorial Logic for Selective Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 128-129, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shengfeng Wu, Yue Wu, Shiyi Xu |
Acceleration of Random Testing for Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 51-59, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hoffmann 0001, Christian Dietrich 0001, Daniel Lohmann |
dOSEK: A Dependable RTOS for Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 120-121, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jehan-François Pâris, Darrell D. E. Long, Thomas J. E. Schwarz |
Zero-Maintenance Disk Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 140-141, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jangwoo Kim, Hyunggyun Yang, Mark P. McCartney, Mudit Bhargava, Ken Mai, Babak Falsafi |
Building Fast, Dense, Low-Power Caches Using Erasure-Based Inline Multi-bit ECC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 98-107, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fyodor Yarochkin, Yennun Huang, Yung-Li Hu, Sy-Yen Kuo |
Mining Large Network Reconnaissance Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 183-187, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Boris Motruk, Jonas Diemer, Philip Axer, Rainer Buchty, Mladen Berekovic |
Safe Virtual Interrupts Leveraging Distributed Shared Resources and Core-to-Core Communication on Many-Core Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 293-302, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kushal Seetharam, Lance Ong-Siong Co Ting Keh, Ralph Nathan, Daniel J. Sorin |
Applying Reduced Precision Arithmetic to Detect Errors in Floating Point Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 232-235, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aupy, Anne Benoit, Thomas Hérault, Yves Robert, Frédéric Vivien, Dounia Zaidouni |
On the Combination of Silent Error Detection and Checkpointing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 11-20, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Guan, Song Fu, Nathan DeBardeleben, Sean Blanchard |
Exploring Time and Frequency Domains for Accurate and Automated Anomaly Detection in Cloud Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013, pp. 196-205, 2013, IEEE Computer Society, 978-0-7695-5130-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Guan, Chi-Chen Chiu, Song Fu |
CDA: A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 11-20, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Itsuo Takanami, Tadayoshi Horita |
A Built-in Circuit for Self-Repairing Mesh-Connected Processor Arrays by Direct Spare Replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 96-104, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Kourai, Takuya Nagata |
A Secure Framework for Monitoring Operating Systems Using SPEs in Cell/B.E. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 41-50, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ken Yano, Takanori Hayashida, Toshinori Sato |
Analysis of SER Improvement by Radiation Hardened Latches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 89-95, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuhiro Tsuchiya |
A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 121-126, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno |
Safety Verification of Asynchronous Consensus Algorithms with Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 80-88, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomohiro Yoneda, Masashi Imai, Naoya Onizawa, Atsushi Matsumoto, Takahiro Hanyu |
Multi-chip NoCs for Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 105-110, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy |
Safety Trigger Conditions for Critical Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 61-69, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naghmeh Ramezani Ivaki, Filipe Araújo, Raul Barbosa |
A Middleware for Exactly-Once Semantics in Request-Response Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 31-40, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinobu Higami, Hiroshi Takahashi, Shin-ya Kobayashi, Kewal K. Saluja |
Diagnosis for Bridging Faults on Clock Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 135-144, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Salvador DeCelles, Nagarajan Kandasamy |
Entropy-Based Detection of Incipient Faults in Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 70-79, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Linbo Chen, Jianhui Jiang, Danqing Zhang |
Code Reuse Prevention through Control Flow Lazily Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 51-60, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno |
Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 21-30, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![IEEE Computer Society, 978-1-4673-4849-2 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Masashi Imai, Tomohiro Yoneda |
Performance Modeling and Analysis of On-chip Networks for Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 111-120, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aromhack Saysanasongkham, Masahiko Negishi, Masayuki Arai, Satoshi Fukumoto |
A Dependable Processor by Using Built-in Self Test to Tolerate Periodical Transient Faults under Highly Electromagnetic Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 127-134, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy |
From Design for Adaptation to Component-Based Resilient Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012, pp. 1-10, 2012, IEEE Computer Society, 978-1-4673-4849-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|