Search results for "nonblocking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Bey-Chi Lin	Repackable Log2(N, m, p) Networks and Wide-Sense Nonblocking Log2(8, 0, p) Networks.	J. Interconnect. Networks	2018	DBLP DOI BibTeX RDF
18	Xiang Yin 0003, Stéphane Lafortune	Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem.	IEEE Trans. Autom. Control.	2018	DBLP DOI BibTeX RDF
18	Huimin Zhang, Lei Feng 0002, Zhiwu Li 0001	A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems.	IEEE Trans. Autom. Control.	2018	DBLP DOI BibTeX RDF
18	Jun Duan, Yuanyuan Yang 0001	MCL: A Cost-Efficient Nonblocking Multicast Interconnection Network.	IEEE Trans. Parallel Distributed Syst.	2018	DBLP DOI BibTeX RDF
18	Bey-Chi Lin	Nonblocking Multirate 2-Stage Networks.	IEEE Commun. Lett.	2018	DBLP DOI BibTeX RDF
18	Kristina Spirovska, Diego Didona, Willy Zwaenepoel	Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store.	DSN	2018	DBLP DOI BibTeX RDF
18	Yangming Zhao, Jingyuan Fan, Huan Chen, Chunming Qiao	Providing VNF Services with Pipe&Hose Model Based Nonblocking SDN Networks.	IWQoS	2018	DBLP DOI BibTeX RDF
18	Kohei Hiraga, Osamu Tatebe, Hideyuki Kawashima	PPMDS: A Distributed Metadata Server Based on Nonblocking Transactions.	SNAMS	2018	DBLP DOI BibTeX RDF
18	Kate Nguyen, Kehan Lyu, Xianze Meng, Vilas Sridharan, Xun Jian 0002	Nonblocking Memory Refresh.	ISCA	2018	DBLP DOI BibTeX RDF
18	Wojciech Kabacinski, Marek Michalski, Mustafa Abdulsahib	Wide-sense nonblocking elastic optical switch.	Opt. Switch. Netw.	2017	DBLP DOI BibTeX RDF
18	Lisheng Ma, Bin Wu 0002, Xiaohong Jiang 0001, Achille Pattavina	Nonblocking conditions for -cast Clos networks under balanced traffic.	Opt. Switch. Netw.	2017	DBLP DOI BibTeX RDF
18	Joseph Izraelevitz, Michael L. Scott	Generality and Speed in Nonblocking Dual Containers.	ACM Trans. Parallel Comput.	2017	DBLP DOI BibTeX RDF
18	Jun Duan, Yuanyuan Yang 0001	A Cost Efficient Multicast Nonblocking Interconnection Network.	GLOBECOM	2017	DBLP DOI BibTeX RDF
18	Gang Liu 0028, Qiuming Luo, Cunhuang Ye, Rui Mao 0001	A Cost-Effective Wide-Sense Nonblocking k-Fold Multicast Network.	PAAP	2017	DBLP DOI BibTeX RDF
18	Sahar Mohajerani, Robi Malik, Martin Fabian	A framework for compositional nonblocking verification of extended finite-state machines.	Discret. Event Dyn. Syst.	2016	DBLP DOI BibTeX RDF
18	Patrick M. Widener, Scott Levy, Kurt B. Ferreira, Torsten Hoefler	On noise and the performance benefit of nonblocking collectives.	Int. J. High Perform. Comput. Appl.	2016	DBLP DOI BibTeX RDF
18	Toshimitsu Ushio, Shigemasa Takai	Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
18	Wojciech Kabacinski, Janusz Kleban, Marek Michalski, Mariusz Zal	Strict-sense nonblocking networks with k degrees of freedom.	Opt. Switch. Netw.	2016	DBLP DOI BibTeX RDF
18	Ivan Plander, Michal Stepanovsky	Advanced three-dimensional MEMS photonic cross-connect switch for nonblocking all-optical networks.	Opt. Switch. Netw.	2016	DBLP DOI BibTeX RDF
18	Abdelbaset S. Hamza, Jitender S. Deogun, Dennis R. Alexander	New Class of Rearrangeable Nonblocking Multicast Free-Space Optical Switches.	JOCN	2016	DBLP DOI BibTeX RDF
18	Grzegorz Danilewicz, Wojciech Kabacinski, Remigiusz Rajewski	Strict-Sense Nonblocking Space-Wavelength-Space Switching Fabrics for Elastic Optical Network Nodes.	JOCN	2016	DBLP DOI BibTeX RDF
18	Tobias Hilbrich, Matthias Weber 0002, Joachim Protze, Bronis R. de Supinski, Wolfgang E. Nagel	Runtime Correctness Analysis of MPI-3 Nonblocking Collectives.	EuroMPI	2016	DBLP DOI BibTeX RDF
18	Farid Yari, Shahin Hashtrudi-Zad	Computational procedures for robust nonblocking supervisory control.	CCECE	2016	DBLP DOI BibTeX RDF
18	Matthew Graichen, Joseph Izraelevitz, Michael L. Scott	An Unbounded Nonblocking Double-Ended Queue.	ICPP	2016	DBLP DOI BibTeX RDF
18	Yu Zhang 0086, Jiange Zhang, Qiliang Zhang	Making User-Level VMM for Deterministic Parallelism Nonblocking and Efficient.	PDCAT	2016	DBLP DOI BibTeX RDF
18	Sabela Ramos, Guillermo L. Taboada, Roberto R. Expósito, Juan Touriño	Nonblocking collectives for scalable Java communications.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
18	Zhiyang Guo, Yuanyuan Yang 0001	On Nonblocking Multicast Fat-Tree Data Center Networks with Server Redundancy.	IEEE Trans. Computers	2015	DBLP DOI BibTeX RDF
18	Zhiyang Guo, Yuanyuan Yang 0001	Exploring Server Redundancy in Nonblocking Multicast Data Center Networks.	IEEE Trans. Computers	2015	DBLP DOI BibTeX RDF
18	Xuesong Chen, Hongyan Xing	Nonblocking check in fuzzy discrete event systems based on observation equivalence.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
18	Colin Pilbrow, Robi Malik	An algorithm for compositional nonblocking verification using special events.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
18	Wojciech Kabacinski, Marek Michalski, Mustafa Abdulsahib	The strict-sense nonblocking elastic optical switch.	HPSR	2015	DBLP DOI BibTeX RDF
18	Jun Duan, Zhiyang Guo, Yuanyuan Yang 0001	Embedding Nonblocking Multicast Virtual Networks in Fat-Tree Data Centers.	IPDPS	2015	DBLP DOI BibTeX RDF
18	Robi Malik	Advanced selfloop removal in compositional nonblocking verification of discrete event systems.	CASE	2015	DBLP DOI BibTeX RDF
18	Sangmin Seo, Robert Latham, Junchao Zhang, Pavan Balaji	Implementation and Evaluation of MPI Nonblocking Collective I/O.	CCGRID	2015	DBLP DOI BibTeX RDF
18	Wojciech Kabacinski, Janusz Kleban, Marek Michalski, Mariusz Zal	Strict-sense nonblocking networks with three multiplexing and switching levels.	ISNCC	2015	DBLP DOI BibTeX RDF
18	Sahar Mohajerani, Robi Malik, Martin Fabian	A Framework for Compositional Synthesis of Modular Nonblocking Supervisors.	IEEE Trans. Autom. Control.	2014	DBLP DOI BibTeX RDF
18	Grzegorz Danilewicz, Remigiusz Rajewski	The Architecture and Strict-Sense Nonblocking Conditions of a New Baseline-Based Optical Switching Network Composed of Symmetrical and Asymmetrical Switching Elements.	IEEE Trans. Commun.	2014	DBLP DOI BibTeX RDF
18	Patrick M. Widener, Kurt B. Ferreira, Scott Levy, Torsten Hoefler	Exploring the effect of noise on the performance benefit of nonblocking allreduce.	EuroMPI/ASIA	2014	DBLP DOI BibTeX RDF
18	Sahar Mohajerani, Robi Malik, Martin Fabian	An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines.	WODES	2014	DBLP DOI BibTeX RDF
18	Joseph Izraelevitz, Michael L. Scott	Brief announcement: a generic construction for nonblocking dual containers.	PODC	2014	DBLP DOI BibTeX RDF
18	Yujie Liu, Kunlong Zhang, Michael F. Spear	Dynamic-sized nonblocking hash tables.	PODC	2014	DBLP DOI BibTeX RDF
18	Zhemin Zhang, Yuanyuan Yang 0001	NEO: A Nonblocking Hybrid Switch Architecture for Large Scale Data Centers.	ICPP	2014	DBLP DOI BibTeX RDF
18	Judicael A. Zounmevo, Xin Zhao, Pavan Balaji, William Gropp, Ahmad Afsahi	Nonblocking Epochs in MPI One-Sided Communication.	SC	2014	DBLP DOI BibTeX RDF
18	Damian Dechev, Pierre LaBorde, Steven D. Feldman	LC/DC: Lockless Containers and Data Concurrency a Novel Nonblocking Container Library for Multicore Applications.	IEEE Access	2013	DBLP DOI BibTeX RDF
18	Mathieu Desnoyers	Proving the correctness of nonblocking data structures.	Commun. ACM	2013	DBLP DOI BibTeX RDF
18	Samy Al-Bahra	Nonblocking algorithms and scalable multicore programming.	Commun. ACM	2013	DBLP DOI BibTeX RDF
18	Maged M. Michael	The balancing act of choosing nonblocking features.	Commun. ACM	2013	DBLP DOI BibTeX RDF
18	Simon Ware, Robi Malik	Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata.	Int. J. Found. Comput. Sci.	2013	DBLP DOI BibTeX RDF
18	Yuanzhe Xuan, Chin-Tau Lea	Discrete-Bandwidth Nonblocking Networks.	IEEE Trans. Commun.	2013	DBLP DOI BibTeX RDF
18	Mathieu Desnoyers	Proving the Correctness of Nonblocking Data Structures.	ACM Queue	2013	DBLP DOI BibTeX RDF
18	Maged M. Michael	The Balancing Act of Choosing Nonblocking Features.	ACM Queue	2013	DBLP DOI BibTeX RDF
18	Hubert Ritzdorf	First observations using nonblocking collectives in MVAPICH.	EuroMPI	2013	DBLP DOI BibTeX RDF
18	Colin Pilbrow, Robi Malik	Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events.	FTSCS	2013	DBLP DOI BibTeX RDF
18	Farzam Boroomand, Shahin Hashtrudi-Zad	A limited lookahead policy in Robust Nonblocking Supervisory Control of discrete event systems.	ACC	2013	DBLP DOI BibTeX RDF
18	Sahar Mohajerani, Robi Malik, Martin Fabian	Compositional nonblocking verification for extended finite-state automata using partial unfolding.	CASE	2013	DBLP DOI BibTeX RDF
18	Manjunath Gorentla Venkata, Pavel Shamis, Rahul S. Sampath, Richard L. Graham, Joshua Ladd	Optimizing blocking and nonblocking reduction operations for multicore systems: Hierarchical design and implementation.	CLUSTER	2013	DBLP DOI BibTeX RDF
18	David Friggens	On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures.		2013	RDF
18	Kaveh Aasaraai, Andreas Moshovos	NCOR: An FPGA-Friendly Nonblocking Data Cache for Soft Processors with Runahead Execution.	Int. J. Reconfigurable Comput.	2012	DBLP DOI BibTeX RDF
18	Seong-Jin Park	Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation.	Int. J. Control	2012	DBLP DOI BibTeX RDF
18	Hung Q. Ngo 0001, Atri Rudra, Anh N. Le, Thanh-Nhan Nguyen	Analyzing Nonblocking Switching Networks using Linear Programming (Duality)	CoRR	2012	DBLP BibTeX RDF
18	Yang Wang 0014, Hung Q. Ngo 0001, Thanh-Nhan Nguyen	Constructions of given-depth and optimal multirate rearrangeably nonblocking distributors.	J. Comb. Optim.	2012	DBLP DOI BibTeX RDF
18	Rachid Guerraoui, Vassos Hadzilacos, Petr Kuznetsov, Sam Toueg	The Weakest Failure Detectors to Solve Quittable Consensus and Nonblocking Atomic Commit.	SIAM J. Comput.	2012	DBLP DOI BibTeX RDF
18	Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson	Symbolic computation of nonblocking control function for timed discrete event systems.	CDC	2012	DBLP DOI BibTeX RDF
18	D. J. Guan, Li-Da Tong, Irene Ya-Ping Chen	A Routing Algorithm for Rearrangeable Nonblocking Optical Banyan-type Networks.	BWCCA	2012	DBLP DOI BibTeX RDF
18	Zhiyang Guo, Yuanyuan Yang 0001	On Nonblocking Multirate Multicast Fat-tree Data Center Networks with Server Redundancy.	IPDPS	2012	DBLP DOI BibTeX RDF
18	Mohammad Reza Shoaei, Lei Feng 0002, Bengt Lennartson	Abstractions for nonblocking supervisory control of Extended Finite Automata.	CASE	2012	DBLP DOI BibTeX RDF
18	Zhiyang Guo, Zhemin Zhang, Yuanyuan Yang 0001	Exploring server redundancy in nonblocking multicast data center networks.	INFOCOM	2012	DBLP DOI BibTeX RDF
18	Grigori Inozemtsev, Ahmad Afsahi	Designing an Offloaded Nonblocking MPI_Allgather Collective Using CORE-Direct.	CLUSTER	2012	DBLP DOI BibTeX RDF
18	Ajithkumar Thamarakuzhi, John A. Chandy	2-Dilated flattened butterfly: A nonblocking switching topology for high-radix networks.	Comput. Commun.	2011	DBLP DOI BibTeX RDF
18	Seong-Jin Park, Kwang-Hyun Cho	Modular nonblocking state feedback control of discrete event systems and its application to dynamic oligopolistic markets.	Int. J. Control	2011	DBLP DOI BibTeX RDF
18	Bo Hong, Zhengyu He	An Asynchronous Multithreaded Algorithm for the Maximum Network Flow Problem with Nonblocking Global Relabeling Heuristic.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	Maximum network flow, parallel algorithm, multithreading, lock-free
18	Robert L. Constable	Effectively Nonblocking Consensus Procedures Can Execute Forever - a Constructive Version of FLP	CoRR	2011	DBLP BibTeX RDF
18	Wojciech Kabacinski, Tomasz Wichary	Nonblocking multirate log2(N, m, p) switching networks with multicast connections.	Networks	2011	DBLP DOI BibTeX RDF
18	Lucien Ouedraogo, Ratnesh Kumar 0001, Robi Malik, Knut Åkesson	Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata.	IEEE Trans Autom. Sci. Eng.	2011	DBLP DOI BibTeX RDF
18	Hung Q. Ngo 0001, Anh Le, Yang Wang 0014	A linear programming duality approach to analyzing strictly nonblocking d-ary multilog networks under general crosstalk constraints.	J. Comb. Optim.	2011	DBLP DOI BibTeX RDF
18	Vishwanath Venkatesan, Mohamad Chaarawi, Edgar Gabriel, Torsten Hoefler	Design and Evaluation of Nonblocking Collective I/O Operations.	EuroMPI	2011	DBLP DOI BibTeX RDF
18	Xin Yuan 0001	On Nonblocking Folded-Clos Networks in Computer Communication Environments.	IPDPS	2011	DBLP DOI BibTeX RDF
18	Yujie Liu, Michael F. Spear	A nonblocking set optimized for querying the minimum value.	PODC	2011	DBLP DOI BibTeX RDF
18	Simon Ware, Robi Malik	A Process-Algebraic Semantics for Generalised Nonblocking.	CATS	2011	DBLP BibTeX RDF
18	Si-Qing Zheng, Ashwin Gumaste, Hong Shen 0001	A parallel self-routing rearrangeable nonblocking multi-log2 N photonic switching network.	IEEE/ACM Trans. Netw.	2010	DBLP DOI BibTeX RDF
18	Irene Ya-Ping Chen, Li-Da Tong, Yi-Ming Huang	Rearrangeable Nonblocking Optical Interconnection Network Fabrics With Crosstalk Constraints.	IEEE/ACM Trans. Netw.	2010	DBLP DOI BibTeX RDF
18	S. Q. Zheng 0001	An Optimal Wide-Sense Nonblocking Distributor.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF
18	Torsten Hoefler, Timo Schneider, Andrew Lumsdaine	Accurately measuring overhead, communication time and progression of blocking and nonblocking collective operations at massive scale.	Int. J. Parallel Emergent Distributed Syst.	2010	DBLP DOI BibTeX RDF
18	Martin Schoeberl, Wolfgang Puffitsch	Nonblocking real-time garbage collection.	ACM Trans. Embed. Comput. Syst.	2010	DBLP DOI BibTeX RDF
18	Maja Rotovnik, Janez Zerovnik	Wide - Sense Nonblocking logd(N; 0; p) Networks.	CTW	2010	DBLP BibTeX RDF
18	Ajithkumar Thamarakuzhi, John A. Chandy	2-dilated flattened butterfly: A nonblocking switching network.	HPSR	2010	DBLP DOI BibTeX RDF
18	Lucien Ouedraogo, Ratnesh Kumar 0001, Robi Malik, Knut Åkesson	Symbolic approach to nonblocking and safe control of Extended Finite Automata.	CASE	2010	DBLP DOI BibTeX RDF
18	Simon Ware, Robi Malik	Compositional nonblocking verification using annotated automata.	WODES	2010	DBLP DOI BibTeX RDF
18	Hung Q. Ngo 0001, Atri Rudra, Anh N. Le, Thanh-Nhan Nguyen	Analyzing Nonblocking Switching Networks using Linear Programming (Duality).	INFOCOM	2010	DBLP DOI BibTeX RDF
18	Yusuke Fukushima, Xiaohong Jiang 0001, Achille Pattavina, Susumu Horiguchi	Self-Routing Nonblocking WDM Switches Based on Arrayed Waveguide Grating.	IEICE Trans. Commun.	2009	DBLP DOI BibTeX RDF
18	Lindsay Groves	Reasoning about Nonblocking Concurrency.	J. Univers. Comput. Sci.	2009	DBLP DOI BibTeX RDF
18	Md. Mamun-ur-Rashid Khandker	Distributed Control Routing Algorithms for Rearrangeably Nonblocking Optical Banyan Networks.	J. Networks	2009	DBLP DOI BibTeX RDF
18	Hung Q. Ngo 0001, Thanh-Nhan Nguyen, Duc T. Ha	Analyzing Nonblocking Multilog Networks with the köNIG-Egevarý Theorem.	Discret. Math. Algorithms Appl.	2009	DBLP DOI BibTeX RDF
18	Grzegorz Danilewicz	Wide-sense nonblocking multicast logd (N, m, p) switching networks under the window algorithm.	IEEE Trans. Commun.	2009	DBLP DOI BibTeX RDF
18	Xuesong Jonathan Tan, Shuo-Yen Robert Li	Hybrid preservation of conditionally nonblocking switches under 2-stage interconnection.	IEEE Trans. Commun.	2009	DBLP DOI BibTeX RDF
18	Wenqing Dou, Frank K. Hwang	Optimal Reservation Scheme Routing for Two-Rate Wide-Sense Nonblocking Three-Stage Clos Networks.	The Mathematics of Preference, Choice and Order	2009	DBLP DOI BibTeX RDF
18	Philippe Stellwag, Wolfgang Schröder-Preikschat, Daniel Lohmann	An asynchronous nonblocking coordination and synchronization protocol for a parallel robotic control kernel.	IIES@EuroSys	2009	DBLP DOI BibTeX RDF
18	Klaus Schmidt 0002, Thomas Moor, Sebastian Perk	Nonblocking Hierarchical Control of Decentralized Discrete Event Systems.	IEEE Trans. Autom. Control.	2008	DBLP DOI BibTeX RDF
18	Jing Huang 0022, Ratnesh Kumar 0001	Optimal Nonblocking Directed Control of Discrete Event Systems.	IEEE Trans. Autom. Control.	2008	DBLP DOI BibTeX RDF
18	Seong-Jin Park, Kwang-Hyun Cho	Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions.	Autom.	2008	DBLP DOI BibTeX RDF