Sciweavers

    34199 search results - page 378 / 6840
    » Petascale Computational Systems
    Sort
    View
    TLCA
    1993
    Springer
    113views Theoretical Computer Science» more  TLCA 1993»
    A Formalization of the Strong Normalization Proof for System F in LEGO
    15 years 11 months ago
    A Formalization of the Strong Normalization Proof for System F in LEGO
    Download  www.cs.nott.ac.uk
    Thorsten Altenkirch
    claim paper
    Read More »
    NOSSDAV
    1992
    Springer
    94views Computer Networks» more  NOSSDAV 1992»
    Synchronization of Multi-Sourced Multimedia Data for Heterogeneous Target Systems
    15 years 11 months ago
    Synchronization of Multi-Sourced Multimedia Data for Heterogeneous Target Systems
    Download  homepages.cwi.nl
    Dick C. A. Bulterman
    claim paper
    Read More »
    139
    Voted
    SIGGRAPH
    1992
    ACM
    93views Computer Graphics» more  SIGGRAPH 1992»
    Surface modeling with oriented particle systems
    15 years 11 months ago
    Surface modeling with oriented particle systems
    Download  reference.kfupm.edu.sa
    Richard Szeliski, David Tonnesen
    claim paper
    Read More »
    SPDP
    1990
    IEEE
    48views Distributed And Parallel Com...» more  SPDP 1990»
    An effective fault-tolerant technique for circular butterfly parallel systems
    15 years 11 months ago
    An effective fault-tolerant technique for circular butterfly parallel systems
    Download  www.cacs.louisiana.edu
    Nian-Feng Tzeng
    claim paper
    Read More »
    WG
    1990
    Springer
    39views Theoretical Computer Science» more  WG 1990»
    Diagnosis of t/s-Diagnosable Systems
    15 years 11 months ago
    Diagnosis of t/s-Diagnosable Systems
    Download  www.cs.ou.edu
    Anindya Das, Krishnaiyan Thulasiraman
    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.