The Experts below are selected from a list of 10920 Experts worldwide ranked by ideXlab platform

Luc Moreau - One of the best experts on this subject based on the ideXlab platform.

  • a fault tolerant directory service for mobile agents based on forwarding pointers
    ACM Symposium on Applied Computing, 2002
    Co-Authors: Luc Moreau
    Abstract:

    A reliable communication layer is an essential component of a mobile agent system. We present a new fault-tolerant directory service for mobile agents, which can be used to route messages to them. The directory service, based on a technique of forwarding pointers, introduces some redundancy in order to ensure resilience to stopping failures of nodes containing forwarding pointers; in addition, it avoids cyclic routing of messages, and it supports a technique to collapse chains of pointers that allows direct communications between agents. We have formalised the algorithm and derived a fully mechanical proof of its correctness using the proof assistant Coq; we report on our experience of designing the algorithm and deriving its proof of correctness. The Complete Source Code of the proof is made available from the WWW.

  • SAC - A fault-tolerant directory service for mobile agents based on forwarding pointers
    Proceedings of the 2002 ACM symposium on Applied computing - SAC '02, 2002
    Co-Authors: Luc Moreau
    Abstract:

    A reliable communication layer is an essential component of a mobile agent system. We present a new fault-tolerant directory service for mobile agents, which can be used to route messages to them. The directory service, based on a technique of forwarding pointers, introduces some redundancy in order to ensure resilience to stopping failures of nodes containing forwarding pointers; in addition, it avoids cyclic routing of messages, and it supports a technique to collapse chains of pointers that allows direct communications between agents. We have formalised the algorithm and derived a fully mechanical proof of its correctness using the proof assistant Coq; we report on our experience of designing the algorithm and deriving its proof of correctness. The Complete Source Code of the proof is made available from the WWW.

  • a fault tolerant directory service for mobile agents based on forwarding pointers
    Scalable Computing: Practice and Experience, 2001
    Co-Authors: Luc Moreau
    Abstract:

    A reliable communication layer is an essential component of a mobile agent system. We present a new fault-tolerant directory service for mobile agents, which can be used to route messages reliably to them, even in the presence of failures of intermediary nodes between senders and receivers. The directory service, based on a technique of forwarding pointers, introduces some redundancy in order to ensure resilience to stopping failures of nodes containing forwarding pointers; in addition, it avoids cyclic routing of messages, and it supports a technique to collapse chains of pointers that allows direct communication between agents. We have formalised the algorithm and derived a fully mechanical proof of its correctness using the proof assistant Coq; we report on our experience of designing the algorithm and deriving its proof of correctness. The Complete Source Code of the proof is made available from the WWW.

P. M. Muraleedharan - One of the best experts on this subject based on the ideXlab platform.

  • Retrieval of sea surface humidity and back radiation from satellite data
    Journal of the Indian Society of Remote Sensing, 2007
    Co-Authors: P. V. Sathe, P. M. Muraleedharan
    Abstract:

    The paper presents a procedure and a software package to compute the sea surface humidity and atmospheric back radiation over the sea from satellite data. These parameters play an important role in air-sea exchange of heat, which in turn, determines the climate. Presently, there are no satellite sensors designed to retrieve them directly by remote sensing. This requires us to depend on in situ data, which are relatively sparse. We present a procedure in this paper that uses emission characteristics of sea surface in the microwave region of electro-magnetic spectrum to retrieve these parameters. A suite of computer programs developed for the purpose are also presented in the paper with their Complete Source Code. The procedure is based on an algorithm originally proposed by Schlussel in 1995. We have presented results for surface humidity and back radiation over the Arabian sea for the year 2000 and have shown them to be in agreement with the atmospheric and oceanographic processes operating during the corresponding seasons.

  • Retrieval and processing of atmospheric parameters from satellite data
    Computers & Geosciences, 1998
    Co-Authors: P. V. Sathe, P. M. Muraleedharan
    Abstract:

    Abstract Remote sensing of earth on passive microwave channels enables one to estimate the atmospheric parameters over oceans on a repetitive basis throughout the year. Such a data base forms a useful tool in the study of complex weather phenomena. With India's plans to include a microwave radiometer on board the forthcoming satellite Oceansat-1 in 1998, there will be increasing interest among oceanographers and meteorologists to use the satellite-derived meteorological parameters in weather studies, especially the Indian monsoon. This paper proposes a standard method to retrieve or unpack the atmospheric parameters from microwave satellite data, average them over a week, map them into 1°×1° grid and display them either as plots of equal intensities or as colour Coded images. The Complete Source Code in FORTRAN 77 for performing each of the above tasks is available at the IAMG anonymous ftp site for the benefit of potential users. As an example, we present results for the sea surface winds and atmospheric water vapour over the tropical Indian ocean for the months of January 1989 obtained by using the method described in the paper.

