Sciweavers

    1154 search results - page 82 / 231
    » Mathematizing C concurrency
    Sort
    View
    SAC
    2006
    ACM
    131views Applied Computing» more  SAC 2006»
    Assisted verification of elementary functions using Gappa
    13 years 10 months ago
    Assisted verification of elementary functions using Gappa
    Download  www.lri.fr
    The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
    Florent de Dinechin, Christoph Quirin Lauter, Guil...
    claim paper
    Read More »
    SC
    1995
    ACM
    113views Applied Computing» more  SC 1995»
    Communication Optimizations for Parallel Computing Using Data Access Information
    14 years 1 months ago
    Communication Optimizations for Parallel Computing Using Data Access Information
    Download  people.csail.mit.edu
    Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of ...
    Martin C. Rinard
    claim paper
    Read More »
    CONCURRENCY
    2006
    142views more  CONCURRENCY 2006»
    A Grid service broker for scheduling e-Science applications on global data Grids
    13 years 10 months ago
    A Grid service broker for scheduling e-Science applications on global data Grids
    Download  www.buyya.com
    : The next generation of scientific experiments and studies, popularly called e-Science, is carried out by large collaborations of researchers distributed around the world engaged ...
    Srikumar Venugopal, Rajkumar Buyya, Lyle J. Winton
    claim paper
    Read More »
    JUCS
    2008
    177views more  JUCS 2008»
    An Improved Multi-Agent Simulation Methodology for Modelling and Evaluating Wireless Communication Systems Resource Allocation A
    13 years 10 months ago
    An Improved Multi-Agent Simulation Methodology for Modelling and Evaluating Wireless Communication Systems Resource Allocation A
    Download  www.jucs.org
    : Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
    P. M. Papazoglou, Dimitris A. Karras, Rallis C. Pa...
    claim paper
    Read More »
    ICC
    2007
    IEEE
    129views Communications» more  ICC 2007»
    Closed-Form Expressions for the Outage and Error Probabilities of Decode-and-Forward Relaying in Dissimilar Rayleigh Fading Chan
    14 years 4 months ago
    Closed-Form Expressions for the Outage and Error Probabilities of Decode-and-Forward Relaying in Dissimilar Rayleigh Fading Chan
    Download  www.prism.uvsq.fr
    —User cooperation protocols, where mobile stations relay signals to the final destination, have been proposed for wireless networks. A general mathematical probability model is ...
    Jeremiah Hu, Norman C. Beaulieu
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.