Search results for "token-circulation"

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.	Self-Stabilizing Systems	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.	IPDPS	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.	SRDS	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.	OPODIS	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.	Distributed Comput.	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.	ISPAN	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.	IEEE Trans. Parallel Distributed Syst.	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.	IEEE Trans. Mob. Comput.	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.	ISPA	2004	DBLP DOI BibTeX RDF
68	Thibault Bernard, Alain Bui, Devan Sohier	Token Loss Detection for Random Walk based Algorithm.	ISPDC	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.	Distributed Comput.	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.	IEEE Trans. Software Eng.	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.	WSS	2001	DBLP DOI BibTeX RDF
46	Laurent Rosaz	Self-stabilizing token circulation on asynchronous uniform unidirectional rings.	PODC	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.	IEEE Trans. Ind. Informatics	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.	IET Commun.	2022	DBLP DOI BibTeX RDF
34	Yu Chen 0017, Jennifer L. Welch	Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks.	DIAL-M	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.	SAGA	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.	CCWC	2023	DBLP DOI BibTeX RDF
27	Hirotsugu Kakugawa, Sayaka Kamei, Yoshiaki Katayama	A self-stabilizing token circulation with graceful handover on bidirectional ring networks.	Int. J. Netw. Comput.	2022	DBLP BibTeX RDF
27	Hirotsugu Kakugawa, Sayaka Kamei	A self-stabilizing token circulation with graceful handover on bidirectional ring networks.	IPDPS Workshops	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.	ICUFN	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.	WI	2019	DBLP DOI BibTeX RDF
27	Adrian Kosowski, Przemyslaw Uznanski	Ergodic Effects in Token Circulation.	SODA	2018	DBLP DOI BibTeX RDF
27	Pradip K. Srimani, James Zijun Wang, Yihua Ding	Self-Stabilizing Master-Slave Token Circulation in Unoriented Cactus Graphs.	WI	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)		2018	RDF
27	Adrian Kosowski, Przemyslaw Uznanski	Ergodic Effects in Token Circulation.	CoRR	2016	DBLP BibTeX RDF
27	Zhiqiang Ma, Achuan Wang, Jifeng Guo	Implementation of Dijkstra's Token Circulation on Sensor Network.	ICYCSEE	2015	DBLP DOI BibTeX RDF
27	Eyüp Emre Ülkü, Ilker Bekmezci	Multi token circulation for Multi-UAV systems.	SIU	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.	Parallel Process. Lett.	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.	Int. J. Netw. Comput.	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.	Wirel. Networks	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.	IPDPS Workshops	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.	Int. J. Found. Comput. Sci.	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.	IPDPS Workshops	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.	IPDPS Workshops	2010	DBLP DOI BibTeX RDF
27	Franck Petit, Vincent Villain	Optimal snap-stabilizing depth-first token circulation in tree networks.	J. Parallel Distributed Comput.	2007	DBLP DOI BibTeX RDF
27	Alain Bui, Devan Sohier	On Time Analysis of Random Walk Based Token Circulation Algorithms.	ISSADS	2005	DBLP DOI BibTeX RDF
27	Gheorghe Antonoiu, Pradip K. Srimani	Self-stabilizing depth-first multi-token circulation in tree networks.	Parallel Algorithms Appl.	2001	DBLP DOI BibTeX RDF
27	Navneet Malpani, Nitin H. Vaidya, Jennifer L. Welch	Distributed Token Circulation on Mobile Ad Hoc Networks.	ICNP	2001	DBLP DOI BibTeX RDF
27	Franck Petit, Vincent Villain	Self-stabilizing Depth-first Token Circulation in Asynchronous Message-passing Systems.	Comput. Artif. Intell.	2000	DBLP BibTeX RDF
27	Franck Petit, Vincent Villain	Time and Space Optimality of Distributed Depth-First Token Circulation Algorithms.	WDAS	1999	DBLP BibTeX RDF
27	Lisa Higham, S. Myers	SelfStabilizing Token Circulation on Anonymous Message Passing.	OPODIS	1998	DBLP BibTeX RDF
27	Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain	Self-stabilizing depth-first token circulation in arbitrary rooted networks.	SIROCCO	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).	Euro-Par	1997	DBLP DOI BibTeX RDF
27	Franck Petit	Highly Space-Efficient Self-Stabilizing Depth-First Token Circulation for Trees.	OPODIS	1997	DBLP BibTeX RDF
27	Shing-Tsaan Huang, Nian-Shing Chen	Self-Stabilizing Depth-First Token Circulation on Networks.	Distributed Comput.	1993	DBLP DOI BibTeX RDF
27	Ray-Guang Cheng, Ruei-I Chang	Improved Wireless Token Ring Protocol (IWTRP) for Wireless Metropolitan Area Networks.	VTC Spring	2007	DBLP DOI BibTeX RDF
27	Nabil Hasasneh, Ian M. Bell, Chris R. Jesshope	Scalable and Partitionable Asynchronous Arbiter for Micro-threaded Chip Multiprocessors.	ARCS	2006	DBLP DOI BibTeX RDF
19	Alain Cournier, Stéphane Devismes, Vincent Villain	Light enabling snap-stabilization of fundamental protocols.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	Self- and snap-stabilization, wave protocols, transformer
19	Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv	Self-stabilization preserving compiler.	ACM Trans. Program. Lang. Syst.	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.	SSS	2009	DBLP DOI BibTeX RDF
19	Dana Angluin, James Aspnes, Michael J. Fischer, Hong Jiang	Self-stabilizing population protocols.	ACM Trans. Auton. Adapt. Syst.	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.	Frontiers Comput. Sci. China	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.	TASE	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.	Distributed Comput.	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.	DISC	2007	DBLP DOI BibTeX RDF
19	Jun Kiniwa, Kensaku Kikuta	Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm.	SSS	2006	DBLP DOI BibTeX RDF
19	Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv	Self-stabilization Preserving Compiler.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
19	Shlomi Dolev, Elad Schiller	Self-stabilizing group communication in directed networks.	Acta Informatica	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.	MWCN	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.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF	Group Communication and Directed Networks, Self-Stabilization
19	Augusto Ciuffoletti	Self-stabilization - beyond the token ring circulation (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF