Sciweavers

    16159 search results - page 118 / 3232
    » Parallel computing with CUDA
    Sort
    View
    121
    Voted
    CONCUR
    1993
    Springer
    86views Distributed And Parallel Com...» more  CONCUR 1993»
    A Generalized Event Structure for the Muller Unfolding of a Safe Net
    15 years 8 months ago
    A Generalized Event Structure for the Muller Unfolding of a Safe Net
    Download  www.hpl.hp.com
    Jeremy Gunawardena
    claim paper
    Read More »
    CONCUR
    1994
    Springer
    74views Distributed And Parallel Com...» more  CONCUR 1994»
    Testing-Based Abstractions for Value-Passing Systems
    15 years 8 months ago
    Testing-Based Abstractions for Value-Passing Systems
    Download  condor.depaul.edu
    Rance Cleaveland, James Riely
    claim paper
    Read More »
    HPCN
    1994
    Springer
    96views Distributed And Parallel Com...» more  HPCN 1994»
    High-Performance Fortran
    15 years 8 months ago
    High-Performance Fortran
    Download  perso.numericable.fr
    G. Matthijs van Waveren
    claim paper
    Read More »
    REX
    1993
    111views Logical Reasoning» more  REX 1993»
    Interaction Diagrams
    15 years 8 months ago
    Interaction Diagrams
    Download  www.omg.org
    Joachim Parrow
    claim paper
    Read More »
    REX
    1993
    123views Logical Reasoning» more  REX 1993»
    Linear Logic on Petri Nets
    15 years 8 months ago
    Linear Logic on Petri Nets
    Download  www.brics.dk
    Uffe Engberg, Glynn Winskel
    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.