2 papers
cs.IT2024
Sparse MIMO for ISAC: New Opportunities and Challenges
Xinrui Li, Hongqi Min, Yong Zeng +4
Multiple-input multiple-output (MIMO) has been a key technology of wireless communications for decades. A typical MIMO system employs antenna arrays with the inter-antenna spacing…
cs.NI2024
Relational Network Verification
Xieyang Xu, Yifei Yuan, Zachary Kincaid +4
Relational network verification is a new approach to validating network changes. In contrast to traditional network verification, which analyzes specifications for a single network…