Search results for "livelocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	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
51	Johann Blieberger, Bernd Burgstaller, Robert Mittermayr	Static Detection of Livelocks in Ada Multitasking Programs.	Ada-Europe	2007	DBLP DOI BibTeX RDF
51	Mark J. Karol, S. Jamaloddin Golestani, David Lee	Prevention of deadlocks and livelocks in lossless backpressured packet networks.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	backpressure, livelock prevention, lossless networks, congestion control, deadlock prevention, bounded delay
51	Jerzy Brzezinski, Michal Sajkowski	Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure.	SRDS	2000	DBLP DOI BibTeX RDF
51	Jingde Cheng, Kazuo Ushijima	Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.	Ada-Europe	1991	DBLP DOI BibTeX RDF
46	David Faragó, Peter H. Schmitt	Improving Non-Progress Cycle Checks.	SPIN	2009	DBLP DOI BibTeX RDF	Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks
46	Antti Valmari, Konsta Karsisto, Manu Setälä	Visualisation of Reduced Abstracted Behaviour as a Design Tool.	PDP	1996	DBLP DOI BibTeX RDF	reduced abstracted behaviour visualisation, software design tool, user-friendly formal method, incorrect actions, simultaneous analysis, communication protocol development, distributed system, formal specification, distributed processing, concurrency control, feedback, transport protocols, deadlocks, data visualisation, program diagnostics, graphical representation, livelocks, graphical display, design errors
46	Leo Yuhsiang Liu, R. K. Shyamasundar	Static Analysis of Real-Time Distributed Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors
35	Khaled El-Fakih, Vadim Trenkaev, Natalia Spitsyna, Nina Yevtushenko 0001	FSM Based Interoperability Testing Methods for Multi Stimuli Model.	TestCom	2004	DBLP DOI BibTeX RDF
33	Gabriel Juhás, Ana Juhásová, Tomás Kovácik	Deadlocks and Livelocks in Resource Constrained Workflow Nets.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
33	Che-Sheng Lin, Gwan-Hwan Hwang	Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs.	TASE	2009	DBLP DOI BibTeX RDF
33	George V. Neville-Neil	Latency and Livelocks.	ACM Queue	2008	DBLP DOI BibTeX RDF
33	Mark J. Karol, S. Jamaloddin Golestani, David Lee	Prevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks.	INFOCOM	2000	DBLP DOI BibTeX RDF
33	Jan Pachl	Livelocks in slotted ring networks.	INFOCOM	1988	DBLP DOI BibTeX RDF
33	Joseph Sifakis	Deadlocks and Livelocks in Transition Systems.	MFCS	1980	DBLP DOI BibTeX RDF
33	Yat-Sang Kwong	On the Absence of Livelocks in Parallel Programs.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
28	Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa	Minimal Sets of Turns for Breaking Cycles in Graphs Modeling Networks.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	turn prohibition, Routing algorithms, deadlocks, wormhole routing, livelocks
28	Helge Löding, Jan Peleska 0001	Timed Moore Automata: Test Data Generation and Model Checking.	ICST	2010	DBLP DOI BibTeX RDF	Timed Moore Automata, model checking, model-based testing, livelocks
17	Daniel Sinnig, Patrice Chalin, Ferhat Khendek	LTS semantics for use case models.	SAC	2009	DBLP DOI BibTeX RDF	LTSs, semantics, requirements, use cases
17	Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard	Progress guarantee for parallel programs via bounded lock-freedom.	PLDI	2009	DBLP DOI BibTeX RDF	bounded lock-freedom, lock-freedom, progress guarantees, model checking, parallel computation
17	Seth H. Pugsley, Manu Awasthi, Niti Madan, Naveen Muralimanohar, Rajeev Balasubramonian	Scalable and reliable communication for hardware transactional memory.	PACT	2008	DBLP DOI BibTeX RDF	algorithms for transaction commit, handling message loss, on-chip network messages, token coherence, reliability, hardware transactional memory
17	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
17	Eric Bodden, Klaus Havelund	Racer: effective race detection using aspectj.	ISSTA	2008	DBLP DOI BibTeX RDF	static analysis, aspect-oriented programming, runtime verification, race detection, semantic pointcuts
17	Wil M. P. van der Aalst	Discovery, Verification and Conformance of Workflows with Cancellation.	ICGT	2008	DBLP DOI BibTeX RDF	Reset Nets, Verification, Petri Nets, Soundness, Process Mining
17	Niels Lohmann	Why Does My Service Have No Partners?.	WS-FM	2008	DBLP DOI BibTeX RDF	partner synthesis, verification, Controllability, diagnosis
17	Jonathan Billington, Bing Han	Modelling and analysing the functional behaviour of TCP's connection management procedures.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	TCP connection management, Termination property, Deadlocks, Coloured Petri Nets, State space analysis
17	Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu 0029	Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.	SAINT	2006	DBLP DOI BibTeX RDF
17	Hagen Völzer	On Conspiracies and Hyperfairness in Distributed Computing.	DISC	2005	DBLP DOI BibTeX RDF
17	Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj	Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems.	WORDS	2005	DBLP DOI BibTeX RDF	dependable software, speci.cation languages, veri.cation, formal analysis, Architectural patterns
17	Willi Geiselmann, Hubert Köpfer, Rainer Steinwandt, Eran Tromer	Improved Routing-Based Linear Algebra for the Number Field Sieve.	ITCC (1)	2005	DBLP DOI BibTeX RDF
17	Jean-Michel Fourneau, David J. Nott	Mixed Routing for ROMEO Optical Burst.	ISCIS	2004	DBLP DOI BibTeX RDF
17	Elzbieta Roszkowska	Recognizing and handling the livelock problem in AGV systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
17	Lin Liu 0003, Jonathan Billington	Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.	MMM	2004	DBLP DOI BibTeX RDF	Multimedia Protocols, Recursive Service Language, Formal Methods, Automata, Coloured Petri Nets
17	Rolf H. Möhring, Ekkehard Köhler, Ewgenij Gawrilow, Björn Stenzel	Conflict-free Real-time AGV Routing.	OR	2004	DBLP DOI BibTeX RDF
17	Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian	A Reflective Middleware Framework for Communication in Dynamic Environments.	OTM	2002	DBLP DOI BibTeX RDF
17	Wil M. P. van der Aalst	Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change.	Inf. Syst. Frontiers	2001	DBLP DOI BibTeX RDF	workflow change, petri nets, workflow management, dynamic change
17	Nima Kaveh, Wolfgang Emmerich	Deadlock detection in distribution object systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	object middleware, model checking, UML, UML, process algebra
17	Antti Puhakka, Antti Valmari	Liveness and Fairness in Process-Algebraic Verification.	CONCUR	2001	DBLP DOI BibTeX RDF
17	Lali Barrière, Pierre Fraigniaud, Lata Narayanan	Robust position-based routing in wireless Ad Hoc networks with unstable transmission ranges.	DIAL-M	2001	DBLP DOI BibTeX RDF	routing, Ad Hoc Networks, wireless networks
17	Juhana Helovuo, Antti Valmari	Checking for CFFD-Preorder with Tester Processes.	TACAS	2000	DBLP DOI BibTeX RDF
17	Antti Puhakka, Antti Valmari	Weakest-Congruence Results for Livelock-Preserving Equivalences.	CONCUR	1999	DBLP DOI BibTeX RDF
17	Patrice Godefroid	VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software.	CAV	1997	DBLP DOI BibTeX RDF
17	Carl I. Birkinshaw, Peter R. Croll	Modelling the client-server behaviour of parallel real-time systems using Petri nets.	HICSS (2)	1995	DBLP DOI BibTeX RDF	client-server behaviour modelling, parallel real-time systems, communication behaviour, potential livelock, client-server behaviour graph, real-time systems, computational complexity, parallel programming, Petri nets, Petri nets, parallel machines, deadlock, client-server systems, hard real-time system, timeliness, communication structure, state explosion problem
17	Antti Valmari	Compositional Analysis with Place-Bordered Subnets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
17	Sudhir Aggarwal, Costas Courcoubetis, Pierre Wolper	Adding Liveness Properties to Coupled Finite-State Machines.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
17	Antti Valmari	Stubborn sets for reduced state space generation.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	analysis of behaviour of nets, system verification
17	Reuven Cohen, Adrian Segall	An Efficient Reliable Ring Protocol.	WDAG	1989	DBLP DOI BibTeX RDF