|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 31 keywords
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 79-94, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
96 | Naoki Kobayashi 0001 |
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, pp. 365-389, 2000, Springer, 3-540-67823-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings, pp. 112-126, 2003, Springer, 3-540-40523-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Ninth International Conference on Application of Concurrency to System Design, ACSD 2009, Augsburg, Germany, 1-3 July 2009, pp. 168-177, 2009, IEEE Computer Society, 978-0-7695-3697-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(3), pp. 193-211, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 45, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(1), pp. 91-123, 1995. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems, pp. 152-171, 2009, Springer, 978-3-642-00898-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Alex P. Klinkhamer, Ali Ebnenasir |
On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 20(3), pp. 16:1-16:36, 2019. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 9(3), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Alex P. Klinkhamer, Ali Ebnenasir |
Verifying Livelock Freedom on Parameterized Rings and Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 163-177, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
37 | Christian Stahl, Karsten Wolf |
An Approach to Tackle Livelock-Freedom in SOA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWPN ![In: 15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings, pp. 69-74, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
29 | Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh |
Model checking transactional memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 372-382, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 67-78, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 140-156, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 176-195, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Madanlal Musuvathi, Shaz Qadeer |
Fair stateless model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 362-371, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 227-230, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Naoki Kobayashi 0001 |
Type-based information flow analysis for the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 42(4-5), pp. 291-347, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Huaxi Gu, Zengji Liu, Jungang Yang, Zhiliang Qiu, Guochang Kang |
Building a Terabit Router with XD Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings, pp. 520-528, 2005, Springer, 3-540-29643-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Suresh Chalasani, Rajendra V. Boppana |
Fault-Tolerance with Multimodule Routers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Second International Symposium on High-Performance Computer Architecture, San Jose, CA, USA, February 3-7, 1996, pp. 201-210, 1996, IEEE Computer Society, 0-8186-7237-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 16th Annual International Symposium on Computer Architecture. Jerusalem, Israel, June 1989, pp. 150-157, 1989, ACM, 0-89791-319-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|