Brian L. Evans - One of the best experts on this subject based on the ideXlab platform.

  • ICC Workshops - Real-Time Testbed for Diversity in Powerline and Wireless Smart Grid Communications
    2018 IEEE International Conference on Communications Workshops (ICC Workshops), 2018
    Co-Authors: Junmo Sung, Brian L. Evans
    Abstract:

    Two-way communication is a key feature in a smart grid. It is enabled by either powerline communication or wireless communication technologies. Utilizing both technologies can potentially enhance communication reliability, and many diversity combining schemes have been proposed. In this paper, we propose a flexible real-time testbed to evaluate diversity combining schemes over physical channels. The testbed provides essential parts of physical layers on which both powerline and wireless communications operate. The contributions of this paper are 1) design and implementation of a real-time testbed for diversity of simultaneous powerline and wireless communications, 2) release of the setup information and Complete Source Code for the testbed, and 3) performance evaluation of maximal ratio combining (MRC) on the testbed. As initial results, we show that performance of MRC from measurements obtained on the testbed over physical channels is very close to that in simulations in various test cases under a controlled laboratory environment.

  • Real-time testbed for diversity in powerline and wireless smart grid communications
    2016
    Co-Authors: Junmo Sung, Brian L. Evans
    Abstract:

    Two-way communication is a key feature in a smart grid. It is enabled by either powerline communication or wireless communication technologies. Utilizing both technologies can potentially enhance communication reliability, and many diversity combining schemes have been proposed. In this paper, we propose a flexible real-time testbed to evaluate diversity combining schemes over physical channels. The testbed provides essential parts of physical layers on which both powerline and wireless communications operate. The contributions of this paper are 1) design and implementation of a real-time testbed for diversity of simultaneous powerline and wireless communications, 2) release of the setup information and Complete Source Code for the testbed, and 3) performance evaluation of maximal ratio combining (MRC) on the testbed. As initial results, we show that performance of MRC from measurements obtained on the testbed over physical channels is very close to that in simulations in various test cases under a controlled laboratory environment.

Xianglong Chen - One of the best experts on this subject based on the ideXlab platform.

  • cobot static c c bug detection in the presence of inComplete Code
    International Conference on Program Comprehension, 2018
    Co-Authors: Qing Gao, Sihao Shao, Yulei Sui, Fuyao Duan, Guoliang Zhao, Xiao Deng, Shikun Zhang, Xianglong Chen
    Abstract:

    To obtain precise and sound results, most of existing static analyzers require whole program analysis with Complete Source Code. However, in reality, the Source Code of an application always interacts with many third-party libraries, which are often not easily accessible to static analyzers. Worse still, more than 30% of legacy projects [1] cannot be compiled easily due to complicated configuration environments (e.g., third-party libraries, compiler options and macros), making ideal "whole-program analysis" unavailable in practice. This paper presents CoBOT [2], a static analysis tool that can detect bugs in the presence of inComplete Code. It analyzes function APIs unavailable in application Code by either using function summarization or automatically downloading and analyzing the corresponding library Code as inferred from the application Code and its configuration files. The experiments show that CoBOT is not only easy to use, but also effective in detecting bugs in real-world programs with inComplete Code. Our demonstration video is at: https://youtu.be/bhjJp3e7LPM.

P. V. Sathe - One of the best experts on this subject based on the ideXlab platform.

  • Retrieval of sea surface humidity and back radiation from satellite data
    Journal of the Indian Society of Remote Sensing, 2007
    Co-Authors: P. V. Sathe, P. M. Muraleedharan
    Abstract:

    The paper presents a procedure and a software package to compute the sea surface humidity and atmospheric back radiation over the sea from satellite data. These parameters play an important role in air-sea exchange of heat, which in turn, determines the climate. Presently, there are no satellite sensors designed to retrieve them directly by remote sensing. This requires us to depend on in situ data, which are relatively sparse. We present a procedure in this paper that uses emission characteristics of sea surface in the microwave region of electro-magnetic spectrum to retrieve these parameters. A suite of computer programs developed for the purpose are also presented in the paper with their Complete Source Code. The procedure is based on an algorithm originally proposed by Schlussel in 1995. We have presented results for surface humidity and back radiation over the Arabian sea for the year 2000 and have shown them to be in agreement with the atmospheric and oceanographic processes operating during the corresponding seasons.

  • Retrieval and processing of atmospheric parameters from satellite data
    Computers & Geosciences, 1998
    Co-Authors: P. V. Sathe, P. M. Muraleedharan
    Abstract:

    Abstract Remote sensing of earth on passive microwave channels enables one to estimate the atmospheric parameters over oceans on a repetitive basis throughout the year. Such a data base forms a useful tool in the study of complex weather phenomena. With India's plans to include a microwave radiometer on board the forthcoming satellite Oceansat-1 in 1998, there will be increasing interest among oceanographers and meteorologists to use the satellite-derived meteorological parameters in weather studies, especially the Indian monsoon. This paper proposes a standard method to retrieve or unpack the atmospheric parameters from microwave satellite data, average them over a week, map them into 1°×1° grid and display them either as plots of equal intensities or as colour Coded images. The Complete Source Code in FORTRAN 77 for performing each of the above tasks is available at the IAMG anonymous ftp site for the benefit of potential users. As an example, we present results for the sea surface winds and atmospheric water vapour over the tropical Indian ocean for the months of January 1989 obtained by using the method described in the paper.