Proving a Non-blocking Algorithm for Process Renaming with TLA $$^+$$ +

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31157-5_10 ◽

2019 ◽

pp. 147-166 ◽

Author(s):

Aurélie Hurault ◽

Philippe Quéinnec

Keyword(s):

Blocking Algorithm

Download Full-text

Power Swing Blocking Algorithm based on Real and Reactive Power Transient Stability

Electric Power Components and Systems ◽

10.1080/15325008.2021.1906794 ◽

2021 ◽

pp. 1-13

Author(s):

Jigneshkumar Desai ◽

Vijay Makwana

Keyword(s):

Transient Stability ◽

Reactive Power ◽

Power Swing ◽

Blocking Algorithm

Download Full-text

A Blocking Algorithm for Parallel 1-D FFT on Shared-Memory Parallel Computers

Lecture Notes in Computer Science - Applied Parallel Computing ◽

10.1007/3-540-48051-x_38 ◽

2002 ◽

pp. 380-389 ◽

Author(s):

Daisuke Takahashi

Keyword(s):

Shared Memory ◽

Parallel Computers ◽

Blocking Algorithm

Download Full-text

Asynchronous Non-Blocking Algorithm to Handle Straggler Reduce Tasks in Hadoop System

International Journal on Advanced Science Engineering and Information Technology ◽

10.18517/ijaseit.10.5.9073 ◽

2020 ◽

Vol 10 (5) ◽

pp. 1913

Author(s):

Arwan A. Khoiruddin ◽

Nordin Zakaria ◽

Hitham Seddig Alhussian

Keyword(s):

Blocking Algorithm ◽

Download Full-text

Optimization of De-duplication Technology Based on CDC Blocking Algorithm

2019 12th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI) ◽

10.1109/cisp-bmei48845.2019.8965818 ◽

2019 ◽

Author(s):

Junyang Nie ◽

Lijuan Wu ◽

Jingzhang Liang

Keyword(s):

Blocking Algorithm

Download Full-text

Web Attack Blocking Algorithm Using User Authentication and Parameter Encryption

Journal of the Korea Entertainment Industry Association ◽

10.21184/jkeia.2007.12.1.1.54 ◽

2007 ◽

Vol 1 (1) ◽

pp. 54

Author(s):

Sung-Min Hong ◽

Il-Jun Choi ◽

Byoung-Kyun Chu ◽

Chang-Suk Oh

Keyword(s):

User Authentication ◽

Blocking Algorithm

Download Full-text

A Blocking Algorithm for FFT on Cache-Based Processors

High-Performance Computing and Networking - Lecture Notes in Computer Science ◽

10.1007/3-540-48228-8_58 ◽

2001 ◽

pp. 551-554 ◽

Author(s):

Daisuke Takahashi

Keyword(s):

Blocking Algorithm

Download Full-text

Covariance-Based Interference Blocking Algorithm for SIMO OFDM System

IEEE Signal Processing Letters ◽

10.1109/lsp.2006.884036 ◽

2007 ◽

Vol 14 (3) ◽

pp. 165-168 ◽

Author(s):

Rendong Ying ◽

Rueywen Liu ◽

Guozhi Xu

Keyword(s):

Ofdm System ◽

Blocking Algorithm

Download Full-text

A de-blocking algorithm and a blockiness metric for highly compressed images

IEEE Transactions on Circuits and Systems for Video Technology ◽

10.1109/tcsvt.2002.806817 ◽

2002 ◽

Vol 12 (12) ◽

pp. 1150-1159 ◽

Author(s):

Wenfeng Gao ◽

C. Mermer ◽

Yongmin Kim

Keyword(s):

Compressed Images ◽

Blocking Algorithm

Download Full-text

EBLOC: A graph theoretic blocking algorithm for social networks

Social Networks ◽

10.1016/0378-8733(83)90006-0 ◽

1983 ◽

Vol 5 (4) ◽

pp. 323-346 ◽

Author(s):

Martin G. Everett

Keyword(s):

Social Networks ◽

Graph Theoretic ◽

Blocking Algorithm

Download Full-text

Fuzzy de-blocking algorithm based on ICM filter

2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery ◽

10.1109/fskd.2010.5569558 ◽

2010 ◽

Author(s):

Xiao Ping ◽

Zho Zhiheng

Keyword(s):

Blocking Algorithm

Download Full-text