Abstract. Energy cost is the main constraint in modern wireless communication system. A powerful scheme due to optimal energy cost is provided for a single node server in this pape...
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Abstract-- This paper studies a multiband mobile communication system to support both high data rate services and wide service coverage, using high and low frequency resources with...
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...