default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th SSS 2013: Osaka, Japan
- Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita:
Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings. Lecture Notes in Computer Science 8255, Springer 2013, ISBN 978-3-319-03088-3 - Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber
:
Transactional Encoding for Tolerating Transient Hardware Errors. 1-16 - Petr Kuznetsov:
Universal Model Simulation: BG and Extended BG as Examples. 17-31 - Veronica Estrada Galiñanes, Pascal Felber:
Helical Entanglement Codes: An Efficient Approach for Designing Robust Distributed Storage Systems. 32-44 - Aravind Natarajan, Lee Savoie, Neeraj Mittal:
Concurrent Wait-Free Red Black Trees. 45-60 - Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre:
Self-stabilizing (f, g)-Alliances with Safe Convergence. 61-73 - Brahim Neggazi, Volker Turau, Mohammed Haddad, Hamamache Kheddouci:
A Self-stabilizing Algorithm for Maximal p-Star Decomposition of General Graphs. 74-85 - Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita:
Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-Interaction. 86-97 - Jeffrey Knockel, George Saad, Jared Saia:
Self-Healing of Byzantine Faults. 98-112 - Ajoy Kumar Datta, Lawrence L. Larmore:
Leader Election and Centers and Medians in Tree Networks. 113-132 - Heger Arfaoui, Pierre Fraigniaud, Andrzej Pelc:
Local Decision and Verification with Bounded-Size Outputs. 133-147 - Narges Fallahi, Borzoo Bonakdarpour:
How Good is Weak-Stabilization? 148-162 - Alex P. Klinkhamer, Ali Ebnenasir:
Verifying Livelock Freedom on Parameterized Rings and Chains. 163-177 - Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain:
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. 178-190 - Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero:
Self-stabilizing Balancing Algorithm for Containment-Based Trees. 191-205 - Xavier Vilaça, Luís E. T. Rodrigues:
On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game. 206-220 - Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil:
Linearizing Peer-to-Peer Systems with Oracles. 221-236 - Danny Dolev, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela:
Synchronous Counting and Computational Algorithm Design. 237-250 - Sayaka Kamei, Tomoko Izumi, Yukiko Yamauchi:
An Asynchronous Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graphs. 251-265 - Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated Addition of Fault-Tolerance under Synchronous Semantics. 266-280 - Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis:
Naming and Counting in Anonymous Unknown Dynamic Networks. 281-295 - Samuel Guilbault, Andrzej Pelc:
Gathering Asynchronous Oblivious Agents with Restricted Vision in an Infinite Line. 296-310 - Giuseppe Antonio Di Luna, Roberto Baldoni, Silvia Bonomi, Ioannis Chatzigiannakis:
Counting the Number of Homonyms in Dynamic Networks. 311-325 - Buddhadeb Sau, Krishnendu Mukhopadhyaya:
Localizability of Wireless Sensor Networks: Beyond Wheel Extension. 326-340 - Colette Johnen:
Memory Efficient Self-Stabilizing k-Independent Dominating Set Construction. 341-343 - Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. 344-347 - Thamer Alsulaiman, Andrew Berns, Sukumar Ghosh:
Low-Communication Self-stabilizing Leader Election in Large Networks. 348-350 - Shlomi Dolev, Omri Liba, Elad Michael Schiller:
Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery. 351-353 - Thomas Petig, Elad Michael Schiller, Philippas Tsigas:
Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External Reference. 354-356 - Fathiyeh Faghih, Borzoo Bonakdarpour:
Zone-Based Synthesis of Strict 2-Phase Fault Recovery. 357-359 - Yoshisato Sakai:
Analyzing Convergence and Reachability of Asynchronous Iterations. 360-362 - Ajoy Kumar Datta, Anissa Lamani, Lawrence L. Larmore, Franck Petit:
Ring Exploration by Oblivious Robots with Vision Limited to 2 or 3. 363-366 - Taisuke Izumi, Hironobu Kanzaki:
Scalable Estimation of Network Average Degree. 367-369 - Ling Zhu, Sandeep S. Kulkarni:
Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. 370-372 - Koichi Ito, Yoshiaki Katayama, Koichi Wada, Naohisa Takahashi:
Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANET. 373-375 - Gerry Siegemund, Volker Turau, Christoph Weyer, Stefan Lohs, Jörg Nolte:
An Agile and Stable Neighborhood Protocol for WSNs. 376-378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
