Sciweavers

    20511 search results - page 291 / 4103
    » On the level
    Sort
    View
    TACAS
    2007
    Springer
    103views Algorithms» more  TACAS 2007»
    A Reachability Predicate for Analyzing Low-Level Software
    16 years 29 days ago
    A Reachability Predicate for Analyzing Low-Level Software
    Download  people.cs.ubc.ca
    Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
    Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadee...
    claim paper
    Read More »
    TGC
    2007
    Springer
    97views Applied Computing» more  TGC 2007»
    Location-Aware Quality of Service Measurements for Service-Level Agreements
    16 years 29 days ago
    Location-Aware Quality of Service Measurements for Service-Level Agreements
    Download  www.dcs.ed.ac.uk
    We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
    Ashok Argent-Katwala, Jeremy T. Bradley, Allan Cla...
    claim paper
    Read More »
    VLSI
    2007
    Springer
    89views Software Engineering» more  VLSI 2007»
    SWORD: A SAT like prover using word level information
    16 years 29 days ago
    SWORD: A SAT like prover using word level information
    Download  www.informatik.uni-bremen.de
    Robert Wille, Görschwin Fey, Daniel Groß...
    claim paper
    Read More »
    WAPCV
    2007
    Springer
    129views Computer Vision» more  WAPCV 2007»
    Abstraction Level Regulation of Cognitive Processing Through Emotion-Based Attention Mechanisms
    16 years 29 days ago
    Abstraction Level Regulation of Cognitive Processing Through Emotion-Based Attention Mechanisms
    Download  homepages.di.fc.ul.pt
    Luís Morgado, Graça Gaspar
    claim paper
    Read More »
    3DPVT
    2006
    IEEE
    130views Visualization» more  3DPVT 2006»
    Invariant High Level Reeb Graphs of 3D Polygonal Meshes
    16 years 28 days ago
    Invariant High Level Reeb Graphs of 3D Polygonal Meshes
    Download  www.telecom-lille1.eu
    Julien Tierny, Jean-Philippe Vandeborre, Mohamed D...
    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.