Sciweavers

    34202 search results - page 213 / 6841
    » The Tera computer system
    Sort
    View
    ICDCS
    1998
    IEEE
    87views Distributed And Parallel Com...» more  ICDCS 1998»
    Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation
    15 years 11 months ago
    Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation
    Download  www.cs.ncl.ac.uk
    Jie Xu, Alexander B. Romanovsky, Brian Randell
    claim paper
    Read More »
    GROUP
    1997
    ACM
    89views Applied Computing» more  GROUP 1997»
    WorkWeb system - multi-workflow management with a multi-agent system
    15 years 11 months ago
    WorkWeb system - multi-workflow management with a multi-agent system
    Download  www.eng.kagawa-u.ac.jp
    Hiroyuki Tarumi, Koji Kida, Yoshihide Ishiguro, Ke...
    claim paper
    Read More »
    ACMACE
    2009
    ACM
    137views Human Computer Interaction» more  ACMACE 2009»
    Wearable DJ system: a new motion-controlled DJ system
    15 years 8 months ago
    Wearable DJ system: a new motion-controlled DJ system
    Download  www.vbl.kobe-u.ac.jp
    Yutaka Tomibayashi, Yoshinari Takegawa, Tsutomu Te...
    claim paper
    Read More »
    IPPS
    2002
    IEEE
    137views Distributed And Parallel Com...» more  IPPS 2002»
    High-Performance Parallel and Distributed Computing for the BMI Eigenvalue Problem
    16 years 3 days ago
    High-Performance Parallel and Distributed Computing for the BMI Eigenvalue Problem
    Download  www.alab.ip.titech.ac.jp
    The BMI Eigenvalue Problem is one of optimization problems and is to minimize the greatest eigenvalue of a bilinear matrix function. This paper proposes a parallel algorithm to co...
    Kento Aida, Yoshiaki Futakata, Shinji Hara
    claim paper
    Read More »
    FROCOS
    2000
    Springer
    97views Control Systems» more  FROCOS 2000»
    Non-Trivial Symbolic Computations in Proof Planning
    15 years 10 months ago
    Non-Trivial Symbolic Computations in Proof Planning
    Download  www.cs.bham.ac.uk
    Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
    Volker Sorge
    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.