Sciweavers

    7430 search results - page 1380 / 1486
    » Programming Applications in CIFF
    Sort
    View
    JPDC
    2006
    120views more  JPDC 2006»
    HeteroMPI: Towards a message-passing library for heterogeneous networks of computers
    13 years 9 months ago
    HeteroMPI: Towards a message-passing library for heterogeneous networks of computers
    Download  web-ext.u-aizu.ac.jp
    The paper presents Heterogeneous MPI (HeteroMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the applicati...
    Alexey L. Lastovetsky, Ravi Reddy
    claim paper
    Read More »
    JPDC
    2006
    111views more  JPDC 2006»
    Designing irregular parallel algorithms with mutual exclusion and lock-free protocols
    13 years 9 months ago
    Designing irregular parallel algorithms with mutual exclusion and lock-free protocols
    Download  domino.research.ibm.com
    Irregular parallel algorithms pose a significant challenge for achieving high performance because of the difficulty predicting memory access patterns or execution paths. Within an...
    Guojing Cong, David A. Bader
    claim paper
    Read More »
    JSAC
    2006
    70views more  JSAC 2006»
    Throughput-range tradeoff of wireless mesh backhaul networks
    13 years 9 months ago
    Throughput-range tradeoff of wireless mesh backhaul networks
    Download  oplab.im.ntu.edu.tw
    Wireless backhaul communication is expected to play a significant role in providing the necessary backhaul resources for future high-rate wireless networks. Mesh networking, in whi...
    H. Viswanathan, S. Mukherjee
    claim paper
    Read More »
    ENTCS
    2007
    171views more  ENTCS 2007»
    A Certifying Code Generation Phase
    13 years 9 months ago
    A Certifying Code Generation Phase
    Download  www.jblech.de
    Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
    Jan Olaf Blech, Arnd Poetzsch-Heffter
    claim paper
    Read More »
    JUCS
    2006
    104views more  JUCS 2006»
    Introducing the ITP Tool: a Tutorial
    13 years 9 months ago
    Introducing the ITP Tool: a Tutorial
    Download  www.jucs.org
    : We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
    Manuel Clavel, Miguel Palomino, Adrián Ries...
    claim paper
    Read More »
    « Prev « First page 1380 / 1486 Last » Next »
    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.