Sciweavers

    10848 search results - page 147 / 2170
    » Programming in Biomolecular Computation
    Sort
    View
    ERSHOV
    2001
    Springer
    59views Theoretical Computer Science» more  ERSHOV 2001»
    On Expressive and Model Checking Power of Propositional Program Logics
    15 years 9 months ago
    On Expressive and Model Checking Power of Propositional Program Logics
    Download  www.iis.nsk.su
    Nikolay V. Shilov, Kwang Yi
    claim paper
    Read More »
    RTA
    2001
    Springer
    103views Theoretical Computer Science» more  RTA 2001»
    Relating Accumulative and Non-accumulative Functional Programs
    15 years 9 months ago
    Relating Accumulative and Non-accumulative Functional Programs
    Download  repository.readscheme.org
    Armin Kühnemann, Robert Glück, Kazuhiko ...
    claim paper
    Read More »
    IPPS
    2000
    IEEE
    114views Distributed And Parallel Com...» more  IPPS 2000»
    Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification
    15 years 8 months ago
    Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification
    Download  ipdps.cc.gatech.edu
    Dominique Cansell, Dominique Méry, Christop...
    claim paper
    Read More »
    IPPS
    2000
    IEEE
    97views Distributed And Parallel Com...» more  IPPS 2000»
    Clix - A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory
    15 years 8 months ago
    Clix - A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory
    Download  ipdps.cc.gatech.edu
    Frank Mueller, Jörg Nolte, Alexander Schlaefe...
    claim paper
    Read More »
    IPPS
    2000
    IEEE
    83views Distributed And Parallel Com...» more  IPPS 2000»
    Executing Communication-Intensive Irregular Programs Efficiently
    15 years 8 months ago
    Executing Communication-Intensive Irregular Programs Efficiently
    Download  ipdps.cc.gatech.edu
    Vara Ramakrishnan, Isaac D. Scherson
    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.