Sciweavers

    1729 search results - page 28 / 346
    » Generic Haskell: Applications
    Sort
    View
    CATA
    2003
    107views Computer Science» more  CATA 2003»
    Foundations of a Generic Framework for Distributed Applications
    15 years 6 months ago
    Foundations of a Generic Framework for Distributed Applications
    Download  www.cs.wayne.edu
    Jawwad Shamsi, Hasina Abdu
    claim paper
    Read More »
    COMPUTER
    2000
    105views more  COMPUTER 2000»
    Generic Support for Distributed Applications
    15 years 4 months ago
    Generic Support for Distributed Applications
    Download  www.cl.cam.ac.uk
    Jean Bacon, Ken Moody, John Bates, Richard Hayton,...
    claim paper
    Read More »
    ASIACRYPT
    2010
    Springer
    124views Cryptology» more  ASIACRYPT 2010»
    The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
    15 years 2 months ago
    The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
    Download  www.spms.ntu.edu.sg
    Tibor Jager, Andy Rupp
    claim paper
    Read More »
    137
    Voted
    GI
    2009
    Springer
    134views Theoretical Computer Science» more  GI 2009»
    A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution
    15 years 2 months ago
    A Generic Approach for Modeling Test Case Priorities with Applications for Test Development and Execution
    Download  subs.emis.de
    : This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...
    Andreas Hoffmann, Axel Rennoch, Ina Schieferdecker...
    claim paper
    Read More »
    APLAS
    2008
    ACM
    93views Programming Languages» more  APLAS 2008»
    Extensional Universal Types for Call-by-Value
    15 years 6 months ago
    Extensional Universal Types for Call-by-Value
    Download  www.kurims.kyoto-u.ac.jp
    Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
    Kazuyuki Asada
    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.