Search results for "livelock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	J. Robin B. Cockett	What Is a Good Process Semantics?	MPC	2006	DBLP DOI BibTeX RDF
14	Jaco Geldenhuys, Henri Hansen	Larger Automata and Less Work for LTL Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF
14	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
14	Lucia Acciai, Michele Boreale	Responsiveness in Process Calculi.	ASIAN	2006	DBLP DOI BibTeX RDF
14	Zoë R. Stephenson, John A. McDermid, Jason Choy	Using Simulation to Validate Style-Specific Architectural Refactoring Patterns.	SEW	2006	DBLP DOI BibTeX RDF
14	Rob J. van Glabbeek, Marc Voorhoeve	Liveness, Fairness and Impossible Futures.	CONCUR	2006	DBLP DOI BibTeX RDF
14	Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu 0029, Jinshan Yu	Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.	APWeb	2006	DBLP DOI BibTeX RDF
14	Ming Li, Qing-An Zeng, Wen-Ben Jone	DyXY: a proximity congestion-aware deadlock-free dynamic routing method for network on chip.	DAC	2006	DBLP DOI BibTeX RDF	network-on-chip, theory, packet routing, queuing
14	Jipeng Zhou	Fault-Tolerant Wormhole Routing with 2 Virtual Channels in Meshes.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	disjoint fault-connected region, fault-tolerant wormhole routing, virtual channel, deadlock freedom
14	Jie Wu 0001, Li Sheng 0001	Deadlock-Free Multicasting in Irregular Networks Using Prefix Routing.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	prefix routing, multicasting, multiprocessor systems, deadlock
14	Naoki Kobayashi 0001	Type-based information flow analysis for the pi-calculus.	Acta Informatica	2005	DBLP DOI BibTeX RDF
14	Yanping Yang, QingPing Tan, Yong Xiao	Verifying web services composition based on hierarchical colored petri nets.	IHIS	2005	DBLP DOI BibTeX RDF	CP-net, web service, verification, composition, transformation
14	Khaled Salah 0001	An Analytical Model for Evaluating Interrupt-Driven System Performance of Gigabit Ethernet Hosts with Finite Buffer.	ISCC	2005	DBLP DOI BibTeX RDF
14	Xinhua Zhang, Peter Loh	A Fault-Tolerant Routing Strategy for Fibonacci-Class Cubes.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
14	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
14	Alessandro Brawerman, Douglas M. Blough, Benny Bing	Securing the download of radio configuration files for software defined radio devices.	Mobility Management & Wireless Access Protocols	2004	DBLP DOI BibTeX RDF	analysis of protocols, radio configuration, security and privacy issues and software
14	Ramesh Vasappanavara, Sasikiran Kandula, Nimmagadda Chalamaiah	Fault Tolerance Studies for Wormhole Routing in Multiconnected Double-Loop Networks.	AACC	2004	DBLP DOI BibTeX RDF
14	Jipeng Zhou, Francis C. M. Lau 0001	Fault-Tolerant Wormhole Routing Algorithm in 2D Meshes Without Virtual Channels.	ISPA	2004	DBLP DOI BibTeX RDF
14	Randal C. Burns	Fastpath Optimizations for Cluster Recovery in Shared-Disk Systems.	SC	2004	DBLP DOI BibTeX RDF
14	Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater	Notations for the Specification and Verification of Composite Web Services.	EDOC	2004	DBLP DOI BibTeX RDF
14	Brad Long, Benjamin W. Long	Formal Specification of Java Concurrency to Assist Software Verification.	IPDPS	2003	DBLP DOI BibTeX RDF
14	Loh Peter, Xinhua Zhang	A Fault-tolerant Routing Strategy for Gaussian Cube Using Gaussian Tree.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
14	Jonghun Park, Tao Yang	A Protocol for Fast Co-Allocation of Shared Web Services.	TES	2003	DBLP DOI BibTeX RDF
14	Jeffrey J. P. Tsai, Eric Y. T. Juan	Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems.	IEEE ICCI	2002	DBLP DOI BibTeX RDF
14	Paola Inverardi, Massimo Tivoli	Automatic Failures-Free Connector Synthesis: An Example.	RISSEF	2002	DBLP DOI BibTeX RDF
14	Moustafa A. Youssef 0001, Arunchandar Vasan 0001, Raymond E. Miller	Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines.	ICNP	2002	DBLP DOI BibTeX RDF
14	Ludek Kucera	Wait-Free Deflection Routing of Long Messages.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	throughput, latency, contention, Deflection routing, fully adaptive routing
14	Peter K. K. Loh, Heiko Schröder, Wen-Jing Hsu	Fault-Tolerant Routing on Complete Josephus Cubes.	ACSAC	2001	DBLP DOI BibTeX RDF
14	Seungjin Park, Jong-Hoon Youn, Bella Bose	Fault-Tolerant Wormhole Routing Algorithms in Meshes in the Presence of Concave Faults.	IPDPS	2000	DBLP DOI BibTeX RDF	concave faults, fault-tolerant, wormhole routing, mesh network, virtual channel
14	Jipeng Zhou, Francis C. M. Lau 0001	Fault-Tolerant Wormhole Routing in 2D Meshes.	ISPAN	2000	DBLP DOI BibTeX RDF
14	Kourosh Gharachorloo, Madhu Sharma, Simon Steely, Stephen Van Doren	Architecture and design of AlphaServer GS320.	ASPLOS	2000	DBLP DOI BibTeX RDF
14	Jerzy Brzezinski, Michal Sajkowski	Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure.	SRDS	2000	DBLP DOI BibTeX RDF
14	Rajendra V. Boppana, Suresh Chalasani	Fault-Tolerant Communication with Partitioned Dimension-Order Routers.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Cray T3D router, dimension-order router, wormhole routing, fault-tolerant routing, message routing, torus networks, multicomputer networks
14	Gerard J. Holzmann	The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited.	SPIN	1999	DBLP DOI BibTeX RDF
14	Hui Shi 0001, Jan Peleska 0001, Michel Kouvaras	Combining Methods for the Analysis of a Fault-Tolerant System.	PRDC	1999	DBLP DOI BibTeX RDF
14	Chris M. N. Tofts, Graham M. Birtwistle	A Denotational Semantics for a Process-Based Simulation Language.	ACM Trans. Model. Comput. Simul.	1998	DBLP DOI BibTeX RDF
14	Fong Pong, Michel Dubois 0001	Verification Techniques for Cache Coherence Protocols.	ACM Comput. Surv.	1997	DBLP DOI BibTeX RDF	state representation and expansion, finite state machine, shared-memory multiprocessors, cache coherence, protocol verification
14	Christopher J. Glass, Lionel M. Ni	Fault-Tolerant Wormhole Routing in Meshes without Virtual Channels.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Wormhole routing, adaptive routing, mesh networks, fault-tolerant routing, dynamic faults
14	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
14	Dimiter R. Avresky, Chris M. Cunningham	Single Source Fault-Tolerant Broadcasting for Two-Dimensional Meshes Without Virtual Channels.	EDCC	1996	DBLP DOI BibTeX RDF
14	Xuemin Lin 0001, Jian Chen	An optimal deadlock resolution algorithm in multidatabase systems.	ICPADS	1996	DBLP DOI BibTeX RDF	global deadlocks, global transactions, distributed databases, concurrency control, transaction processing, transaction processing, multidatabase systems, multidatabase system, deadlock resolution
14	Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.	ISSTA	1996	DBLP DOI BibTeX RDF
14	Paul Mukherjee	System Refinement in VDM-SL.	ICECCS	1996	DBLP DOI BibTeX RDF
14	Hong Liu 0004, Raymond E. Miller	Reachability Problems for Cyclic Protocols.	ICCCN	1995	DBLP DOI BibTeX RDF	Fair Reachability Analysis, Verification, Communication Protocols, Reachability Analysis, State Explosion
14	Rajendra V. Boppana, Suresh Chalasani	Fault-tolerant routing with non-adaptive wormhole algorithms in mesh networks.	SC	1994	DBLP DOI BibTeX RDF	block faults, nonadaptive routing, deadlocks, wormhole routing, mesh networks, fault-tolerant routing, multicomputer networks
14	John Kubiatowicz, David Chaiken, Anant Agarwal	Closing the Window of Vulnerability in Multiphase Memory Transactions.	ASPLOS	1992	DBLP DOI BibTeX RDF
14	Jingde Cheng, Kazuo Ushijima	Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.	Ada-Europe	1991	DBLP DOI BibTeX RDF
14	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
14	Chris R. Jesshope, P. R. Miller, Jay T. Yantchev	High Performance Communications in Processor Networks.	ISCA	1989	DBLP DOI BibTeX RDF
14	Kari-Jouko Räihä, Henry Tirri	Towards a Theory of Online Schedulers.	PODS	1984	DBLP DOI BibTeX RDF