Search results for "livelock-freedom"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Stefan Leue, Alin Stefanescu, Wei Wei 0015	A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.	CONCUR	2006	DBLP DOI BibTeX RDF
96	Naoki Kobayashi 0001	Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness.	IFIP TCS	2000	DBLP DOI BibTeX RDF
90	Peter K. K. Loh, Wen-Jing Hsu	Design of a Vialbe Fault-Tolerant Routing Strategy for Optical-Based Grids.	ISPA	2003	DBLP DOI BibTeX RDF	livelock-freedom, wavelength-division multiplexing, Fault-tolerant routing, deadlock-freedom, grid networks
75	Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz	Verifying Deadlock- and Livelock Freedom in an SOA Scenario.	ACSD	2009	DBLP DOI BibTeX RDF	business process composition, livelock freedom, service-oriented architecture, state space reduction
62	Young-Joo Suh, Binh Vien Dao, José Duato, Sudhakar Yalamanchili	Software-Based Rerouting for Fault-Tolerant Pipelined Communication.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	E-cube routing, livelock freedom, fault tolerance, interconnection networks, multiprocessors, adaptive routing, wormhole switching, oblivious routing, deadlock freedom, virtual cut-through switching
54	Mithuna Thottethodi, Alvin R. Lebeck, Shubhendu S. Mukherjee	BLAM : A High-Performance Routing Algorithm for Virtual Cut-Through Networks.	IPDPS	2003	DBLP DOI BibTeX RDF	non-minimal routing, chaotic routing, Multiprocessor interconnection networks, routing algorithm, k-ary n-cubes, virtual cut-through
54	Andrew A. Chien, Jae H. Kim	Planar-Adaptive Routing: Low-Cost Adaptive Networks for Multiprocessors.	J. ACM	1995	DBLP DOI BibTeX RDF	transmission-order preservation, fault tolerance, parallel processing, interconnection networks, adaptive routing, multicomputers, packet routing
43	Karsten Wolf	Does My Service Have Partners?.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
37	Alex P. Klinkhamer, Ali Ebnenasir	On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings.	ACM Trans. Comput. Log.	2019	DBLP DOI BibTeX RDF
37	Joël Ouaknine, Hristina Palikareva, A. W. Roscoe 0001, James Worrell 0001	A Static Analysis Framework for Livelock Freedom in CSP	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
37	Alex P. Klinkhamer, Ali Ebnenasir	Verifying Livelock Freedom on Parameterized Rings and Chains.	SSS	2013	DBLP DOI BibTeX RDF
37	Christian Stahl, Karsten Wolf	An Approach to Tackle Livelock-Freedom in SOA.	AWPN	2008	DBLP BibTeX RDF
29	Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh	Model checking transactional memories.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, transactional memories
19	Luke Dalessandro, Michael F. Spear, Michael L. Scott	NOrec: streamlining STM by abolishing ownership records.	PPoPP	2010	DBLP DOI BibTeX RDF	ownership records, transactional memory models, transactional memory, software transactional memory
19	Rodrigo Ramos, Augusto Sampaio, Alexandre Mota 0001	Systematic Development of Trustworthy Component Systems.	FM	2009	DBLP DOI BibTeX RDF
19	Stefan Leue, Alin Stefanescu, Wei Wei 0015	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.	SPIN	2008	DBLP DOI BibTeX RDF
19	Madanlal Musuvathi, Shaz Qadeer	Fair stateless model checking.	PLDI	2008	DBLP DOI BibTeX RDF	model checking, concurrency, software testing, fairness, multi-threading, liveness, shared-memory programs
19	Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan	Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.	CSSE (2)	2008	DBLP DOI BibTeX RDF
19	Farshad Safaei, Mostafa Rezazad, Ahmad Khonsari, Mahmood Fathy, Mohamed Ould-Khaoua, Nasser Alzeidi	Software-based fault-tolerant routing algorithm in multidimensional networks.	IPDPS	2006	DBLP DOI BibTeX RDF
19	Naoki Kobayashi 0001	Type-based information flow analysis for the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
19	Huaxi Gu, Zengji Liu, Jungang Yang, Zhiliang Qiu, Guochang Kang	Building a Terabit Router with XD Networks.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
19	Suresh Chalasani, Rajendra V. Boppana	Fault-Tolerance with Multimodule Routers.	HPCA	1996	DBLP DOI BibTeX RDF	multimodule routers, fault-tolerance, communication, multicomputers, wormhole switching, deadlock-free routing
19	Chris R. Jesshope, P. R. Miller, Jay T. Yantchev	High Performance Communications in Processor Networks.	ISCA	1989	DBLP DOI BibTeX RDF