Search results for "Nonblocking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	S. Q. Zheng 0001	Scalable and Practical Nonblocking Switching Networks (Extended Abstract).	PDCAT	2005	DBLP DOI BibTeX RDF
117	Fuad Tabba, Mark Moir, James R. Goodman, Andrew W. Hay, Cong Wang	NZTM: nonblocking zero-indirection transactional memory.	SPAA	2009	DBLP DOI BibTeX RDF	transactional memory, hardware support, nonblocking synchronization
116	Si-Qing Zheng, Ashwin Gumaste	Scalable and Practical Nonblocking Switching Networks.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	rearrangeable nonblocking network, wide-sense nonblocking network, strictly nonblocking network, switching network, circuit switching, optical switching
105	Virendra J. Marathe, Mark Moir	Efficient nonblocking software transactional memory.	PPoPP	2007	DBLP DOI BibTeX RDF	software transactional memory, nonblocking
94	Damian Dechev, Bjarne Stroustrup	Scalable nonblocking concurrent objects for mission critical code.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	ABA problem prevention, autonomous space software, C++, software transactional memory, nonblocking synchronization
93	Si-Qing Zheng, Ashwin Gumaste, Enyue Lu	A practical fast parallel routing architecture for Clos networks.	ANCS	2006	DBLP DOI BibTeX RDF	rearrangeable nonblocking, strictly nonblocking, parallel algorithm, parallel architecture, pipelining, packet switching, circuit switching, permutation routing, Clos network
88	Dale Skeen	Nonblocking Commit Protocols.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
82	Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.	DCAS is not a silver bullet for nonblocking algorithm design.	SPAA	2004	DBLP DOI BibTeX RDF	DCAS, double-compare-and-swap, multiprocessors, lock-free, concurrent data structures, linked lists, nonblocking synchronization
82	Yuanyuan Yang 0001, Gerald M. Masson	The Necessary Conditions for Clos-Type Nonblocking Multicast Networks.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	routing control strategies, Interconnection networks, nonblocking, necessary conditions, multicast networks
77	Jiun-Shiou Deng, Ming-Feng Lu, Yang-Tung Huang	High performance rearrangeable nonblocking networks with polarization selective elements.	ICON	2008	DBLP DOI BibTeX RDF
77	Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, Sandhya Dwarkadas, Michael L. Scott	Nonblocking transactions without indirection using alert-on-update.	SPAA	2007	DBLP DOI BibTeX RDF	software transactional memory, event-based systems, obstruction freedom
77	Yuanyuan Yang 0001, Jianchao Wang	A new design for wide-sense nonblocking multicast switching networks.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
77	Fong-Chih Shao, A. Yavuz Oruç	Efficient Nonblocking Switching Networks for Interprocessor Communications in Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
75	Enyue Lu, S. Q. Zheng 0001	Parallel Routing Algorithms for Nonblocking Electronic and Photonic Switching Networks.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	rearrangeable nonblocking network, strictly nonblocking network, parallel algorithm, graph coloring, crosstalk, optical switching, Banyan network, self-routing, switch control
74	Frank K. Hwang, Wen-Dar Lin, Vadim Lioubimov	On noninterruptive rearrangeable networks.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	Paull's matrix, doubled path, noninterruptive rearrangeable (NIR), output (input)-divertability, rearrangeably nonblocking (RNB), strictly nonblocking (SNB), wide-sense nonblocking (WSNB), clos network
71	Wojciech Kabacinski, Marek Michalski	Lower Bounds for WSNB Multi-Log2N Switching Networks.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
71	Xiaohong Jiang 0001, Hong Shen 0001, Md. Mamun-ur-Rashid Khandker, Susumu Horiguchi	Blocking behaviors of crosstalk-free optical Banyan networks on vertical stacking.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	vertical stacking, multistage interconnection networks (MINs), blocking probability, switching networks, banyan networks
70	Virendra J. Marathe, Mark Moir	Toward high performance nonblocking software transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	software transactional memory, nonblocking
70	Victor Luchangco, Mark Moir, Nir Shavit	Nonblocking k-compare-single-swap.	SPAA	2003	DBLP DOI BibTeX RDF	multiprocessors, concurrent data structures, linked lists, nonblocking synchronization, obstruction-freedom
70	Yuanyuan Yang 0001	An analysis model on nonblocking multirate broadcast networks.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF	multirate traffic, interconnection networks, broadcast, packet switching, nonblocking
70	Divyakant Agrawal, Arthur J. Bernstein	A Nonblocking Quorum Consensus Protocol for Replicated Data.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	nonblocking quorum protocol, one-copy serializability, fault tolerance, protocols, distributed databases, availability, database theory, replica control, fault tolerantcomputing, access latency
65	Christian Kaiser, Torsten Hoefler, Boris Bierbaum, Thomas Bemmerl	Implementation and analysis of nonblocking collective operations on SCI networks.	IPDPS	2009	DBLP DOI BibTeX RDF
65	Enyue Lu, S. Q. Zheng 0001	Parallel Routing Algorithms for Nonblocking Electronic and Photonic Multistage Switching Networks.	IPDPS	2004	DBLP DOI BibTeX RDF
65	Francesco Quaglia, Andrea Santoro	Nonblocking Checkpointing for Optimistic Parallel Simulation: Description and an Implementation.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	checkpointing, performance optimization, Parallel discrete-event simulation, myrinet, DMA, optimistic synchronization
65	Yuanyuan Yang, Gerald M. Masson	The Necessary Conditions for Clos-Type Nonblocking Multicast Networks.	IPPS	1996	DBLP DOI BibTeX RDF
58	Xiaohong Jiang 0001, Achille Pattavina, Susumu Horiguchi	Strictly nonblocking f-cast photonic networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	f-cast, strictly nonblocking, multicast, crosstalk, banyan networks, photonic switches
58	Hung-Lin Fu, Frank K. Hwang	On 3-Stage Clos Networks with Different Nonblocking Requirements on Two Types of Calls.	J. Comb. Optim.	2005	DBLP DOI BibTeX RDF	3-stage Clos networks, nonblocking networks, rearrangeable networks
58	Yuanyuan Yang 0001, Jianchao Wang	Nonblocking k-Fold Multicast Networks.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	quality-of-service (QoS), routing, routing algorithms, Multicast communication, switching networks, nonblocking, switch-based networks
58	Yuanyuan Yang 0001, Jianchao Wang	Nonblocking k-Fold Multicast Networks.	IPDPS	2002	DBLP DOI BibTeX RDF	quality-of-service (QoS), routing, Multicast communication, switching networks, nonblocking, switch-based networks
58	Yuanyuan Yang 0001, Jianchao Wang, Chunming Qiao	Nonblocking WDM Multicast Switching Networks.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	multicast, optical networks, Wavelength division multiplexing (WDM), switching networks, nonblocking
58	Chien-Hua Shann, Ting-Lu Huang, Cheng Chen	A Practical Nonblocking Queue Algorithm Using Compare-and-Swap.	ICPADS	2000	DBLP DOI BibTeX RDF	concurrent queue, compare-and-swap, linearizability, nonblocking
53	Victor Luchangco, Mark Moir, Nir Shavit	Nonblocking k -Compare-Single-Swap.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Synchronization, Shared memory multiprocessors, Compare-and-swap
53	Jing Huang, Ratnesh Kumar 0001	Directed Control of Discrete Event Systems for Safety and Nonblocking.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
53	Narayan Desai, Pavan Balaji, P. Sadayappan, Mohammad Islam	Are nonblocking networks really needed for high-end-computing workloads?	CLUSTER	2008	DBLP DOI BibTeX RDF
53	Frank K. Hwang, Yang Wang, Jinzhi Tan	Strictly Nonblocking f-Cast Logd(N, m, p) Networks.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
53	Virendra J. Marathe, Michael F. Spear, Michael L. Scott	Transaction Safe Nonblocking Data Structures.	DISC	2007	DBLP DOI BibTeX RDF
53	Petr Kolman	On Nonblocking Properties on the Benes Network.	ESA	1998	DBLP DOI BibTeX RDF
53	John Turek, Dennis E. Shasha, Sundeep Prakash	Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking.	PODS	1992	DBLP DOI BibTeX RDF
52	Tae-Sic Yoo, Stéphane Lafortune	Solvability of Centralized Supervisory Control Under Partial Observation.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Decidability, Supervisory control, Nonblocking, Partial observation
52	Stefan Pleisch, André Schiper	Fault-Tolerant Mobile Agent Execution.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	nonblocking execution, exactly-once execution, fault tolerance, Mobile agents, agreement problem
52	Guohong Cao, Mukesh Singhal	Mutable Checkpoints: A New Checkpointing Approach for Mobile Computing Systems.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Mobile computing, nonblocking, causal dependency, coordinated checkpointing
52	Frank K. Hwang, Sheng-Chyang Liaw	On nonblocking multicast three-stage Clos networks.	IEEE/ACM Trans. Netw.	2000	DBLP DOI BibTeX RDF	strictly nonblocking, wide-sense nonblocking, switching networks, multicast traffic
52	Sundeep Prakash, Yann-Hang Lee, Theodore Johnson	A Nonblocking Algorithm for Shared Queues Using Compare-and-Swap.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	nonblocking algorithm, shared queues, FIFO queue algorithm, nonblocking queue, performance, data structures, data structure, queueing theory, queue, compare-and-swap, concurrent objects
47	Keir Fraser, Tim Harris 0001	Concurrent programming without locks.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	lock-free systems, Concurrency, transactional memory
47	Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit	Obstruction-Free Step Complexity: Lock-Free DCAS as an Example.	DISC	2005	DBLP DOI BibTeX RDF
47	Linjiang Ma, Tse-Yun Feng	Routing A Class of Concatenated Omega Networks.	FTDCS	1999	DBLP DOI BibTeX RDF	topological equivalence, omega + omega networks, labeling scheme, Benes networks
47	Kuo-Hui Tsai, Da-Wei Wang	Lower Bounds for Wide-Sense Non-blocking Clos Network.	COCOON	1998	DBLP DOI BibTeX RDF
46	Wei-Yu Chen, Dan Bonachea, Costin Iancu, Katherine A. Yelick	Automatic nonblocking communication for partitioned global address space programs.	ICS	2007	DBLP DOI BibTeX RDF	nonblocking, UPC, PGAS
41	Chuan-Ching Sue	An Enhanced Universal N x N Fully Nonblocking Quantum Switch.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
41	Simon Doherty, Mark Moir	Nonblocking Algorithms and Backward Simulation.	DISC	2009	DBLP DOI BibTeX RDF
41	Grzegorz Danilewicz, Wojciech Kabacinski, Marek Michalski, Mariusz Zal	A New Control Algorithm for Wide-Sense Nonblocking Multiplane Photonic Banyan-Type Switching Fabrics with Zero Crosstalk.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
41	Yun Wang, Jie Wu 0001	A Nonblocking Approach for Reaching an Agreement on Request Total Orders.	ICDCS	2008	DBLP DOI BibTeX RDF
41	Hung Q. Ngo 0001, Yang Wang 0014, Anh Le	A Linear Programming Duality Approach to Analyzing Strictly Nonblocking d-ary Multilog Networks under General Crosstalk Constraints.	COCOON	2008	DBLP DOI BibTeX RDF
41	Hung Q. Ngo 0001, Dazhen Pan, Chunming Qiao	Constructions and analyses of nonblocking WDM switches based on arrayed waveguide grating and limited wavelength conversion.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	limited-range wavelength converters, non-blocking WDM cross-connects
41	Grzegorz Danilewicz, Wojciech Kabacinski	Comments on "Wide-sense nonblocking multicast Log2(N, m, p) Networks".	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
41	Frank K. Hwang	A unifying approach to determine the necessary and sufficient conditions for nonblocking multicast 3-stage Clos networks.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
41	Robert Colvin, Lindsay Groves	Formal Verification of an Array-Based Nonblocking Queue.	ICECCS	2005	DBLP DOI BibTeX RDF
41	William N. Scherer III, Michael L. Scott	Nonblocking Concurrent Data Structures with Condition Synchronization.	DISC	2004	DBLP DOI BibTeX RDF
41	Yuichi Tsujita	Effective Nonblocking MPI-I/O in Remote I/O Operations Using a Multithreaded Mechanism.	ISPA	2004	DBLP DOI BibTeX RDF
41	Penny E. Haxell, April Rasala, Gordon T. Wilfong, Peter Winkler 0001	Wide-Sense Nonblocking WDM Cross-Connects.	ESA	2002	DBLP DOI BibTeX RDF
41	Yuanyuan Yang 0001, Jianchao Wang, Chunming Qiao	Nonblocking WDM Multicast Switching Networks.	ICPP	2000	DBLP DOI BibTeX RDF
41	Junjie Wang, Khaled Ben Letaief, Mounir Hamdi, Xi-Ren Cao	Efficient Estimation of Cell Loss and Cell Delay of Nonblocking ATM Switches.	LCN	1997	DBLP DOI BibTeX RDF
41	Andreas Schwill	Nonblocking Graphs: Greedy Algorithms to Compute Disjoint Paths.	STACS	1990	DBLP DOI BibTeX RDF
41	Håkan Sundell, Philippas Tsigas	Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information.	RTCSA	2000	DBLP DOI BibTeX RDF	space-efficient wait-free algorithm, real-time multiprocessor systems, deadline guarantees, nonblocking algorithms, unbounded time-stamps, time-stamp bounding, concurrent read/write operations, real-time systems, protocol, data structures, data structures, timing, multiprocessing systems, mutual exclusion, blocking, buffer storage, timing information, shared buffer, memory protocols
41	Guohong Cao, Mukesh Singhal	On Coordinated Checkpointing in Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	consistent checkpoints, Distributed system, nonblocking, causal dependence, coordinated checkpointing
41	Young-Keun Park, Gyungho Lee	ATM cell scheduling with queue length-based priority scheme.	ICCCN	1995	DBLP DOI BibTeX RDF	ATM cell scheduling, queue length based priority scheme, nonblocking switch, optimal input bypass queueing method, switch throughput maximisation, cell delay variations, delay variance, cell loss rate, neural network, asynchronous transfer mode, asynchronous transfer mode, ATM switches, buffer size, B-ISDN, FIFO queueing, nonuniform traffic, head-of-line blocking, input queues, cell loss probabilities
35	Robi Malik, Ryan J. Leduc	Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions.	IEEE Trans. Autom. Control.	2013	DBLP DOI BibTeX RDF
35	Chi-Ping Lee, Chien-Ping Chang, Jiun-Shiou Deng, Min-Hao Li, Ming-Feng Lu, Yang-Tung Huang, Ping-Yu Kuei	A strictly nonblocking network based on nonblocking 4×4 optical switches.	Opt. Switch. Netw.	2012	DBLP DOI BibTeX RDF
35	Yuanyuan Yang	Nonblocking and almost nonblocking multicast switching networks.	Robust Communication Networks: Interconnection and Survivability	1998	DBLP DOI BibTeX RDF
35	Can Emre Koksal	An Analysis of Blocking Switches Using Error Control Codes.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
35	Petra Malik, Robi Malik, David Streader, Steve Reeves	Modular Synthesis of Discrete Controllers.	ICECCS	2007	DBLP DOI BibTeX RDF
35	Poompat Saengudomlert, Eytan H. Modiano, Robert G. Gallager	Dynamic wavelength assignment for WDM all-optical tree networks.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	graph theory, resource management, optical networks, wavelength assignment, network reconfiguration
35	Anthony-Trung Nguyen, Josep Torrellas	Design Trade-Offs in High-Throughput Coherence Controllers.	IEEE PACT	2003	DBLP DOI BibTeX RDF
35	Maurice Herlihy, Victor Luchangco, Mark Moir	Obstruction-Free Synchronization: Double-Ended Queues as an Example.	ICDCS	2003	DBLP DOI BibTeX RDF
35	Esther Y. Cheng, Feng Zhou, Bo Yao, Chung-Kuan Cheng, Ronald L. Graham	Balancing the Interconnect Topology for Arrays of Processors between Cost and Power.	ICCD	2002	DBLP DOI BibTeX RDF
35	Dongsoo S. Kim, Ding-Zhu Du	Multirate Multicast Switching Networks.	COCOON	1998	DBLP DOI BibTeX RDF
35	Joydeep Ghosh, Anujan Varma, Naveen Krishnamurthy	Distributed control schemes for fast arbitration in large crossbar networks.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
35	Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir	Nonblocking memory management support for dynamic-sized data structures.	ACM Trans. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Multiprocessors, memory management, dynamic data structures, concurrent data structures, nonblocking synchronization
35	Ted H. Szymanski	Design Principles for Practical Self-Routing Nonblocking Switching Networks with O(N log N) Bit-Complexity.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	scalable, networks, randomization, optical, circuit-switching, nonblocking, self-routing, electrical, Multistage
35	P. Krishna Reddy, Subhash Bhalla	A Nonblocking Transaction Data Flow Graph Based Protocol For Replicated Databases.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	nonblocking protocols, time-critical transactions, fault tolerance, reliability, distributed algorithms, Availability, serializability, replicated databases
35	Yuanyuan Yang 0001, Gerald M. Masson	Nonblocking Broadcast Switching Networks.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	processor interconnection, network control algorithm, multiprocessor interconnection networks, switching networks, nonblocking, broadcast networks, parallel processing systems, multistage
29	Hung Q. Ngo 0001, Yang Wang 0014, Dazhen Pan	Rearrangeable and nonblocking [w, f] -distributors.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	WDM optical cross-connects, distributors, optimal connectors, complexity, multicast
29	Narasimha Challa, Hasan Cam	Flexible Code Allocation to Improve System Utilization Using Nonblocking OVSF Codes in WCDMA.	ICC	2008	DBLP DOI BibTeX RDF
29	Yang Wang 0014, Hung Q. Ngo 0001, Xiaohong Jiang 0001	Strictly Nonblocking Function-Cast d-Ary Multi-Log Networks under Fanout and Crosstalk Constraints.	ICC	2008	DBLP DOI BibTeX RDF
29	Rong Su 0001, Jan H. van Schuppen, Jacobus E. Rooda	Synthesizing nonblocking distributed supervisors based on automaton abstraction.	CDC	2008	DBLP DOI BibTeX RDF
29	Shuo-Yen Robert Li, Xuesong Jonathan Tan	Preservation of Conditionally Nonblocking Switches Under Two-Stage Interconnection.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
29	Grzegorz Danilewicz	Wide-Sense Nonblocking logd(N, 0, p) Multicast Switching Networks.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
29	Stephen F. Siegel, George S. Avrunin	Verification of Halting Properties for MPI Programs Using Nonblocking Operations.	PVM/MPI	2007	DBLP DOI BibTeX RDF
29	Mohammad Alrifai, Wolf-Tilo Balke, Peter Dolog, Wolfgang Nejdl	Nonblocking Scheduling for Web Service Transactions.	ECOWS	2007	DBLP DOI BibTeX RDF
29	Stephen F. Siegel	Model Checking Nonblocking MPI Programs.	VMCAI	2007	DBLP DOI BibTeX RDF
29	Haitham S. Hamza, Jitender S. Deogun	A new class of strictly nonblocking WDM multicast switching networks.	BROADNETS	2007	DBLP DOI BibTeX RDF
29	Lindsay Groves	Reasoning about Nonblocking Concurrency using Reduction.	ICECCS	2007	DBLP DOI BibTeX RDF
29	Wojciech Kabacinski, Marek Michalski	The Routing Algorithm and Wide-Sense Nonblocking Conditions for Multiplane Baseline Switching Networks.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
29	Xuesong Tan, Shuo-Yen Robert Li	Mixed Preservation of Conditionally Nonblocking Switches under 2-stage Interconnection.	PDCAT	2006	DBLP DOI BibTeX RDF
29	Yuichi Tsujita	Optimization of Nonblocking MPI-I/O to a Remote Parallel Virtual File System Using a Circular Buffer.	HPCC	2005	DBLP DOI BibTeX RDF	Stampi, MPI-I/O process, circular buffer, MPI, PVFS, MPI-I/O
29	Kiran K. Vadde, Hasan Cam	A Code Assignment Algorithm for Nonblocking OVSF Codes in WCDMA.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	NOVSF codes, WDCMA, code reassignments, code blocking, code-slot assignment, OVSF codes
29	Weigang Ni, Susan V. Vrbsky, Sibabrata Ray	Low-cost Coordinated Nonblocking Checkpointing in Mobile Computing Systems.	ISCC	2003	DBLP DOI BibTeX RDF
29	Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson	Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Controllability, Synthesis, Discrete event systems, Supervisory control, Model reduction, Finite state automata, Nonblocking
29	Kwok Shing Ho, Kwok-Wai Cheung 0003	Generalized survivable network.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	ASTN, nonblocking network, IP, network design, VPN, IP network, survivable network, ASON
29	Hagit Attiya, Eshcar Hillel	The power of DCAS: highly-concurrent software transactional memory.	PODC	2007	DBLP DOI BibTeX RDF	nonblocking implementations, synchronization, locality, transactional memory, contention management