Search results for "guarantee"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Duc-Cuong Dang, Andre Opris, Bahare Salehi, Dirk Sudholt	A Proof that Using Crossover Can Guarantee Exponential Speed-Ups in Evolutionary Multi-Objective Optimisation.	CoRR	2023	DBLP DOI BibTeX RDF
12	Siyuan Liu, Adnane Saoud, Dimos V. Dimarogonas	Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts.	CoRR	2023	DBLP DOI BibTeX RDF
12	Saddek Bensalem, Chih-Hong Cheng, Wei Huang 0035, Xiaowei Huang 0001, Changshun Wu, Xingyu Zhao 0001	What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems.	CoRR	2023	DBLP DOI BibTeX RDF
12	Mohammadsaleh Nikooroo, Zdenek Becvar, Omid Esrafilian, David Gesbert	Channel Reuse for Backhaul in UAV Mobile Networks with User QoS Guarantee.	CoRR	2023	DBLP DOI BibTeX RDF
12	Shuai Zhang	Non-Convex Optimizations for Machine Learning with Theoretical Guarantee: Robust Matrix Completion and Neural Network Learning.	CoRR	2023	DBLP DOI BibTeX RDF
12	Haoyu Wang, Jialin Liu 0003, Xiaohan Chen, Xinshang Wang, Pan Li, Wotao Yin	DIG-MILP: a Deep Instance Generator for Mixed-Integer Linear Programming with Feasibility Guarantee.	CoRR	2023	DBLP DOI BibTeX RDF
12	Haozhi Wang, Yinchuan Li, Qing Wang 0015, Yunfeng Shao 0001, Jianye Hao	Multi-agent Policy Reciprocity with Theoretical Guarantee.	CoRR	2023	DBLP DOI BibTeX RDF
12	Guillaume Marçais, Dan F. DeBlasio, Carl Kingsford	Sketching methods with small window guarantee using minimum decycling sets.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ori Lahav 0001, Brijesh Dongol, Heike Wehrheim	Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version).	CoRR	2023	DBLP DOI BibTeX RDF
12	Ziliang Samuel Zhong, Shuyang Ling	Improved theoretical guarantee for rank aggregation via spectral method.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ben Wooding, Abolfazl Lavaei, Sadegh Soudjani	Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach.	CoRR	2023	DBLP DOI BibTeX RDF
12	Fedor V. Fomin, Petr A. Golovach, Danil Sagunov, Kirill Simonov	Approximating Long Cycle Above Dirac's Guarantee.	CoRR	2023	DBLP DOI BibTeX RDF
12	Bryan Chan, Karime Pereida, James Bergstra	A Statistical Guarantee for Representation Transfer in Multitask Imitation Learning.	CoRR	2023	DBLP DOI BibTeX RDF
12	Dimitri Meunier, Zhu Li, Arthur Gretton, Samory Kpotufe	Nonlinear Meta-Learning Can Guarantee Faster Rates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia	Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.	CoRR	2023	DBLP DOI BibTeX RDF
12	Bo Li 0037, Hervé Moulin 0001, Ankang Sun, Yu Zhou	On Hill's Worst-Case Guarantee for Indivisible Bads.	CoRR	2023	DBLP DOI BibTeX RDF
12	Nisansala P. Yatapanage, Cliff B. Jones	Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols.	CoRR	2023	DBLP DOI BibTeX RDF
12	Anil Alan, Tamás G. Molnár, Aaron D. Ames, Gábor Orosz	Parameterized Barrier Functions to Guarantee Safety under Uncertainty.	CoRR	2023	DBLP DOI BibTeX RDF
12	David Cushing, David I. Stewart	You need 27 tickets to guarantee a win on the UK National Lottery.	CoRR	2023	DBLP DOI BibTeX RDF
12	Florian Turati, Carlos Cotrini, Karel Kubicek 0001, David A. Basin	Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System.	CoRR	2023	DBLP DOI BibTeX RDF
12	Junlong Lyu, Zhitang Chen, Shoubo Feng	Convergence guarantee for consistency models.	CoRR	2023	DBLP DOI BibTeX RDF
12	Tao Pan, Huaiquan Zang	Position-based impedance torque control for automatic clutch with robust predefined-time stability guarantee.	J. Syst. Control. Eng.	2023	DBLP DOI BibTeX RDF
12	Muhammad Tahir Hamid, Khalid Naeem, Faruk Karaaslan	A futuristic conception about q-rung orthopair fuzzy soft measure with application to guarantee the clean environment for healthy life.	Soft Comput.	2023	DBLP DOI BibTeX RDF
12	Xueli Fan, Qixin Wang, Jie Liu 0001	A Reliable Wireless Protocol for Highway and Metered-Ramp CAV Collaborative Merging with Constant-Time-Headway Safety Guarantee.	ACM Trans. Cyber Phys. Syst.	2023	DBLP DOI BibTeX RDF
12	Yanhai Li, Jinwen Ou, Chaocheng Gu	Buyer guarantee and bailout in supplier finance with bankruptcy cost.	Eur. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
12	Baifu Zheng, Cao Zeng, Shidong Li, Guisheng Liao	Recovery Guarantee Analyses of Joint Sparse Recovery via Tail $ \ell _{2,1}$ Minimization.	IEEE Trans. Signal Process.	2023	DBLP DOI BibTeX RDF
12	Ding Wang 0001, Jiangyu Wang, Mingming Zhao, Peng Xin, Junfei Qiao 0001	Adaptive Multi-Step Evaluation Design With Stability Guarantee for Discrete-Time Optimal Learning Control.	IEEE CAA J. Autom. Sinica	2023	DBLP DOI BibTeX RDF
12	Kedi Yang, Zhenyong Zhang, Youliang Tian, Jianfeng Ma 0001	A Secure Authentication Framework to Guarantee the Traceability of Avatars in Metaverse.	IEEE Trans. Inf. Forensics Secur.	2023	DBLP DOI BibTeX RDF
12	Kang Wei, Jun Li 0004, Chuan Ma, Ming Ding 0001, Wen Chen 0001, Jun Wu 0006, Meixia Tao, H. Vincent Poor	Personalized Federated Learning With Differential Privacy and Convergence Guarantee.	IEEE Trans. Inf. Forensics Secur.	2023	DBLP DOI BibTeX RDF
12	Zhehong Hao, Hao Chang	Robust time-consistent strategy for the defined contribution pension plan with a minimum guarantee under ambiguity.	Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
12	Sara Lafia, David A. Bleckley, J. Trent Alexander	Digitizing and parsing semi-structured historical administrative documents from the G.I. Bill mortgage guarantee program.	J. Documentation	2023	DBLP DOI BibTeX RDF
12	Hien Q. Ta, Lam Cao, Hoon Oh	Novel Noise Injection Scheme to Guarantee Zero Secrecy Outage under Imperfect CSI.	Entropy	2023	DBLP DOI BibTeX RDF
12	Bar Alon, Eran Omri, Muthuramakrishnan Venkitasubramaniam	Can Alice and Bob Guarantee Output to Carol?	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
12	Tim Brüdigam, Michael Olbrich, Dirk Wollherr, Marion Leibold	Stochastic Model Predictive Control With a Safety Guarantee for Automated Driving.	IEEE Trans. Intell. Veh.	2023	DBLP DOI BibTeX RDF
12	Ge Guo, Dongqi Yang, Renyongkang Zhang	Distributed Trajectory Optimization and Platooning of Vehicles to Guarantee Smooth Traffic Flow.	IEEE Trans. Intell. Veh.	2023	DBLP DOI BibTeX RDF
12	Jiacong Yan, Hongwei Lin	Adaptive Slicing of Implicit Porous Structure with Topology Guarantee.	Comput. Aided Des.	2023	DBLP DOI BibTeX RDF
12	Xinyu Lu, Pengbo Bo, Linqin Wang	Real-Time 3D Topological Braiding Simulation with Penetration-Free Guarantee.	Comput. Aided Des.	2023	DBLP DOI BibTeX RDF
12	Jordan Ortega-Rodríguez, José Francisco Gómez González, Ernesto Pereda	Selection of the Minimum Number of EEG Sensors to Guarantee Biometric Identification of Individuals.	Sensors	2023	DBLP DOI BibTeX RDF
12	Tianhao Wu, Ji Cheng, Chaorui Zhang, Jianfeng Hou, Gengjian Chen, Zhongyi Huang, Weixi Zhang, Wei Han 0004, Bo Bai 0001	ClipSim: A GPU-friendly Parallel Framework for Single-Source SimRank with Accuracy Guarantee.	Proc. ACM Manag. Data	2023	DBLP DOI BibTeX RDF
12	Shunwai Zhang, Lulu Song, Jun Li, Tho Le-Ngoc	Energy efficiency analysis and optimization for reconfigurable intelligent surface aided DF relay cooperation with minimum-rate guarantee.	Telecommun. Syst.	2023	DBLP DOI BibTeX RDF
12	Dawei Cheng, Zhibin Niu, Liqing Zhang 0001	Delinquent Events Prediction in Temporal Networked-Guarantee Loans.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
12	Sidharth Sharma, Aniruddha Kushwaha, Mohammad Alizadeh, George Varghese, Ashwin Gumaste	Tuneman: Customizing Networks to Guarantee Application Bandwidth and Latency.	ACM Trans. Internet Techn.	2023	DBLP DOI BibTeX RDF
12	Man Zeng, Dandan Li, Pei Zhang 0003, Kun Xie 0003, Xiaohong Huang	Federated Route Leak Detection in Inter-domain Routing with Privacy Guarantee.	ACM Trans. Internet Techn.	2023	DBLP DOI BibTeX RDF
12	Dekel Tsur	Above guarantee parameterization for vertex cover on graphs with maximum degree 4.	J. Comb. Optim.	2023	DBLP DOI BibTeX RDF
12	Yan Yang 0007, Yizhou Wang 0006, Jiazhen Wang, Jian Sun 0009, Zongben Xu	An Unrolled Implicit Regularization Network for Joint Image and Sensitivity Estimation in Parallel MR Imaging with Convergence Guarantee.	SIAM J. Imaging Sci.	2023	DBLP DOI BibTeX RDF
12	ShangBei Wang, WeiYu Dong	Matching Logic for Concurrent Programs Based on Rely/Guarantee and Abstract Patterns.	Int. J. Softw. Eng. Knowl. Eng.	2023	DBLP DOI BibTeX RDF
12	Yong-Ce Liu, Zi-Yang Wu, Pengcheng Song	Online Trajectory Optimization for UAV-Assisted Hybrid FSO/RF Network With QoS-Guarantee.	IEEE Commun. Lett.	2023	DBLP DOI BibTeX RDF
12	Xiao Hong, Xiaoqi Wang, Yuehong Gao, Jia He 0007, Hongwen Yang	Statistical Delay Guarantee of Wireless Channel With Automatic Repeat Request in Industrial IoT.	IEEE Commun. Lett.	2023	DBLP DOI BibTeX RDF
12	Letícia Maria Veiras Bolzani	Embedded Tutorial - RRAMs: How to Guarantee Their Quality Test after Manufacturing?	DDECS	2023	DBLP DOI BibTeX RDF
12	Pedro Ângelo 0002, Viviana Bono, Mariangiola Dezani-Ciancaglini, Mário Florido	Gradual Guarantee for FJ with lambda-Expressions.	FTfJP@ECOOP	2023	DBLP DOI BibTeX RDF
12	Chenyu Zhao, Haoyang Wang 0012, Jiaqi Li, Fanhang Man, Shilong Mu, Wenbo Ding, Xiao-Ping Zhang 0002, Xinlei Chen	SmoothLander: A Quadrotor Landing Control System with Smooth Trajectory Guarantee Based on Reinforcement Learning.	UbiComp/ISWC Adjunct	2023	DBLP DOI BibTeX RDF
12	Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli	Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.	MEMOCODE	2023	DBLP BibTeX RDF
12	Ori Lahav 0001, Brijesh Dongol, Heike Wehrheim	Rely-Guarantee Reasoning for Causally Consistent Shared Memory.	CAV (1)	2023	DBLP DOI BibTeX RDF
12	Yonghua Xu, Jiaqi Liu, Yuying Yang	Data Quality Guarantee Mechanism Based on Sunk Cost Effect.	ICPS	2023	DBLP DOI BibTeX RDF
12	Jing Qiao, Shikun Shen, Shuzhen Chen 0001, Xiao Zhang 0015, Tian Lan, Xiuzhen Cheng 0001, Dongxiao Yu	Communication Resources Limited Decentralized Learning with Privacy Guarantee through Over-the-Air Computation.	MobiHoc	2023	DBLP DOI BibTeX RDF
12	Jingdi Chen, Tian Lan, Nakjung Choi	Distributional-Utility Actor-Critic for Network Slice Performance Guarantee.	MobiHoc	2023	DBLP DOI BibTeX RDF
12	Kouichi Genda	Deep learning inference time guarantee in near future edge computing.	ICNC	2023	DBLP DOI BibTeX RDF
12	Tian-Bo Deng	Design and Stability Guarantee of Variable Center-Frequency Bandpass Filters.	JCSSE	2023	DBLP DOI BibTeX RDF
12	Jennifer Ly, Yutian Chen, Bin Tang	Data-VCG: A Data Preservation Game for Base Station-less Sensor Networks with Performance Guarantee.	IFIP Networking	2023	DBLP DOI BibTeX RDF
12	Mouhamed Amine Bouchiha, Yacine Ghamri-Doudane, Mourad Rabah, Ronan Champagnat	GuRuChain: Guarantee and Reputation-based Blockchain Service Trading Platform.	IFIP Networking	2023	DBLP DOI BibTeX RDF
12	Xueyi Li, Yusen Zhou	Evolutionary Game Analysis of Fresh Food Supply Guarantee in China's Megacities Lockdown Against Covid-19.	ICCMB	2023	DBLP DOI BibTeX RDF
12	Peiyu Duan, Yuan Xue 0002, Shuo Han 0001, Lianrui Zuo, Aaron Carass, Caitlyn Bernhard, Savannah Hays, Peter A. Calabresi, Susan M. Resnick, James S. Duncan, Jerry L. Prince	Rapid Brain Meninges Surface Reconstruction with Layer Topology Guarantee.	ISBI	2023	DBLP DOI BibTeX RDF
12	Mengwei Xie, Lizhen Cui, Jianxiong Liu, Wei Guo, Feng Li	Time Fairness-Based Application Offloading in Mobile Edge Computing with Individual QoS Guarantee.	ISPA/BDCloud/SocialCom/SustainCom	2023	DBLP DOI BibTeX RDF
12	Mathias Morbitzer, Benedikt Kopf, Philipp Zieris	GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments.	CLOUD	2023	DBLP DOI BibTeX RDF
12	Alessandro Simonetta, Maria Cristina Paoletti, Tsuyoshi Nakajima	The SQuaRE Series as a Guarantee of Ethics in the Results of AI Systems.	IWESQ/QuASoQ@APSEC	2023	DBLP BibTeX RDF
12	Mohammadsaleh Nikooroo, Zdenek Becvar, Omid Esrafilian, David Gesbert	Channel Reuse for Backhaul in UAV Mobile Networks with User QoS Guarantee.	ICC	2023	DBLP DOI BibTeX RDF
12	Chun-Ting Lee, Yi-Ting Li, Yung-Chih Chen, Chun-Yao Wang	Approximate Logic Synthesis by Genetic Algorithm with an Error Rate Guarantee.	ASP-DAC	2023	DBLP DOI BibTeX RDF
12	Fedor V. Fomin, Petr A. Golovach, Danil Sagunov, Kirill Simonov	Approximating Long Cycle Above Dirac's Guarantee.	ICALP	2023	DBLP DOI BibTeX RDF
12	Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen	Assume-Guarantee Reasoning for Additive Hybrid Behaviour.	Theories of Programming and Formal Methods	2023	DBLP DOI BibTeX RDF
12	Tian-Bo Deng	Unique Functions for the Stability-Guarantee of Variable Digital Filters.	ICAIIC	2023	DBLP DOI BibTeX RDF
12	Hojin Choi, Hyuk Kwon, Junghee Lee, Yonghee Lee, Kijoong Kim	Hardware-Based Isolation Technique to Guarantee Availability of Security Controls in a Gateway for Industrial Networks.	ICEIC	2023	DBLP DOI BibTeX RDF
12	Giang Ngo, Dang Nguyen, Dat Phan-Trong, Sunil Gupta 0001	Active Level Set Estimation for Continuous Search Space with Theoretical Guarantee.	ACML	2023	DBLP BibTeX RDF
12	Kenshiro Oguri	Successive Convexification with Feasibility Guarantee via Augmented Lagrangian for Non-Convex Optimal Control Problems.	CDC	2023	DBLP DOI BibTeX RDF
12	Ba Huy Nguyen, Igor Furtat, Sergey A. Vrazhevsky	Control of Linear Systems with Guarantee of Outputs in Given Sets at Any Time.	CDC	2023	DBLP DOI BibTeX RDF
12	Georg Friedrich Schuppe, Ilaria Torre 0001, Iolanda Leite, Jana Tumova	Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop.	Robotics: Science and Systems	2023	DBLP DOI BibTeX RDF
12	Xiayan Ji, Hyon-Young Choi, Oleg Sokolsky, Insup Lee 0001	Incremental Anomaly Detection with Guarantee in the Internet of Medical Things.	IoTDI	2023	DBLP DOI BibTeX RDF
12	Yetian Cao, Yi Jia, Cheng Zhang 0004, Jie Wu, Yongming Huang	Hierarchical Intelligence Enabled Joint RAN Slicing and MAC Scheduling for SLA Guarantee.	GLOBECOM	2023	DBLP DOI BibTeX RDF
12	Ruyan Wang, Xianyi Ye, Peng He 0001, Yaping Cui, Dapeng Wu 0002	LEO Satellite Constellation Design for Seamless Global Coverage with QoS Guarantee.	GLOBECOM	2023	DBLP DOI BibTeX RDF
12	Baojie Fu, Zhidu Li, Tong Tang, Dapeng Wu 0002, Ruyan Wang	VR Service Delay Guarantee with Interest Prediction: A Joint Caching, Computing and Communication Optimization Approach.	GLOBECOM	2023	DBLP DOI BibTeX RDF
12	Ivan Bliznets, Vladislav Epifanov	MaxCut Above Guarantee.	MFCS	2023	DBLP DOI BibTeX RDF
12	Yechao She, Minming Li, Yang Jin, Meng Xu 0009, Jianping Wang 0001, Bin Liu	On-demand Edge Inference Scheduling with Accuracy and Deadline Guarantee.	IWQoS	2023	DBLP DOI BibTeX RDF
12	Xuefang Sun, Yuyang Wang, Yangjie Yu, Jiahui Li, Dehuan Yan	Optimal Delivery Time Guarantee Decision with Sale Price and Indemnity Cost-sensitive Delivery Time under Delivery Time-sensitive Demand.	IMMS	2023	DBLP DOI BibTeX RDF
12	Tao Peng 0010, Kefan Yao, Yansong Xu, Chao Yang, Yanghe Liu, Xu Yang	A LADRC-based Control Strategy with Performance Guarantee for On-board SC ESS of Urban Rail Traction.	IECON	2023	DBLP DOI BibTeX RDF
12	Duc-Cuong Dang, Andre Opris, Bahare Salehi, Dirk Sudholt	A Proof That Using Crossover Can Guarantee Exponential Speed-Ups in Evolutionary Multi-Objective Optimisation.	AAAI	2023	DBLP DOI BibTeX RDF
12	Chang Wu, Hancheng Lu, Yuang Chen, Chenwu Zhang, Feihong Chen	AQM-based Buffer Delay Guarantee for Congestion Control in 5G Networks.	WCNC	2023	DBLP DOI BibTeX RDF
12	A. Meihan Jin, B. Tianxu Sun, C. Rongxin Wang	Research on the Market Guarantee Mechanism for Yunnan Power Grid Abundance under the New Power System.	iSPEC	2023	DBLP DOI BibTeX RDF
12	Sunghyun Jin, Serae Kim, Kyunghan Lee	Co-Scheduling of Radio and Computing Resources for Resource-Efficient Latency Guarantee in 6G.	CloudNet	2023	DBLP DOI BibTeX RDF
12	Weihua Zhou, Nabil Mohammed, Behrooz Bahrani	Voltage and Current Dynamics-Canceled Virtual Synchronous Generators for Stability Guarantee.	ISGT Asia	2023	DBLP DOI BibTeX RDF
12	Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang	Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study.	FMICS	2023	DBLP DOI BibTeX RDF
12	Ningning Cui, Zheli Deng, Man Li, Yuliang Ma, Jie Cui 0004, Hong Zhong 0001	Authenticated Ranked Keyword Search over Encrypted Data with Strong Privacy Guarantee.	DASFAA (1)	2023	DBLP DOI BibTeX RDF
12	Caihong Liu, Yuming Zhu, Bingxu Mu, Lei He	Research on the Key Influencing Factors and Guarantee Strategies of Comprehensive Land Consolidation Based on the Optimization of Fuzzy-BWM.	SMC	2023	DBLP DOI BibTeX RDF
12	Shangru Yang, Yong Ding 0005, Yujue Wang, Hai Liang, Changsong Yang, Huiyong Wang	Secure Multi-Keyword Retrieval with Integrity Guarantee for Outsourced ADS-B Data in Clouds.	ICPADS	2023	DBLP DOI BibTeX RDF
12	Zhijing Yang, Hui Zhang, Chunming Yang, Yi Yang, Bo Li	Cost Guarantee for Individual Fairness on Spectral Clustering.	ICPADS	2023	DBLP DOI BibTeX RDF
12	Hannaneh Akrami, Noga Alon, Bhaskar Ray Chaudhury, Jugal Garg, Kurt Mehlhorn, Ruta Mehta	EFX: A Simpler Approach and an (Almost) Optimal Guarantee via Rainbow Cycle Number.	EC	2023	DBLP DOI BibTeX RDF
12	Qing Feng, Ruihao Zhu, Stefanus Jasin	Temporal Fairness in Learning and Earning: Price Protection Guarantee and Phase Transitions.	EC	2023	DBLP DOI BibTeX RDF
12	Sofiane Messaoudi, Adlen Ksentini, Christian Bonnet	SDN Framework for QoS provisioning and latency guarantee in 5G and beyond.	CCNC	2023	DBLP DOI BibTeX RDF
12	Chang Liu, Jiaoyang Yin, Yiling Xu	Adaptive Live Streaming for Multi-user Access with Fairness Guarantee.	BMSB	2023	DBLP DOI BibTeX RDF
12	Larissa A. Meinicke, Ian J. Hayes	Using scylindric algebra to support local variables in rely/guarantee concurrency.	FormaliSE	2023	DBLP DOI BibTeX RDF
12	Xinhang Wang, Lizhuang Tan, Wei Zhang 0049	enCBS: Delay Guarantee Mechanism based on Credit-based Shaping for Programmable Switch.	APNOMS	2023	DBLP BibTeX RDF
12	Xiangyu Xiang, Yu Hua, Hao Xu	PMA: A Persistent Memory Allocator with High Efficiency and Crash Consistency Guarantee.	ICCD	2023	DBLP DOI BibTeX RDF