Sciweavers

    18429 search results - page 13 / 3686
    » Typing dynamic typing
    Sort
    View
    JISE
    2008
    38views more  JISE 2008»
    Dynamic Nonlinear System Identification Using a Wiener-Type Recurrent Network with OKID Algorithm
    13 years 7 months ago
    Dynamic Nonlinear System Identification Using a Wiener-Type Recurrent Network with OKID Algorithm
    Download  www.iis.sinica.edu.tw
    Jeen-Shing Wang, Yu-Liang Hsu
    claim paper
    Read More »
    SOCO
    2008
    Springer
    106views Software Engineering» more  SOCO 2008»
    A parallel evolutionary algorithm to optimize dynamic data types in embedded systems
    13 years 7 months ago
    A parallel evolutionary algorithm to optimize dynamic data types in embedded systems
    Download  infoscience.epfl.ch
    José L. Risco-Martín, David Atienza,...
    claim paper
    Read More »
    JCNS
    2010
    56views more  JCNS 2010»
    Spectrum of Lyapunov exponents of non-smooth dynamical systems of integrate-and-fire type
    13 years 6 months ago
    Spectrum of Lyapunov exponents of non-smooth dynamical systems of integrate-and-fire type
    Download  www.cims.nyu.edu
    Douglas Zhou, Yi Sun, Aaditya V. Rangan, David Cai
    claim paper
    Read More »
    POPL
    2012
    ACM
    281views Programming Languages» more  POPL 2012»
    The ins and outs of gradual type inference
    12 years 3 months ago
    The ins and outs of gradual type inference
    Download  www.cs.umd.edu
    Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
    Aseem Rastogi, Avik Chaudhuri, Basil Hosmer
    claim paper
    Read More »
    CSFW
    2006
    IEEE
    96views Security Privacy» more  CSFW 2006»
    Secrecy by Typing and File-Access Control
    14 years 1 months ago
    Secrecy by Typing and File-Access Control
    Download  www.cs.umd.edu
    Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
    Avik Chaudhuri, Martín Abadi
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.