Sciweavers

    13752 search results - page 433 / 2751
    » Parallel and Distributed Haskells
    Sort
    View
    HPDC
    2009
    IEEE
    116views Distributed And Parallel Com...» more  HPDC 2009»
    A novel graph based approach for automatic composition of high quality grid workflows
    16 years 2 months ago
    A novel graph based approach for automatic composition of high quality grid workflows
    Download  www.dps.uibk.ac.at
    Jun Qin, Thomas Fahringer, Radu Prodan
    claim paper
    Read More »
    HPDC
    2009
    IEEE
    146views Distributed And Parallel Com...» more  HPDC 2009»
    An adaptive online system for efficient processing of hierarchical data
    16 years 2 months ago
    An adaptive online system for efficient processing of hierarchical data
    Download  www.lrz-muenchen.de
    Athanasia Asiki, Dimitrios Tsoumakos, Nectarios Ko...
    claim paper
    Read More »
    HPDC
    2009
    IEEE
    82views Distributed And Parallel Com...» more  HPDC 2009»
    Modeling user submission strategies on production grids
    16 years 2 months ago
    Modeling user submission strategies on production grids
    Download  www.lrz-muenchen.de
    Diane Lingrand, Johan Montagnat, Tristan Glatard
    claim paper
    Read More »
    IPPS
    1998
    IEEE
    89views Distributed And Parallel Com...» more  IPPS 1998»
    Building BSP Programs Using the Refinement Calculus
    15 years 12 months ago
    Building BSP Programs Using the Refinement Calculus
    Download  ipdps.cc.gatech.edu
    Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...
    David B. Skillicorn
    claim paper
    Read More »
    AAAI
    2000
    141views Intelligent Agents» more  AAAI 2000»
    A Distributed Algorithm to Evaluate Quantified Boolean Formulae
    15 years 9 months ago
    A Distributed Algorithm to Evaluate Quantified Boolean Formulae
    Download  www.aaai.org
    In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
    Rainer Feldmann, Burkhard Monien, Stefan Schamberg...
    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.