Sciweavers

    5241 search results - page 128 / 1049
    » Embedded Programming with C
    Sort
    View
    ISVLSI
    2003
    IEEE
    101views VLSI» more  ISVLSI 2003»
    Energy Benefits of a Configurable Line Size Cache for Embedded Systems
    15 years 11 months ago
    Energy Benefits of a Configurable Line Size Cache for Embedded Systems
    Download  www.cs.ucr.edu
    Previous work has shown that cache line sizes impact performance differently for different desktop programs – some programs work better with small line sizes, others with larger...
    Chuanjun Zhang, Frank Vahid, Walid A. Najjar
    claim paper
    Read More »
    ICCL
    1998
    IEEE
    120views Programming Languages» more  ICCL 1998»
    A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
    15 years 10 months ago
    A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
    Download  www.comp.nus.edu.sg
    Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
    claim paper
    Read More »
    POS
    1992
    Springer
    86views Programming Languages» more  POS 1992»
    Persistent Program Construction through Browsing and User Gesture with some Typing
    15 years 10 months ago
    Persistent Program Construction through Browsing and User Gesture with some Typing
    Download  www.cs.st-andrews.ac.uk
    Alex Farkas, Alan Dearle, Graham N. C. Kirby, Quin...
    claim paper
    Read More »
    POS
    1992
    Springer
    95views Programming Languages» more  POS 1992»
    Persistent Hyper-Programs
    15 years 10 months ago
    Persistent Hyper-Programs
    Download  www.cs.st-andrews.ac.uk
    Graham N. C. Kirby, Richard C. H. Connor, Quintin ...
    claim paper
    Read More »
    IFL
    2005
    Springer
    207views Formal Methods» more  IFL 2005»
    A Dependently Typed Framework for Static Analysis of Program Execution Costs
    15 years 12 months ago
    A Dependently Typed Framework for Static Analysis of Program Execution Costs
    Download  www.cs.st-andrews.ac.uk
    Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
    Edwin Brady, Kevin Hammond
    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.