Sciweavers

    36320 search results - page 126 / 7264
    » From Code to Models
    Sort
    View
    STOC
    2010
    ACM
    174views Algorithms» more  STOC 2010»
    Local list-decoding and testing of random linear codes from high error
    15 years 11 months ago
    Local list-decoding and testing of random linear codes from high error
    Download  web.mit.edu
    Swastik Kopparty, Shubhangi Saraf
    claim paper
    Read More »
    ICSE
    2001
    IEEE-ACM
    104views Software Engineering» more  ICSE 2001»
    An Explorative Journey from Architectural Tests Definition downto Code Tests Execution
    15 years 10 months ago
    An Explorative Journey from Architectural Tests Definition downto Code Tests Execution
    Download  www.iei.pi.cnr.it
    Antonia Bertolino, Paola Inverardi, Henry Muccini
    claim paper
    Read More »
    DAC
    2000
    ACM
    96views Computer Architecture» more  DAC 2000»
    Efficient building block based RTL code generation from synchronous data flow graphs
    15 years 10 months ago
    Efficient building block based RTL code generation from synchronous data flow graphs
    Download  www.cs.york.ac.uk
    Jens Horstmannshoff, Heinrich Meyr
    claim paper
    Read More »
    SC
    2000
    ACM
    93views Applied Computing» more  SC 2000»
    A Framework for Sparse Matrix Code Synthesis from High-level Specifications
    15 years 10 months ago
    A Framework for Sparse Matrix Code Synthesis from High-level Specifications
    Download  www.sc2000.org
    Nawaaz Ahmed, Nikolay Mateev, Keshav Pingali, Paul...
    claim paper
    Read More »
    AAECC
    2009
    Springer
    138views Algorithms» more  AAECC 2009»
    Efficient Constructions of Deterministic Encryption from Hybrid Encryption and Code-Based PKE
    15 years 10 months ago
    Efficient Constructions of Deterministic Encryption from Hybrid Encryption and Code-Based PKE
    Download  staff.aist.go.jp
    Abstract. We build on the new security notion for deterministic encryption (PRIV) and the PRIV-secure schemes presented by Bellare et al at Crypto'07. Our work introduces: 1) ...
    Yang Cui, Kirill Morozov, Kazukuni Kobara, Hideki ...
    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.