Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
156 | Shing-Tsaan Huang, Su-Shen Hung |
Self-Stabilizing Token Circulation on Uniform Trees by Using Edge-Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-Stabilizing Systems ![In: Self-Stabilizing Systems, 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings, pp. 92-101, 2003, Springer, 3-540-40453-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Edge token, self-stabilization, mutual exclusion, token-circulation |
133 | Colette Johnen |
Bounded Service Time and Memory Space Optimal Self-Stabilizing Token Circulation Protocol on Unidirectional Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
anonymous ring, self-stabilization, mutual exclusion, distributed protocol, token circulation, service time, unfair schedule |
114 | Colette Johnen |
Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 80-, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
anonymous ring, fault-tolerant, self-stabilization, mutual exclusion, distributed protocol, token circulation, service time, unfair scheduler |
107 | Hirotsugu Kakugawa, Masafumi Yamashita |
A Dynamic Reconfiguration Tolerant Self-stabilizing Token Circulation Algorithm in Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, pp. 256-266, 2004, Springer, 3-540-27324-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ad-hoc network, self-stabilization, spanning tree, token circulation |
103 | Shing-Tsaan Huang, Lih-Chyau Wuu |
Self-Stabilizing Token Circulation in Uniform Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 10(4), pp. 181-187, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Uniform networks, Fault tolerance, Self-stabilization, Spanning trees, Token circulation |
99 | Franck Petit, Vincent Villain |
Color Optimal Self-Stabilizing Depth-First Token Circulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1997 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '97), 18-20 December 1997, Taipei, Taiwan, pp. 317-323, 1997, IEEE Computer Society, 0-8186-8259-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed systems, self-stabilization, mutual-exclusion, spanning trees, token circulation |
95 | Satoshi Ikeda, Izumi Kubo, Norihiro Okumoto, Masafumi Yamashita |
Fair Circulation of a Token. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(4), pp. 367-372, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed systems, random walk, self-stabilizing systems, token circulation, cover time |
88 | Navneet Malpani, Yu Chen 0017, Nitin H. Vaidya, Jennifer L. Welch |
Distributed Token Circulation in Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 4(2), pp. 154-165, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
distributed system, Mobile ad hoc networks, token circulation |
84 | Thibault Bernard, Alain Bui, Olivier Flauzac |
Topological Adaptability for the Distributed Token Circulation Paradigm in Faulty Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, Second InternationalSymposium, ISPA 2004, Hong Kong, China, December 13-15, 2004, Proceedings, pp. 146-155, 2004, Springer, 3-540-24128-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
68 | Thibault Bernard, Alain Bui, Devan Sohier |
Token Loss Detection for Random Walk based Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 351-356, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
61 | Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain |
Self-stabilizing depth-first token circulation in arbitrary rooted networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 13(4), pp. 207-218, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Self-stabilization, Spanning tree, Distributed mutual exclusion, Token passing |
53 | Jianan Li, Ichiro Suzuki, Masafumi Yamashita |
A New Structural Induction Theorem for Rings of Temporal Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(2), pp. 115-126, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
structural induction theorem, temporal Petri nets, identical components, temporal logic formula, similar behavior, demand-driven token circulation, Petri nets, formal verification, formal verification, temporal logic, correctness, temporal reasoning, rings |
53 | Franck Petit |
Fast Self-Stabilizing Depth-First Token Circulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 200-215, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Laurent Rosaz |
Self-stabilizing token circulation on asynchronous uniform unidirectional rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA., pp. 249-258, 2000, ACM, 1-58113-183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Kyung Chang Lee, Suk Lee, Man Hyung Lee |
QoS-based remote control of networked control systems via Profibus token passing protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 1(3), pp. 183-191, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | You-Chiun Wang, Fu-Chun Chang |
Efficient token circulation strategies against misers in device-to-device relay using token-based incentive mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Commun. ![In: IET Commun. 16(6), pp. 710-724, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Yu Chen 0017, Jennifer L. Welch |
Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIAL-M ![In: Proceedings of the 6th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2002), Atlanta, Georgia, USA, September 28-28, 2002, pp. 34-42, 2002, ACM, 1-58113-587-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fault tolerance, mobile ad hoc networks, self-stabilization, mutual exclusion, token circulation |
34 | Yoshiaki Nonaka, Hirotaka Ono 0001, Kunihiko Sadakane, Masafumi Yamashita |
How to Design a Linear Cover Time Random Walk on a Finite Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGA ![In: Stochastic Algorithms: Foundations and Applications, 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings, pp. 104-116, 2009, Springer, 978-3-642-04943-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | You-Chiun Wang, Kingjade Yu |
Adaptive Token Circulation to Avoid Malicious UEs Hoarding Tokens and Assure D2D Relay Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCWC ![In: 13th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2023, Las Vegas, NV, USA, March 8-11, 2023, pp. 306-312, 2023, IEEE, 979-8-3503-3286-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Hirotsugu Kakugawa, Sayaka Kamei, Yoshiaki Katayama |
A self-stabilizing token circulation with graceful handover on bidirectional ring networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Comput. ![In: Int. J. Netw. Comput. 12(1), pp. 103-130, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
27 | Hirotsugu Kakugawa, Sayaka Kamei |
A self-stabilizing token circulation with graceful handover on bidirectional ring networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2021, Portland, OR, USA, June 17-21, 2021, pp. 596-604, 2021, IEEE, 978-1-6654-3577-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Eyüp Emre Ülkü, Ilayda Ulku |
Optimization of Multi-token Circulation with Master UAV Method in Multi-UAV Systems for Location Information Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUFN ![In: Eleventh International Conference on Ubiquitous and Future Networks, ICUFN 2019, Zagreb, Croatia, July 2-5, 2019, pp. 289-294, 2019, IEEE, 978-1-7281-1340-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Yihua Ding, James Z. Wang 0002, Pradip K. Srimani |
Self-Stabilizing Topology Computation (Identification) of Cactus Graphs Using Master Slave Token Circulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WI ![In: 2019 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2019, Thessaloniki, Greece, October 14-17, 2019, pp. 308-311, 2019, ACM, 978-1-4503-6934-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Adrian Kosowski, Przemyslaw Uznanski |
Ergodic Effects in Token Circulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018, New Orleans, LA, USA, January 7-10, 2018, pp. 2668-2682, 2018, SIAM, 978-1-61197-503-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Pradip K. Srimani, James Zijun Wang, Yihua Ding |
Self-Stabilizing Master-Slave Token Circulation in Unoriented Cactus Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WI ![In: 2018 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2018, Santiago, Chile, December 3-6, 2018, pp. 41-48, 2018, IEEE Computer Society, 978-1-5386-7325-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Eyüp Emre Ülkü |
Çoklu jeton dolaşımı ile uçan tasarsız ağlar içerisinde bilgi alışverişi (Information sharing with multi-token circulation in flying ad hoc networks) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
27 | Adrian Kosowski, Przemyslaw Uznanski |
Ergodic Effects in Token Circulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.09145, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Zhiqiang Ma, Achuan Wang, Jifeng Guo |
Implementation of Dijkstra's Token Circulation on Sensor Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCSEE ![In: Intelligent Computation in Big Data Era - International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2015, Harbin, China, January 10-12, 2015. Proceedings, pp. 137-143, 2015, Springer, 978-3-662-46247-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Eyüp Emre Ülkü, Ilker Bekmezci |
Multi token circulation for Multi-UAV systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIU ![In: 2015 23nd Signal Processing and Communications Applications Conference (SIU), Malatya, Turkey, May 16-19, 2015, pp. 1042-1045, 2015, IEEE, 978-1-4673-7386-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Analysis of Distributed Token Circulation Algorithm with Faulty Random Number Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 24(1), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Yihua Ding, James Zijun Wang, Pradip K. Srimani |
Self-Stabilizing Master-Slave Token Circulation Algorithm in Undirected Rings and Unicyclic Graphs of Arbitrary Size and Their Orientations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Comput. ![In: Int. J. Netw. Comput. 4(1), pp. 42-52, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
27 | Jun Li 0006, Yifeng Zhou, Louise Lamont, Mathieu Deziel |
A token circulation scheme for code assignment and cooperative transmission scheduling in CDMA-based UAV ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 19(6), pp. 1469-1484, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Yihua Ding, James Zijun Wang, Pradip K. Srimani |
Self-Stabilizing Master-Slave Token Circulation Algorithm in an Undirected Ring of Arbitrary Size and Its Orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum, Cambridge, MA, USA, May 20-24, 2013, pp. 659-666, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Wayne Goddard, Pradip K. Srimani |
Self-Stabilizing Master-Slave Token Circulation and Efficient Size-Computation in a Unidirectional Ring of Arbitrary Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 23(4), pp. 763-778, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Wayne Goddard, Pradip K. Srimani |
Self-Stabilizing Master-Slave Token Circulation and Efficient Topology Computation in a Tree of Arbitrary Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings, pp. 618-625, 2011, IEEE, 978-1-61284-425-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Wayne Goddard, Pradip K. Srimani |
Self-stabilizing master-slave token circulation and efficient size-computation in a unidirectional ring of arbitrary size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 24th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Workshop Proceedings, pp. 1-8, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Franck Petit, Vincent Villain |
Optimal snap-stabilizing depth-first token circulation in tree networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 67(1), pp. 1-12, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Alain Bui, Devan Sohier |
On Time Analysis of Random Walk Based Token Circulation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSADS ![In: Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers, pp. 63-71, 2005, Springer, 3-540-28063-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Gheorghe Antonoiu, Pradip K. Srimani |
Self-stabilizing depth-first multi-token circulation in tree networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Algorithms Appl. ![In: Parallel Algorithms Appl. 16(1), pp. 17-35, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Navneet Malpani, Nitin H. Vaidya, Jennifer L. Welch |
Distributed Token Circulation on Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 9th International Conference on Network Protocols (ICNP 2001), 11-14 November 2001, Riverside, CA, USA, pp. 4-13, 2001, IEEE Computer Society, 0-7695-1429-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Franck Petit, Vincent Villain |
Self-stabilizing Depth-first Token Circulation in Asynchronous Message-passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 19(5), pp. 391-415, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
27 | Franck Petit, Vincent Villain |
Time and Space Optimality of Distributed Depth-First Token Circulation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAS ![In: Distributed Data & Structures 2, Records of the 2nd International Meeting (WDAS 1999), Princeton, USA, May 10-11, 1999, pp. 91-106, 1999, Carleton Scientific, 1-894145-05-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
27 | Lisa Higham, S. Myers |
SelfStabilizing Token Circulation on Anonymous Message Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Distributed Computing, 2nd International Conference On Principles Of Distributed Systems. OPODIS 98, Amiens, France, December 16-18, 1998, pp. 115-128, 1998, Hermes, 2-86601-737-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
27 | Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain |
Self-stabilizing depth-first token circulation in arbitrary rooted networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIROCCO ![In: SIROCCO'98, 5th International Colloquium on Structural Information & Communication Complexity, Amalfi, Italy, June 22-24, 1998, pp. 229-243, 1998, Carleton Scientific. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
27 | Franck Petit, Vincent Villain |
A Space-Efficient and Self-Stabilizing Depth-First Token Circulation Protocol for Asynchronous Message-Passing Systems (Short Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 476-479, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Franck Petit |
Highly Space-Efficient Self-Stabilizing Depth-First Token Circulation for Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: On Principles Of Distributed Systems, Proceedings of the 1997 International Conference, Chantilly, France, December 10-12, 1997, pp. 221-236, 1997, Hermes, 2-86601-659-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
27 | Shing-Tsaan Huang, Nian-Shing Chen |
Self-Stabilizing Depth-First Token Circulation on Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 7(1), pp. 61-66, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Ray-Guang Cheng, Ruei-I Chang |
Improved Wireless Token Ring Protocol (IWTRP) for Wireless Metropolitan Area Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 65th IEEE Vehicular Technology Conference, VTC Spring 2007, 22-25 April 2007, Dublin, Ireland, pp. 31-35, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Nabil Hasasneh, Ian M. Bell, Chris R. Jesshope |
Scalable and Partitionable Asynchronous Arbiter for Micro-threaded Chip Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS ![In: Architecture of Computing Systems - ARCS 2006, 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings, pp. 252-267, 2006, Springer, 3-540-32765-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Alain Cournier, Stéphane Devismes, Vincent Villain |
Light enabling snap-stabilization of fundamental protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 4(1), pp. 6:1-6:27, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Self- and snap-stabilization, wave protocols, transformer |
19 | Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv |
Self-stabilization preserving compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(6), pp. 22:1-22:42, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Compilers, self-stabilization, abstract state machines |
19 | Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa |
Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 428-442, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Dana Angluin, James Aspnes, Michael J. Fischer, Hong Jiang |
Self-stabilizing population protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 3(4), pp. 13:1-13:28, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sensor networks, Anonymous, fairness, self-stabilization, population protocols, finite-state |
19 | Jun Pang 0001, Zhengqin Luo, Yuxin Deng |
On automatic verification of self-stabilizing population protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(4), pp. 357-367, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model checking, verification, distributed algorithms, population protocols |
19 | Jun Pang 0001, Zhengqin Luo, Yuxin Deng |
On Automatic Verification of Self-Stabilizing Population Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China, pp. 185-192, 2008, IEEE Computer Society, 978-0-7695-3249-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Formal verification, Spin, Population protocols |
19 | Joffroy Beauquier, Maria Gradinariu, Colette Johnen |
Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(1), pp. 75-93, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Scheduler, Self-stabilization, Leader election, Randomized protocol, Protocol composition |
19 | Danny Dolev, Ezra N. Hoch |
On Self-stabilizing Synchronous Actions Despite Byzantine Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, pp. 193-207, 2007, Springer, 978-3-540-75141-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jun Kiniwa, Kensaku Kikuta |
Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 580-581, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv |
Self-stabilization Preserving Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-Stabilizing Systems ![In: Self-Stabilizing Systems, 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005, Proceedings, pp. 81-95, 2005, Springer, 3-540-29814-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Shlomi Dolev, Elad Schiller |
Self-stabilizing group communication in directed networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 40(9), pp. 609-636, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Self-stabilization, Group communication, Directed networks |
19 | Romain Mellier, Jean Frédéric Myoupo, Vlady Ravelomanana |
A Non-Token-Based-Distributed Mutual Exclusion Algorithm for Single-Hop Mobile Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWCN ![In: Mobile and Wireless Communication Networks, IFIP TC6 / WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France, pp. 287-298, 2004, Kluwer/Springer, 0-387-23148-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Ad Hoc Mobile Networks, Wireless Networks, Mutual Exclusion |
19 | Shlomi Dolev, Elad Schiller |
Self-Stabilizing Group Communication in Directed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-Stabilizing Systems ![In: Self-Stabilizing Systems, 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings, pp. 61-76, 2003, Springer, 3-540-40453-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Group Communication and Directed Networks, Self-Stabilization |
19 | Augusto Ciuffoletti |
Self-stabilization - beyond the token ring circulation (brief announcement). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA., pp. 333, 2000, ACM, 1-58113-183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|