Sciweavers

    17582 search results - page 352 / 3517
    » From Distributed Sequential Computing to Distributed Paralle...
    Sort
    View
    PPOPP
    2009
    ACM
    124views Distributed and Parallel Com...» more  PPOPP 2009»
    Parallel thinking
    16 years 5 months ago
    Parallel thinking
    Download  www.cs.cmu.edu
    Guy E. Blelloch
    claim paper
    Read More »
    PDP
    2010
    IEEE
    166views Distributed And Parallel Com...» more  PDP 2010»
    Parallel Iterative Linear Solvers on GPU: A Financial Engineering Case
    15 years 11 months ago
    Parallel Iterative Linear Solvers on GPU: A Financial Engineering Case
    Download  fiquant.mas.ecp.fr
    Abhijeet Gaikwad, Ioane Muni Toke
    claim paper
    Read More »
    ICS
    2007
    Tsinghua U.
    109views Distributed And Parallel Com...» more  ICS 2007»
    Harnessing massive parallelism in the era of parallelism for the masses
    15 years 11 months ago
    Harnessing massive parallelism in the era of parallelism for the masses
    Download  www.spscicomp.org
    Craig B. Stunkel
    claim paper
    Read More »
    DCOSS
    2006
    Springer
    123views Distributed And Parallel Com...» more  DCOSS 2006»
    Distributed Optimal Estimation from Relative Measurements for Localization and Time Synchronization
    15 years 8 months ago
    Distributed Optimal Estimation from Relative Measurements for Localization and Time Synchronization
    Download  www.ece.ucsb.edu
    Abstract. We consider the problem of estimating vector-valued variables from noisy "relative" measurements. The measurement model can be expressed in terms of a graph, wh...
    Prabir Barooah, Neimar Machado da Silva, Joã...
    claim paper
    Read More »
    ENTCS
    2006
    112views more  ENTCS 2006»
    Distributed Symbolic Bounded Property Checking
    15 years 4 months ago
    Distributed Symbolic Bounded Property Checking
    Download  www-ti.informatik.uni-tuebingen.de
    In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
    Pradeep Kumar Nalla, Roland J. Weiss, Prakash Moha...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.