In this letter, we investigate the problem of CFO estimation in OFDM systems when the timing offset and channel length are not exactly known. Instead of explicitly estimating the t...
Kun Cai, Xiao Li, Jian Du, Yik-Chung Wu, Feifei Ga...
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
In this paper, based on the concept of the Tapped Delay Line (TDL) structure, we first propose a new wideband multiple-ring Multiple Input Multiple Output (MIMO) channel reference ...
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...