Sciweavers

    1469 search results - page 137 / 294
    » Map operations and k-orbit maps
    Sort
    View
    ICFP
    2005
    ACM
    218views Programming Languages» more  ICFP 2005»
    A computational approach to reflective meta-reasoning about languages with bindings
    14 years 10 months ago
    A computational approach to reflective meta-reasoning about languages with bindings
    Download  homepages.inf.ed.ac.uk
    We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
    Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hicke...
    claim paper
    Read More »
    IPSN
    2007
    Springer
    175views Sensor Networks» more  IPSN 2007»
    Harbor: software-based memory protection for sensor nodes
    14 years 4 months ago
    Harbor: software-based memory protection for sensor nodes
    Download  www.cs.ucla.edu
    Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
    Ram Kumar, Eddie Kohler, Mani B. Srivastava
    claim paper
    Read More »
    IJCV
    2007
    363views more  IJCV 2007»
    Image Analysis and Reconstruction using a Wavelet Transform Constructed from a Reducible Representation of the Euclidean Motion
    13 years 10 months ago
    Image Analysis and Reconstruction using a Wavelet Transform Constructed from a Reducible Representation of the Euclidean Motion
    Download  yp.bmt.tue.nl
    Abstract. Inspired by the early visual system of many mammalians we consider the construction of-and reconstruction from- an orientation score Uf : R2 ×S1 → C as a local orienta...
    Remco Duits, Michael Felsberg, Gösta H. Granl...
    claim paper
    Read More »
    VLSISP
    2008
    173views more  VLSISP 2008»
    Fast Bit Gather, Bit Scatter and Bit Permutation Instructions for Commodity Microprocessors
    13 years 10 months ago
    Fast Bit Gather, Bit Scatter and Bit Permutation Instructions for Commodity Microprocessors
    Download  palms.ee.princeton.edu
    Advanced bit manipulation operations are not efficiently supported by commodity word-oriented microprocessors. Programming tricks are typically devised to shorten the long sequence...
    Yedidya Hilewitz, Ruby B. Lee
    claim paper
    Read More »
    DAC
    2005
    ACM
    120views Computer Architecture» more  DAC 2005»
    Memory access optimization through combined code scheduling, memory allocation, and array binding in embedded system design
    14 years 11 months ago
    Memory access optimization through combined code scheduling, memory allocation, and array binding in embedded system design
    Download  www.cs.ucr.edu
    In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. It ha...
    Jungeun Kim, Taewhan Kim
    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.