Sciweavers

7992 search results - page 85 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
INFORMATICALT
2008
127views more  INFORMATICALT 2008»
13 years 7 months ago
Energy Cost Optimization by Adequate Transmission Rate Dividing in Wireless Communication System
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...
Reu-Ching Chen, Chen-Sung Chang
CADE
1998
Springer
13 years 12 months ago
A Proof Environment for the Development of Group Communication Systems
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...
Christoph Kreitz, Mark Hayden, Jason Hickey
IJFCS
2006
106views more  IJFCS 2006»
13 years 7 months ago
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...
IEICET
2006
86views more  IEICET 2006»
13 years 7 months ago
Multiband Mobile Communication System for Wide Coverage and High Data Rate
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...
Yoshitaka Hara, Kazuyoshi Oshima
IPPS
2006
IEEE
14 years 1 months ago
A compiler-based communication analysis approach for multiprocessor systems
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...
Shuyi Shao, Alex K. Jones, Rami G. Melhem