Learn More
A linear programming formulation of the optimal stopping problem for Markov decision processes is approximated using linear function approximation. Using this formulation, a reinforcement learning scheme based on a primal-dual method and incorporating a sampling device called 'split sampling' is proposed and analyzed. An illustrative example from option(More)
We present a small-step abstract interpretation for the A-Normal Form λ-calculus (ANF). This abstraction has been instrumented to find data-dependence conflicts for expressions and procedures. Our goal is parallelization: when two expressions have no dependence conflicts, it is safe to evaluate them in parallel. The underlying principle for discovering(More)
We describe, implement and benchmark EigenCFA, an algorithm for accelerating higher-order control-flow analysis (specifically, 0CFA) with a GPU. Ultimately, our program transformations, reductions and optimizations achieve a factor of 72 speedup over an optimized CPU implementation. We began our investigation with the view that GPUs accelerate(More)
In order to achieve high performance on modern and future machines, applications need to make effective use of the complex, hierarchical memory system. Writing performance-portable code continues to be challenging since each architecture has unique memory access characteristics. In addition, some optimization decisions can only reasonably be made at(More)
A Wireless Multimedia Sensor Network (WMSN) is often partitioned into a set of spatial clusters to save energy for data collection. Each cluster includes sensor nodes with similar sensing data, and only a few sensor nodes (samplers) report their sensing data to a base node. Then the base node may predict the missed data of non-samplers using the spatial(More)
4 Abstract-Image intensification plays an important role in image processing and analysis. In this paper, an efficient image intensification method is proposed. In order to sustain and enhance image while enhancing relative pixel details, we propose an algorithm unreliable radiant and low contrast images. The proposed algorithm consists of three phases:(More)
In wireless multimedia sensor networks coverage area and redundant sensor are a major problem thus throughput is minimum and more delay .In order to optimize the network coverage, use a coverage-enhancing algorithm based on overlap-sense ratio. By adjusting the sensing directions of the nodes, the coverage area is increased with the reduction of complexity.(More)
Wireless Sensor Networks (WSNs) consist of large number of sensors which having capabilities such as sensing, computing, and communicating. Beside these features, sensors have limited computational and communication power. Therefore, energy is a challenging issue in WSN networks. Clusters-based routing protocols are used to maximize network lifetime. In(More)
  • 1