- 2024
- Zhe Zhao
, Zhiliang Qiu, Weitao Pan, Hui Li, Ling Zheng
, Ya Gao
:
Design and implementation of a frame preemption model without guard bands for time-sensitive networking. Comput. Networks 243: 110285 (2024) - Hong Lin, Lidan Shou, Ke Chen, Gang Chen, Sai Wu:
FL-GUARD: A Holistic Framework for Run-Time Detection and Recovery of Negative Federated Learning. CoRR abs/2403.04146 (2024) - Benoît Barbot, Damien Busatto-Gaston, Catalin Dima, Youssouf Oualhadj:
Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards. CoRR abs/2404.18584 (2024) - 2023
- M. E. Abdelhafez, Sureswaran Ramadass, Mustafa Abdelwahab:
TLS Guard for TLS 1.3 zero round-trip time (0-RTT) in a distributed environment. J. King Saud Univ. Comput. Inf. Sci. 35(10): 101797 (2023) - Dan Tang, Dongshuo Zhang, Zheng Qin, Qiuwei Yang, Sheng Xiao:
SFTO-Guard: Real-time detection and mitigation system for slow-rate flow table overflow attacks. J. Netw. Comput. Appl. 213: 103597 (2023) - Anirudha Sahoo
, Weichao Gao
, Tanguy Ropitault
, Nada Golmie
:
Admission Control and Scheduling of Isochronous Traffic With Guard Time in IEEE 802.11ad MAC. IEEE Trans. Mob. Comput. 22(12): 7218-7233 (2023) - Jingyang Li, Dengpan Ye, Long Tang, Chuanxi Chen, Shengshan Hu:
Voice Guard: Protecting Voice Privacy with Strong and Imperceptible Adversarial Perturbation in the Time Domain. IJCAI 2023: 4812-4820 - Xi Chen, Jiaxiang Feng, Aly Shoukry, Xin Zhang
, Raveesh Magod
, Nachiket V. Desai, Jie Gu:
Proactive Power Regulation with Real-time Prediction and Fast Response Guardband for Fine-grained Dynamic Voltage Droop Mitigation on Digital SoCs. VLSI Technology and Circuits 2023: 1-2 - 2022
- Sumaira Manzoor
, Eun-Jin Kim
, Sung-Hyeon Joo
, Sang-Hyeon Bae
, Gun-Gyo In, Kyeong-Jin Joo, Jun-Hyeon Choi, Tae-Yong Kuc
:
Edge Deployment Framework of GuardBot for Optimized Face Mask Recognition With Real-Time Inference Using Deep Learning. IEEE Access 10: 77898-77921 (2022) - Libing Deng
, Xiongren Xiao
, Hong Liu
, Renfa Li
, Guoqi Xie
:
A low-delay AVB flow scheduling method occupying the guard band in Time-Sensitive Networking. J. Syst. Archit. 129: 102586 (2022) - Fan Meng, Qunli Yang, Zhengda He, Shangdong Yang, Weidong Tang:
GUARD: Multigranularity-based Unsupervised Anomaly Detection Algorithm for Multivariate Time Series. CCIS 2022: 25-30 - Zexian Pan, Qingxu Deng, Zhiwei Feng, Yuhan Lin
, Changqing Xia:
Optimized Scheduling for Guard Bands Reduction in Time-Sensitive Networking. HPCC/DSS/SmartCity/DependSys 2022: 1963-1970 - 2021
- Aleksandr S. Tvardovskii
, Nina V. Evtushenko:
Deriving Homing Sequences for Finite State Machines with Timed Guards. Autom. Control. Comput. Sci. 55(7): 738-750 (2021) - Dario Cattaruzza, Alessandro Abate
, Peter Schrammel
, Daniel Kroening:
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. J. Autom. Reason. 65(2): 157-203 (2021) - Milagros Guardia, Paola Pogliani, Giulia Bordi, Panayiotis Charalambous, Carlos Andújar, Imanol Muñoz-Pandiella, Xavier Pueyo:
Digital Layered Models of Architecture and Mural Paintings over Time. CEIG 2021: 39-42 - Zhe Jiang, Kecheng Yang, Yunfeng Ma, Nathan Fisher, Neil C. Audsley, Zheng Dong
:
I/O-GUARD: Hardware/Software Co-Design for I/O Virtualization with Guaranteed Real-time Performance. DAC 2021: 1159-1164 - Isaac Grosof, Ziv Scully, Mor Harchol-Balter:
Load balancing guardrails: keeping your heavy traffic on the road to low response times (invited paper). STOC 2021: 10 - 2020
- Nathan D. Price
, Maciej J. Zawodniok
, Ivan G. Guardiola
:
Transceivers as a Resource: Scheduling Time and Bandwidth in Software-Defined Radio. IEEE Access 8: 132603-132613 (2020) - Chuwen Zhang, Yi Wang, Ruyi Yao, Boyang Zhou, Liang Cheng, Yang Xu, Xiaoguang Li, Jian Cheng, Bin Liu:
Packet-size aware scheduling algorithms in guard band for time sensitive networking. CCF Trans. Netw. 3(1): 4-20 (2020) - Jitesh Mohanan, Naveen Kothuri, Bharath Bhikkaji:
The Target Guarding Problem: A real time solution for noise corrupted measurements. Eur. J. Control 54: 111-118 (2020) - Fatima Ait Oumeziane, Redouane Kara
, Saïd Amari:
Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras. Int. J. Syst. Sci. 51(11): 2041-2056 (2020) - Steffen Smolka, Nate Foster, Justin Hsu
, Tobias Kappé
, Dexter Kozen, Alexandra Silva:
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4(POPL): 61:1-61:28 (2020) - Luca Spalazzi
, Francesco Spegni
:
Parameterized model checking of networks of timed automata with Boolean guards. Theor. Comput. Sci. 813: 248-269 (2020) - Debanjan Sadhukhan
, Seela Veerabhadreswara Rao:
Energy efficient multi-beacon guard method for periodic data gathering in time-synchronized WSN. Wirel. Networks 26(7): 5337-5354 (2020) - Qi Liu, Hongwei Ruan, Hua Li, Xiaodi Li, Xianrong Wang:
REAL-GUARD: A Machine Learning based Real-time Mechanism for Combining Packet and Flow Features to Mitigating Network Attacks in SDN. CIAT 2020: 451-458 - Fatima Ait Oumeziane, Alain Ourghanlian, Saïd Amari:
Analysis of distributed control systems using timed automata with guards and dioid algebra. ETFA 2020: 1373-1376 - Susanna Donatelli, Serge Haddad:
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. FORMATS 2020: 215-230 - Sukhada Pendse, Vasudha Krishnaswamy, Kartik Kulkarni, Yunrui Li, Tirthankar Lahiri, Vivekanandhan Raja, Jing Zheng, Mahesh Girkar, Akshay Kulkarni:
Oracle Database In-Memory on Active Data Guard: Real-time Analytics on a Standby Database. ICDE 2020: 1570-1578 - Milagros Guardia, Paola Pogliani, Giulia Bordi, Panayiotis Charalambous, Carlos Andújar, Xavier Pueyo:
Digital Layered Models of Architecture and Mural Paintings over Time. GCH 2020: 79