In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
We develop necessary and sufficient conditions for quadratic stabilizability of linear networked control systems by dynamic output feedback and communication protocols. These cond...
A design method of a linear-phased, two-dimensional (2-D), twofold symmetric circular shaped filter is presented in this paper. Although the proposed method designs a non-separab...
Akila J. Seneviratne, Ha Hoang Kha, Hoang Duong Tu...
While collaboration is a natural choice in many situations, there is a lack of specialized tools for collaboratively seeking information. We present design specifications and impl...
This paper describes the design and implementation of an XML storage manager for fast and interactive XPath expressions evaluation. This storage manager has two main parts: the XML...