Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Jaehong Shim, Kyunghee Choi, Gihyun Jung, Seungkyu Park, HyeonSik Shin, Dongyoon Kim	Priority inversion handling in microkernel-based Real-Time Mike.	RTCSA	1996	DBLP DOI BibTeX RDF	resource management model, microkernel-based, Real-Time Mike, resource locking, job identifier inheritance, priority ceiling inheritance, multiple blocking, client/server communication, real-time systems, deadlock, priority inversion
19	Zi-Tsan Chou, Chiun-Chieh Hsu, Jang-Ping Sheu	Bubblesort star graphs: a new interconnection network.	ICPADS	1996	DBLP DOI BibTeX RDF	bubblesort star graphs, deadlock-free wormhole routing algorithm, dilation two, expansion one, multiple disjoint copies, interconnection network, graph theory, hypercube, multiprocessor interconnection networks, mesh, network routing
19	José Miguel-Alonso, Agustin Arruabarrena, Cruz Izu, Ramón Beivide	Parallel simulation of message routing networks.	PDP	1995	DBLP DOI BibTeX RDF	message routing networks, conservative parallel simulator, realistic model, message routing network, sequential simulator, grain size, lookahead property, parallel programming, message passing, parallel machines, digital simulation, distributed memory systems, parallel simulation, deadlock avoidance, transputers, transputer systems
19	Alexandre Yakovlev, Victor Varshavsky, Vyacheslav Marakhovsky, Alexei L. Semenov	Designing an asynchronous pipeline token ring interface.	ASYNC	1995	DBLP DOI BibTeX RDF	asynchronous pipeline token ring interface, speed-independent interface, reliable communication medium, on-board multicomputer, asynchronous buses, point-to-point interconnections, syntax-driven implementation, channel protocol controller, protocols, fairness, multiprocessor interconnection networks, local area networks, pipeline processing, deadlock-freedom, token networks
19	John Drummond, Michael Wu	A low level analysis of the realtime Mach distributed operating system.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time Mach distributed operating system, low level analysis, real-time operating system software development arena, segmented appraisal, specific element analysis, Rhealstone benchmark, task switch time, preemption time, interrupt latency time, semaphore shuffling time, deadlock breaking time, interprocess communication latency time, conditioned environment, evaluation, real-time systems, distributed processing, software performance evaluation, operating systems (computers), network operating systems, measuring techniques
19	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
19	Ben C. Moszkowski	Compositional reasoning about projected and infinite time.	ICECCS	1995	DBLP DOI BibTeX RDF	multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
19	Teruo Higashino, Gregor von Bochmann	Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	test case derivation, LOTOS expressions, data parameters, automatic analysis method, P-LOTOS expressions, Boolean types, integer linear programming problems, deadlock detection problem, nonexecutable branch detection, nondeterministic behavior detection, simplified Session protocol, formal specification, linear programming, concurrency control, integer programming, specification languages, specification language, comparison, decision procedure, data types, addition, test selection, Presburger arithmetic, subtraction, integer, data values
19	Rajeev Chawla	A distributed mutual exclusion solution derived from real-life examples.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	sychronization, distributed system, deadlock, mutual exclusion, critical section, starvation, information structure
19	Edward A. Lee	Consistency in Dataflow Graphs.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	synchronous dataflow graphs, dataflow graphsemantics, token-flow model, graphtheory, programming languages, deadlock, programming theory, consistency checks, dataflow graphs, dataflow graph
19	Alexander Thomasian, In Kyung Ryu	Performance Analysis of Two-Phase Locking.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	transaction size, lock requests, lock conflict, transaction response time, transaction blocking, simulation, distributed databases, concurrency control, probability, transaction processing, deadlock, system recovery, system performance, two-phase locking, lock contention
19	Laura K. Dillon	Verifying General Safety Properties of Ada Tasking Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs
19	Ryszard Janicki, Maciej Koutny	Optimal simulations, nets and reachability graphs.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	verification, Petri nets, traces, liveness, partial order semantics, reachability graphs, step sequences, state-space generation, deadlock-freeness
19	Jos C. M. Baeten, Jan A. Bergstra	Process Algebra with a Zero Object.	CONCUR	1990	DBLP DOI BibTeX RDF	inaction, deadlock, failure, zero, & Phrases process algebra
19	Israel Cidon	An Efficient Distributed Knot Detection Algorithm.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	memory bits, store communication networks, distributed knot detection algorithm, forward communication networks, clustering, computational complexity, graph theory, distributed processing, messages, links, nodes, deadlock detection, general graphs, transaction systems, cycle detection
19	Mostafa A. Bassiouni	Single-Site and Distributed Optimistic Protocols for Concurrency Control.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	single site protocols, single site networks, lock maintenance, deadlock handling, protocols, distributed databases, distributed databases, concurrency control, computer networks, database management system, system recovery, distributed networks, distributed protocols, time-stamps, performance enhancement, optimistic protocols, synchronization methods
19	Robert C. B. Cooper, K. G. Hamilton	Preserving Abstraction in Concurrent Programming.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	modular programming, abstractinterfaces, CLU, interface abstraction, monitor deadlock, fine-grain locking, parallel programming, data structures, programming languages, concurrent programming, system recovery, high level languages, data abstraction
19	Margaret H. Eich	Graph Directed Locking.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	lock conversion, database flow graph locking, non-two-phase methods, distributed databases, distributed databases, directed graphs, database theory, directed acyclic graph, system recovery, deadlock-free, database concurrency control
19	Bao-Chyuan Jenq, Walter H. Kohler, Donald F. Towsley	A Queueing Network Model for a Distributed Database Testbed System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	distributed database testbed system, transaction workload, transaction recovery protocol, write-ahead logging, centralized two-phase commit, protocols, distributed databases, queueing theory, program testing, system recovery, queueing network model, two-phase locking, commit protocol, distributed deadlock detection, concurrency control protocol
19	Haim Gaifman	Modeling concurrency by partial orders and nonlinear transition systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	pomset, causal precedence, concurrent, computation, process, event, deadlock, partial order, action, state, transition system, automaton, shared resource, dining philosophers, simultaneous
19	Barron C. Housel	Pipelining: A Technique for Implementing Data Restructurers.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	database conversion, pipelining, deadlock, process scheduling, data translation
19	Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II	System Level Concurrency Control for Distributed Database Systems.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	deadly embrace, readers and writers, database, concurrency, integrity, distributed, consistency, transaction, deadlock, lock, rollback, restart
14	Stylianos Georgoulas, Klaus Moessner, Bruce Mcaleer, Rahim Tafazolli	Towards efficient protocol design through protocol profiling and verification of performance and operational metrics.	IWCMC	2010	DBLP DOI BibTeX RDF	protocol profiling, model checking, energy efficiency
14	Maurizio Palesi, Rickard Holsmark, Shashi Kumar, Vincenzo Catania	Application Specific Routing Algorithms for Networks on Chip.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
14	Åshild Grønstad Solheim, Olav Lysne, Tor Skeie	RecTOR: A New and Efficient Method for Dynamic Network Reconfiguration.	Euro-Par	2009	DBLP DOI BibTeX RDF
14	Terrence S. T. Mak, Peter Y. K. Cheung, Wayne Luk, Kai-Pui Lam	A DP-network for optimal dynamic routing in network-on-chip.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	optimal and sub-optimal routing, dynamic programming, network-on-chip, adaptive routing
14	Ricardo Seguel, Rik Eshuis, Paul W. P. J. Grefen	Constructing minimal protocol adaptors for service composition.	WEWST	2009	DBLP DOI BibTeX RDF	cross-organizational processes, protocol adaptor, web services, service composition, service adaptation, process integration
14	Shengyong Wang, Song Foh Chew, Mark A. Lawley	Using Shared-Resource Capacity for Robust Control of Failure-Prone Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
14	Naoki Kobayashi 0001, Davide Sangiorgi	A Hybrid Type System for Lock-Freedom of Mobile Processes.	CAV	2008	DBLP DOI BibTeX RDF
14	Amir Pnueli	Using Abstraction to Verify Arbitrary Temporal Properties.	APSEC	2008	DBLP DOI BibTeX RDF
14	Dave Cunningham, Khilan Gudka, Susan Eisenbach	Keep Off the Grass: Locking the Right Path for Atomicity.	CC	2008	DBLP DOI BibTeX RDF
14	Ahmed Awad 0001, Frank Puhlmann	Structural Detection of Deadlocks in Business Process Models.	BIS	2008	DBLP DOI BibTeX RDF
14	Tjerk Bijlsma, Marco Bekooij, Pierre G. Jansen, Gerard J. M. Smit	Communication between nested loop programs via circular buffers in an embedded multiprocessor system.	SCOPES	2008	DBLP DOI BibTeX RDF
14	Howard Foster	Tool Support for Safety Analysis of Service Composition and Deployment Models.	ICWS	2008	DBLP DOI BibTeX RDF
14	Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur	Deadlocks: From Exhibiting to Healing.	RV	2008	DBLP DOI BibTeX RDF
14	Christian Stahl, Karsten Wolf	Covering Places and Transitions in Open Nets.	BPM	2008	DBLP DOI BibTeX RDF	process modeling and analysis, SOA, Petri nets, operating guidelines
14	Frank Olaf Sem-Jacobsen, Olav Lysne	Fault tolerance with shortest paths in regular and irregular networks.	IPDPS	2008	DBLP DOI BibTeX RDF
14	Reza Moraveji, Hamid Sarbazi-Azad, Arash Tavakkol	The Effect of Network Topology and Channel Labels on the Performance of Label-Based Routing Algorithms.	ICCS (1)	2008	DBLP DOI BibTeX RDF	Label-based routing algorithm, performance evaluation, network of workstation, irregular network
14	Basile Schaeli, Roger D. Hersch	Dynamic testing of flow graph based parallel applications.	PADTAD	2008	DBLP DOI BibTeX RDF
14	Liu Xin, Yin Guisheng, Zhang Ziying	Research on Modeling and Simulation of AUV System Based on CTOPN.	CSSE (5)	2008	DBLP DOI BibTeX RDF
14	Hyunok Oh	Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior.	ISQED	2008	DBLP DOI BibTeX RDF	intermediate ports, t op down design, model of computation, synchronous dataflow, dynamic behavior
14	Mila E. Majster-Cederbaum, Christoph Minnameier	Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.	SOFSEM	2008	DBLP DOI BibTeX RDF
14	Xibo Wang, Fenmei Wang, Ge Yu 0001	Research on Resource Access Control Protocol Based on Layered Scheduling Algorithm.	RAM	2008	DBLP DOI BibTeX RDF
14	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Application of Dijkstra's weakest precondition calculus to Dining Philosophers problem.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF
14	Z. W. Li, H. S. Hu, An R. Wang	Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
14	Samik Basu 0001, Scott A. Smolka	Model checking the Java metalocking algorithm.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	XMC, metalocking, monitor queues, Java, mutual exclusion, synchronized methods
14	John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki	Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.	ASWEC	2007	DBLP DOI BibTeX RDF
14	Stephen F. Siegel	Verifying Parallel Programs with MPI-Spin.	PVM/MPI	2007	DBLP DOI BibTeX RDF
14	Alwyn Goodloe, Carl A. Gunter	Reasoning about Concurrency for Security Tunnels.	CSF	2007	DBLP DOI BibTeX RDF
14	Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan	Reliable and efficient programming abstractions for wireless sensor networks.	PLDI	2007	DBLP DOI BibTeX RDF	wireless sensor networks, energy efficiency, deadlocks, serializability, macroprogramming
14	Jean-Marie Jacquet, Isabelle Linden	Towards a Theory of Refinement in Timed Coordination Languages.	COORDINATION	2007	DBLP DOI BibTeX RDF
14	Milo M. K. Martin, Colin Blundell, E Christopher Lewis	Subtleties of Transactional Memory Atomicity Semantics.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
14	ZhiWu Li 0001, MengChu Zhou	Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
14	Fernando Tricas, Joaquin Ezpeleta	Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
14	Mehdi Hashemzadeh, Nacer Farajzadeh, Abolfazl Toroghi Haghighat	Optimal Detection and Resolution of Distributed Deadlocks in the Generalized Model.	PDP	2006	DBLP DOI BibTeX RDF
14	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
14	Jingde Cheng	Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.	Ada-Europe	2006	DBLP DOI BibTeX RDF
14	Jie Wu 0001, Zhen Jiang	On constructing the minimum orthogonal convex polygon for the fault-tolerant routing in 2-D faulty meshes.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
14	Michihiro Koibuchi, Konosuke Watanabe, Tomohiro Otsuka, Hideharu Amano	Performance Evaluation of Deterministic Routings, Multicasts, and Topologies on RHiNET-2 Cluster.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	RHiNET, performance evaluation, multicast, interconnection networks, topology, PC clusters, Deterministic routing, system area networks
14	Neal K. Bambha, Shuvra S. Bhattacharyya	Joint Application Mapping/Interconnect Synthesis Techniques for Embedded Chip-Scale Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	scheduling, task graphs, interconnect synthesis, Embedded multiprocessors
14	Yanjun Wen, Ji Wang 0001, Zhi-Chang Qi	2/3 Alternating Simulation Between Interface Automata.	ICFEM	2005	DBLP DOI BibTeX RDF
14	Sohini Dasgupta, Alexandre Yakovlev	Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures.	DATE	2005	DBLP DOI BibTeX RDF
14	E. Borzello, Laurence D. Merkle	Multi-agent cooperation using the ant algorithm with variable pheromone placement.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
14	Blaise Genest	Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.	TACAS	2005	DBLP DOI BibTeX RDF
14	Wencai Guo, Yang Yang 0004, Zhengli Zhai	Grid Services Adaptation in a Grid Workflow.	GCC	2005	DBLP DOI BibTeX RDF
14	Stephen F. Siegel	Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives.	VMCAI	2005	DBLP DOI BibTeX RDF
14	Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén	SAT-Solving the Coverability Problem for Petri Nets.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Petri nets, unfoldings, coverability, infinite state systems, partial-order methods
14	Mainak Chaudhuri, Mark A. Heinrich	Exploring Virtual Network Selection Algorithms in DSM Cache Coherence Protocols.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
14	José Carlos Sancho, Antonio Robles, José Duato	An Effective Methodology to Improve the Performance of the Up/Down Routing Algorithm.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
14	Yosuke Sugiyama, Tomoya Enokido, Makoto Takizawa 0001	Moderate Concurrency Control in Distributed Object Systems.	DEXA	2004	DBLP DOI BibTeX RDF
14	Stephen D. Brookes	Retracing the Semantics of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
14	Aurelio Bermúdez, Rafael Casado, Francisco J. Quiles 0001	Distributing InfiniBand Forwarding Tables.	Euro-Par	2004	DBLP DOI BibTeX RDF
14	Jie Wu 0001, Zhen Jiang	On Constructing the Minimum Orthogonal Convex Polygon in 2-D Faulty Meshes.	IPDPS	2004	DBLP DOI BibTeX RDF
14	Huiran Liu, Zhibin Jiang, Richard Y. K. Fung	An extended object-oriented Petri nets for modeling and analysis automated re-entrant manufacturing systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
14	Sheng-Hsuan Hsu, Ching-Chi Hsu, Shun-Shii Lin, Ferng-Ching Lin	A Multi-Channel MAC Protocol Using Maximal Matching for Ad Hoc.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
14	Yaojun Han, Changjun Jiang, Xuemei Luo	A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets.	ISPAN	2004	DBLP DOI BibTeX RDF
14	José Flich, Pedro López 0001, Manuel P. Malumbres, José Duato, Tomas Rokicki	Applying In-Transit Buffers to Boost the Performance of Networks with Source Routing.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Networks of workstations, wormhole switching, irregular topologies, source routing, minimal routing
14	Valentin Puente, José A. Gregorio, Ramón Beivide, Cruz Izu	On the Design of a High-Performance Adaptive Router for CC-NUMA Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	hardware router design, Interconnection networks, shared memory multiprocessors, adaptive routing
14	Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay	Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	IO-traces, IOT-failures, IOT-states, state space condensation, timed automata, labeled transition systems, Composition verification, state space explosion
14	Ajoy Kumar Datta, Rachid Hadid, Vincent Villain	A New Self-Stabilizing k-out-of-l Exclusion Algorithm on Rings.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF	k-out-of-$ell$ exclusion, $ell$-exclusion, Fault-tolerance, self-stabilization, mutual exclusion
14	Shaojie Wang, Sharad Malik	Synthesizing operating system based device drivers in embedded systems.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	embedded system software, operating system based software synthesis, device driver, correct-by-construction
14	Gregor Gößler, Joseph Sifakis	Priority Systems.	FMCO	2003	DBLP DOI BibTeX RDF
14	Elango Ganesan, Dhiraj K. Pradhan	Wormhole routing in de Bruijn networks and hyper-de Bruijn networks.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
14	Ahmad Khonsari, Alireza Farahani, Mohamed Ould-Khaoua	Disha: A Performance Model of a True Fully Adaptive Routing Algorithm in k-Ary n-Cubes.	MASCOTS	2002	DBLP DOI BibTeX RDF
14	Sang-Wook Kim, Wan Choi, Byoung-Ho Kim	Design and Implementation of the Concurrency Control Manager in the Main-Memory DBMS Tachyon.	COMPSAC	2002	DBLP DOI BibTeX RDF	main-memory DBMSs, concurrency control, DBMSs, locking, latching
14	Bassel R. Arafeh	Clustering Algorithm for Scheduling Parallel Programs on NOWs with Synchronization Requirements at the Application Level.	IPDPS	2002	DBLP DOI BibTeX RDF	Clustering, deadlocks, scheduling algorithms, network of Workstations, synchronous communication
14	Dick Mays, Richard J. LeBlanc	The cyclefree methodology: a simple approach to building reliable, robust, real-time systems.	ICSE	2002	DBLP DOI BibTeX RDF
14	Rafael Casado, Aurelio Bermúdez, Francisco J. Quiles 0001, José Duato	Influence of Network Size and Load on the Performance of Reconfiguration Protocols.	NCA	2001	DBLP DOI BibTeX RDF
14	Keijo Heljanko, Ilkka Niemelä	Bounded LTL Model Checking with Stable Models.	LPNMR	2001	DBLP DOI BibTeX RDF
14	Sriram K. Rajamani, Jakob Rehof	A Behavioral Module System for the Pi-Calculus.	SAS	2001	DBLP DOI BibTeX RDF
14	Antti Puhakka	Weakest Congruence Results Concerning "Any-Lock".	TACS	2001	DBLP DOI BibTeX RDF
14	Kazunori Iwata 0001, Shingo Itabashi, Naohiro Ishii	A Protocol for Multi-Threaded Processes with Choice in pi-Calculus.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
14	Markus Jäger 0001	Using Software Agents to Avoid Collisions Among Multiple Robots.	ICTAI	2001	DBLP DOI BibTeX RDF	Cooperating Software Agents, Collision Avoidance among multiple Robots, Area Partitioning Area Coverage, Cooperating Robots
14	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
14	Udo Fritzke Jr., Philippe Ingels	Transactions on Partially Replicated Data Based on Reliable and Atomic Multicasts.	ICDCS	2001	DBLP DOI BibTeX RDF
14	Zixue Cheng, Yutaka Wada, Satoru Hashimoto, Aiguo He, Tongjun Huang	A New Method for Constructing Efficient Local Coteries.	ICOIN	2001	DBLP DOI BibTeX RDF
14	John A. Trono	Comments on "Tagged Semaphores".	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
14	Rafael Casado, Aurelio Bermúdez, Francisco J. Quiles 0001, José L. Sánchez 0002, José Duato	Performance Evaluation of Dynamic Reconfiguration in High-Speed Local Area Networks.	HPCA	2000	DBLP DOI BibTeX RDF
14	Yong Ho Song, Timothy Mark Pinkston	On Message.Dependent Deadlocks in Multiprocessor/Multicomputer Systems.	HiPC	2000	DBLP DOI BibTeX RDF