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 |
|