Search results for "deadlocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Soojung Lee	Efficient Generalized Deadlock Detection and Resolution in Distributed Systems.	ICDCS	2001	DBLP DOI BibTeX RDF
19	M. Al-ladan	A Survey and a Taxonomy of Approaches for Testing Parallel and Distributed Programs.	AICCSA	2001	DBLP DOI BibTeX RDF
19	Ekkart Kindler, Axel Martens, Wolfgang Reisig	Inter-operability of Workflow Applications: Local Criteria for Global Soundness.	Business Process Management	2000	DBLP DOI BibTeX RDF
19	Olav Lysne, José Duato	Fast Dynamic Reconfiguration in Irregular Networks.	ICPP	2000	DBLP DOI BibTeX RDF
19	Cormac Flanagan, Martín Abadi	Types for Safe Locking.	ESOP	1999	DBLP DOI BibTeX RDF
19	Stavros Tripakis	Verifying Progress in Timed Systems.	ARTS	1999	DBLP DOI BibTeX RDF
19	Nidhi Agrawal, C. P. Ravikumar	Adaptive Routing Based on Deadlock Recovery.	Euro-Par	1998	DBLP DOI BibTeX RDF
19	Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama	Handles and Reachability Analysis of Free Choice Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
19	K. V. Anjan, Timothy Mark Pinkston	DISHA: a deadlock recovery scheme for fully adaptive routing.	IPPS	1995	DBLP DOI BibTeX RDF	DISHA, deadlock recovery scheme, fast routers, performance evaluation, performance, computational complexity, multiprocessor interconnection networks, fully adaptive routing
19	Wuxu Peng	Deadlock Detection in Communicating Finite State Machines by Even Reachability Analysis.	ICCCN	1995	DBLP DOI BibTeX RDF	Communication protocols, reachability analysis, specification and verification
19	P. Krishna Reddy, Subhash Bhalla	Deadlock Prevention in a Distributed Database System.	SIGMOD Rec.	1993	DBLP DOI BibTeX RDF
19	Peter Kemper	Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
19	Greg Findlow	Obtaining Deadlock-Preserving Skeletons for Coloured Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
19	Larry Soulé, Anoop Gupta	An Evaluation of the Chandy-Misra-Bryant Algorithm for Digital Logic Simulation.	ACM Trans. Model. Comput. Simul.	1991	DBLP DOI BibTeX RDF	MIPS R6000
19	In Kyung Ryu, Alexander Thomasian	Analysis of Database Performance with Dynamic Locking	J. ACM	1990	DBLP DOI BibTeX RDF
19	Shing-Tsaan Huang	A Distributed Deadlock Detection Algorithm for CSP-Like Communication.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
19	Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley	A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	modified priority based probe algorithm, distributed databases, system recovery, distributed database system, distributed deadlock detection, deadlock resolution
19	Marina Roesler, Walter A. Burkhard	Deadlock Resolution and Semantic Lock Models in Object-Oriented Distributed Systems.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
19	C. Mohan 0001, Donald S. Fussell, Abraham Silberschatz	Compatibility and Commutativity in Non-two-phase Locking Protocols.	PODS	1982	DBLP DOI BibTeX RDF
19	Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz	Deadlock Removal Using Partial Rollback in Database Systems.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
18	Linda Dailey Paulson	Libraries Face the Challenge of Archiving Digital Material.	Computer	2010	DBLP DOI BibTeX RDF	born digital content, Dimmunix, piezoelectric, lead zirconate titanate, Alzheimer's Association, GPS, deadlocks, libraries, digital forensics, archive, Alzheimer's disease, software bugs
18	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
18	Robert A. Chesebrough, Ivan Turner	Parallel computing: at the interface of high school and industry.	SIGCSE	2010	DBLP DOI BibTeX RDF	intel parallel studio, threading building blocks, parallelism, concurrency, synchronization, openmp, deadlocks, reductions, domain decomposition, role playing, race conditions, critical sections, high school, task decomposition
18	Chinmay Eishan Kulkarni, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero	Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions.	PPoPP	2009	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlocks, deadlock-detection
18	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
18	Piotr Nienaltowski	Efficient data race and deadlock prevention in concurrent object-oriented programs.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	SCOOP model, object-oriented concurrency, deadlocks, data races, ownership types, Eiffel
18	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
18	Elvira Baydal, Pedro López 0001, José Duato	A Simple and Efficient Mechanism to Prevent Saturation in Wormhole Networks.	IPDPS	2000	DBLP DOI BibTeX RDF	message throttling, performance evaluation, congestion control, deadlocks, wormhole
18	Ting-Lu Huang, Chien-Hua Shann	A Comment on "A Circular List-Based Mutual Exclusion Scheme for Large Shared-Memory Multiprocessors".	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	atomic instructions, deadlocks, race conditions, Critical sections
18	Suresh Chalasani, Rajendra V. Boppana	Communication in Multicomputers with Nonconvex Faults.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	Solid faults, routing algorithms, deadlocks, wormhole routing, mesh networks, multicomputers
18	Rajendra V. Boppana, Suresh Chalasani	A Framework for Designing Deadlock-Free Wormhole Routing Algorithms.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Cayley networks, performance evaluation, deadlocks, wormhole routing, Adaptive routing, mesh networks, design techniques, multicomputer networks, de Bruijn networks
18	Jörg Liebeherr, Ian F. Akyildiz	Deadlock properties of queueing networks with finite capacities and multiple routing chains.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	blocking networks, deadlocks, Queueing networks, deadlock prevention
18	Rajendra V. Boppana, Suresh Chalasani	Fault-Tolerant Wormhole Routing Algorithms for Mesh Networks.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	block faults, performance evaluation, deadlocks, wormhole routing, Adaptive routing, mesh networks, fault-tolerant routing, multicomputer networks
18	Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet	On Liveness in Extended non Self-Controlling Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	deadlocks and traps, liveness
18	Ing-Ray Chen, Salah Hassan	Performance analysis of a periodic data reorganization algorithm for concurrent Blink-trees in database systems.	SAC	1995	DBLP DOI BibTeX RDF	Blink-trees, concurrent maintenance, periodic maintenance, performance analysis, database, deadlocks, B-trees, algorithm analysis
18	Kurt Lautenbach, Hanno Ridder	Liveness in Bounded Petri Nets Which Are Covered by T-Invariants.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	linear invariants, deadlocks, liveness
18	Ing-Ray Chen, Rajakumar Betapudi	A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection.	SAC	1994	DBLP DOI BibTeX RDF	performance analysis, deadlocks, database systems, stochastic Petri net, two-phase locking
18	Suresh Chalasani, Rajendra V. Boppana	Fault-tolerant wormhole routing in tori.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF	performance evaluation, deadlocks, wormhole routing, adaptive routing, fault-tolerant routing, message routing, torus networks, multicomputer networks
18	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
18	F. Bukhari, Sylvia L. Osborn	Two Fully Distributed Concurrency Control Algorithms.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	distributed concurrency control algorithms, partially replicated distributed databases, schedulers, communication, distributed databases, concurrency control, deadlocks, database theory, locks, timestamps
18	Norio Shiratori, Yaoxue Zhang, Kaoru Takahashi, Shoichi Noguchi	A User Friendly Software Environment for Protocol Synthesis.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	user friendly software environment, SEPS, programming language C, procedural programming paradigm, user-friendly interface, multiwindow mechanism, knowledge-based software environment, KSPS, expert system tool OPS83, user interfaces, artificial intelligence, artificial intelligence, protocols, knowledge based systems, programming environments, finite state machine, deadlocks, finite automata, graphic tools, protocol synthesis
18	José Manuel Colom, Manuel Silva Suárez	Improving the linearly based characterization of P/T nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Linear descriptions of P/T nets, Structural analysis of P/T nets, Linear state equation, Spurious solutions, Implicit place, Structurally implicit place, Cutting implicit place, Deadlocks and Traps, Linear Programming
18	Ahmed K. Elmagarmid, Ajoy Kumar Datta	Two-Phase Deadlock Detection Algorithm.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	deadlock detection algorithm, transaction-wait-for, multiple disjoint controllers, two-phase property, detection step, actual cycle detection, transaction-based distributed processing systems, distributed algorithm, distributed processing, distributed databases, transaction processing, deadlocks
18	Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat	A Formal Definition of Data Flow Graph Models.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	Petri nets, parallel computations, deadlocks, Bipartite graphs, liveness, data flow graphs
9	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
9	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	PPoPP	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
9	JongSoo Park, William J. Dally	Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures.	SPAA	2010	DBLP DOI BibTeX RDF	compiler and tools for concurrent programming, green computing and power-efficient architectures, multi-core architectures, stream programming
9	Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte	A randomized scheduler with probabilistic guarantees of finding bugs.	ASPLOS	2010	DBLP DOI BibTeX RDF	testing, concurrency, randomized algorithms, race conditions
9	Yang Zhao, John Boyland	Assuring Lock Usage in Multithreaded Programs with Fractional Permissions.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
9	Taewook Oh, Bernhard Egger 0002, Hyunchul Park 0001, Scott A. Mahlke	Recurrence cycle aware modulo scheduling for coarse-grained reconfigurable architectures.	LCTES	2009	DBLP DOI BibTeX RDF	software pipelining, placement and routing, coarse-grained reconfigurable architectures
9	Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis	D-Finder: A Tool for Compositional Deadlock Detection and Verification.	CAV	2009	DBLP DOI BibTeX RDF
9	Ganesh Gopalakrishnan, Robert M. Kirby	Practical Formal Verification of MPI and Thread Programs.	PVM/MPI	2009	DBLP DOI BibTeX RDF
9	Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark	Grace: safe multithreaded programming for C/C++.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic concurrency, sequential semantics, concurrency, determinism, fork-join
9	Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby	Reduced Execution Semantics of MPI: From Theory to Practice.	FM	2009	DBLP DOI BibTeX RDF
9	Srivatsava Daruru, Nena M. Marin, Matt Walker, Joydeep Ghosh	Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data.	KDD	2009	DBLP DOI BibTeX RDF	scalability, predictive modeling, dataflow, co-clustering
9	Nehir Sönmez, Tim Harris 0001, Adrián Cristal, Osman S. Unsal, Mateo Valero	Taking the heat off transactions: Dynamic selection of pessimistic concurrency control.	IPDPS	2009	DBLP DOI BibTeX RDF
9	Lev B. Levitin, Mark G. Karpovsky, Mehmet Mustafa	Deadlock prevention by turn prohibition in interconnection networks.	IPDPS	2009	DBLP DOI BibTeX RDF
9	Frédéric Gava, Ilias Garnier	New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons.	IPDPS	2009	DBLP DOI BibTeX RDF
9	Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko	Behavioural Analysis of an I2C Linux Driver.	FMICS	2009	DBLP DOI BibTeX RDF
9	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
9	Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001	PRES: probabilistic replay with execution sketching on multiprocessors.	SOSP	2009	DBLP DOI BibTeX RDF	replay, concurrency bug
9	Mario Bravetti, Gianluigi Zavattaro	Contract-Based Discovery and Composition of Web Services.	SFM	2009	DBLP DOI BibTeX RDF
9	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
9	Arkadiusz Szymczak, Maciej Paszynski	Graph Grammar Based Petri Nets Model of Concurrency for Self-adaptive hp-Finite Element Method with Triangular Elements.	ICCS (2)	2009	DBLP DOI BibTeX RDF
9	Zachary Stengel, Tevfik Bultan	Analyzing singularity channel contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	conversations, asynchronous communication, realizability
9	Fancong Zeng	Pattern-driven deadlock avoidance.	PADTAD	2009	DBLP DOI BibTeX RDF	Java, deadlock, exception, just-in-time (JIT) compilation
9	Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys	MoonWalker: Verification of .NET Programs.	TACAS	2009	DBLP DOI BibTeX RDF
9	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis
9	Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay	Effective static deadlock detection.	ICSE	2009	DBLP DOI BibTeX RDF
9	Claris Castillo, George N. Rouskas, Khaled Harfoush	Resource co-allocation for large-scale distributed environments.	HPDC	2009	DBLP DOI BibTeX RDF	scheduling, advance reservations, resource co-allocation
9	Ken Hironaka, Hideo Saito, Kenjiro Taura	High performance wide-area overlay using deadlock-free routing.	HPDC	2009	DBLP DOI BibTeX RDF	grids, bandwidth, collective communication, overlays, parallel applications, deadlock-free routing
9	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser	Dingo: taming device drivers.	EuroSys	2009	DBLP DOI BibTeX RDF	reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance
9	Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Formal verification of practical MPI programs.	PPoPP	2009	DBLP DOI BibTeX RDF	dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi
9	Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li 0002	Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources.	TASE	2009	DBLP DOI BibTeX RDF
9	Claude Kaiser, Jean-François Pradat-Peyre	Weak Fairness Semantic Drawbacks in Java Multithreading.	Ada-Europe	2009	DBLP DOI BibTeX RDF
9	Vladimir M. Vishnevsky, Andrey I. Lyakhov, Alexander A. Safonov, Shaomin S. Mo, Alexander D. Gelman	Study of Beaconing in Multihop Wireless PAN with Distributed Control.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	Wi-Media, Beacon collisions, Analytical study, MAC, Distributed Control, Wireless PAN
9	Naiqi Wu, MengChu Zhou, ZhiWu Li 0001	Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
9	ZhiWu Li 0001, MengChu Zhou	Control of Elementary and Dependent Siphons in Petri Nets and Their Application.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
9	Zhijun Ding, Changjun Jiang, MengChu Zhou	Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
9	Zhiwu Li 0001, Mi Zhao	On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
9	René Mandiau, Alexis Champion, Jean-Michel Auberlet, Stéphane Espié, Christophe Kolski	Behaviour based on decision matrices for a coordination between agents in a urban traffic simulation.	Appl. Intell.	2008	DBLP DOI BibTeX RDF	Conflict solving, Decision matrices, Autonomous vehicle, Traffic simulation, Multi-agent coordination
9	Kun Wang, Yu Zhang, Huayong Wang, Xiaowei Shen	Parallelization of IBM mambo system simulator in functional modes.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF	parallel simulation, dynamic binary translation, architectural simulation
9	Vincenzo Giordano, Jing Bing Zhang, David Naso, Frank L. Lewis	Integrated Supervisory and Operational Control of a Warehouse With a Matrix-Based Approach.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
9	ZhiWu Li 0001, MengChu Zhou, MuDer Jeng	A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
9	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
9	Jo Ueyama, Edmundo Roberto Mauro Madeira, Paul Grace	FlexPar: Reconfigurable Middleware for Parallel Environments.	ISORC	2008	DBLP DOI BibTeX RDF
9	Nalini Vasudevan, Stephen A. Edwards	Static Deadlock Detection for the SHIM Concurrent Language.	MEMOCODE	2008	DBLP DOI BibTeX RDF
9	Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby	Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.	CAV	2008	DBLP DOI BibTeX RDF
9	Antidio Viguria, Iván Maza, Aníbal Ollero	S+T: An algorithm for distributed multirobot task allocation based on services for improving robot cooperation.	ICRA	2008	DBLP DOI BibTeX RDF
9	Gero Decker, Alistair Barros, Frank Michael Kraft, Niels Lohmann	Non-desynchronizable Service Choreographies.	ICSOC	2008	DBLP DOI BibTeX RDF
9	David Herrero Pérez, Humberto Martínez Barberá	Decentralized coordination of autonomous AGVs in flexible manufacturing systems.	IROS	2008	DBLP DOI BibTeX RDF
9	Yogesh Murarka, Umesh Bellur	Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs.	APSEC	2008	DBLP DOI BibTeX RDF
9	Vivek K. Shanbhag	Deadlock-Detection in Java-Library Using Static-Analysis.	APSEC	2008	DBLP DOI BibTeX RDF
9	Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen	Compositional Verification for Component-Based Systems and Application.	ATVA	2008	DBLP DOI BibTeX RDF
9	Daihan Wang, Hiroki Matsutani, Hideharu Amano, Michihiro Koibuchi	A link removal methodology for Networks-on-Chip on reconfigurable systems.	FPL	2008	DBLP DOI BibTeX RDF
9	Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt	On Mechanisms for Deadlock Avoidance in SIP Servlet Containers.	IPTComm	2008	DBLP DOI BibTeX RDF	converged container, synchronization contract, Concurrency, negotiation, SIP, servlet, deadlock prevention
9	Antonio Robles-Gómez, Aurelio Bermúdez, Rafael Casado, Åshild Grønstad Solheim	Deadlock-Free Dynamic Network Reconfiguration Based on Close Up/Down Graphs.	Euro-Par	2008	DBLP DOI BibTeX RDF
9	Yu Cao 0004, Gopal C. Das, Chee Yong Chan, Kian-Lee Tan	Optimizing complex queries with multiple relation instances.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	interleaved execution, shared scan, query processing, query optimization
9	James H. Hill, Aniruddha S. Gokhale	Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties.	IPDPS	2008	DBLP DOI BibTeX RDF
9	John W. McCormick	MA1: Ada for real-time and parallel processing.	SIGAda	2008	DBLP DOI BibTeX RDF	software engineering, design, reliability, real-time, parallel processing, ada, software, safety, languages, systems, assurance, high integrity