Sciweavers

    1399 search results - page 29 / 280
    » Multi-party Finite Computations
    Sort
    View
    110
    Voted
    FOCS
    1996
    IEEE
    87views Theoretical Computer Science» more  FOCS 1996»
    An Efficient Algorithm for Constructing Minimal Trellises for Codes over Finite Abelian Groups
    15 years 7 months ago
    An Efficient Algorithm for Constructing Minimal Trellises for Codes over Finite Abelian Groups
    Download  ece.iisc.ernet.in
    Vijay V. Vazirani, Huzur Saran, B. Sundar Rajan
    claim paper
    Read More »
    122
    Voted
    REX
    1993
    121views Logical Reasoning» more  REX 1993»
    Verification Tools for Finite-State Concurrent Systems
    15 years 7 months ago
    Verification Tools for Finite-State Concurrent Systems
    Download  www-2.cs.cmu.edu
    Edmund M. Clarke, Orna Grumberg, David E. Long
    claim paper
    Read More »
    109
    Voted
    SC
    1995
    ACM
    116views Applied Computing» more  SC 1995»
    Architecture-Adaptable Finite Element Modelling: A Case Study using an Ocean Circulation Simulation
    15 years 7 months ago
    Architecture-Adaptable Finite Element Modelling: A Case Study using an Ocean Circulation Simulation
    Download  www.chg.ru
    Santhosh Kumaran, Robert N. Miller, Michael J. Qui...
    claim paper
    Read More »
    119
    Voted
    CONCUR
    2005
    Springer
    105views Distributed And Parallel Com...» more  CONCUR 2005»
    A Ground-Complete Axiomatization of Finite State Processes in Process Algebra
    15 years 5 months ago
    A Ground-Complete Axiomatization of Finite State Processes in Process Algebra
    Download  alexandria.tue.nl
    Jos C. M. Baeten, Mario Bravetti
    claim paper
    Read More »
    106
    Voted
    GC
    2007
    Springer
    89views Applied Computing» more  GC 2007»
    Generalized Bhaskar Rao Designs with Block Size 3 over Finite Abelian Groups
    15 years 3 months ago
    Generalized Bhaskar Rao Designs with Block Size 3 over Finite Abelian Groups
    Download  www.uow.edu.au
    Gennian Ge, Malcolm Greig, Jennifer Seberry, Ralph...
    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.