Sciweavers

    643 search results - page 86 / 129
    » A browser for incremental programming
    Sort
    View
    ESOP
    2007
    Springer
    66views Programming Languages» more  ESOP 2007»
    A Rewriting Semantics for Type Inference
    14 years 4 months ago
    A Rewriting Semantics for Type Inference
    Download  www.eecs.northwestern.edu
    When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
    George Kuan, David MacQueen, Robert Bruce Findler
    claim paper
    Read More »
    CIKM
    2006
    Springer
    121views Information Technology» more  CIKM 2006»
    The visual funding navigator: analysis of the NSF funding information
    14 years 1 months ago
    The visual funding navigator: analysis of the NSF funding information
    Download  domino.research.ibm.com
    This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon an improved...
    Shixia Liu, Nan Cao, Hao Lv, Hui Su
    claim paper
    Read More »
    NIPS
    2007
    173views Information Technology» more  NIPS 2007»
    A Constraint Generation Approach to Learning Stable Linear Dynamical Systems
    13 years 11 months ago
    A Constraint Generation Approach to Learning Stable Linear Dynamical Systems
    Download  books.nips.cc
    Stability is a desirable characteristic for linear dynamical systems, but it is often ignored by algorithms that learn these systems from data. We propose a novel method for learn...
    Sajid M. Siddiqi, Byron Boots, Geoffrey J. Gordon
    claim paper
    Read More »
    FORTE
    1997
    126views Formal Methods» more  FORTE 1997»
    A Framework for Distributed Object-Oriented Testing
    13 years 11 months ago
    A Framework for Distributed Object-Oriented Testing
    Download  repository.ust.hk
    Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
    Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheu...
    claim paper
    Read More »
    PLDI
    2009
    ACM
    145views Programming Languages» more  PLDI 2009»
    Trace-based just-in-time type specialization for dynamic languages
    14 years 4 months ago
    Trace-based just-in-time type specialization for dynamic languages
    Download  people.mozilla.org
    Dynamic languages such as JavaScript are more difficult to compile than statically typed ones. Since no concrete type information is available, traditional compilers need to emit...
    Andreas Gal, Brendan Eich, Mike Shaver, David Ande...
    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.