Sciweavers

    31387 search results - page 190 / 6278
    » Abstracting abstract machines
    Sort
    View
    ISWC
    2005
    IEEE
    161views Human Computer Interaction» more  ISWC 2005»
    Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
    16 years 23 days ago
    Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
    Download  www.cs.washington.edu
    Donald J. Patterson, Dieter Fox, Henry A. Kautz, M...
    claim paper
    Read More »
    KBSE
    2005
    IEEE
    88views Software Engineering» more  KBSE 2005»
    Test input generation for red-black trees using abstraction
    16 years 23 days ago
    Test input generation for red-black trees using abstraction
    Download  www.fi.muni.cz
    Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
    claim paper
    Read More »
    MEMOCODE
    2005
    IEEE
    95views Formal Methods» more  MEMOCODE 2005»
    Extended abstract: a race-free hardware modeling language
    16 years 23 days ago
    Extended abstract: a race-free hardware modeling language
    Download  www.emsec.ee.ucla.edu
    We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
    Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
    claim paper
    Read More »
    SCAM
    2005
    IEEE
    59views Software Engineering» more  SCAM 2005»
    Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar
    16 years 23 days ago
    Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar
    Download  www.complang.tuwien.ac.at
    Markus Schordan, Daniel J. Quinlan
    claim paper
    Read More »
    SEFM
    2005
    IEEE
    124views Software Engineering» more  SEFM 2005»
    Control Code Obfuscation by Abstract Interpretation
    16 years 23 days ago
    Control Code Obfuscation by Abstract Interpretation
    Download  profs.sci.univr.it
    Mila Dalla Preda, Roberto Giacobazzi
    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.