Sciweavers

    31387 search results - page 191 / 6278
    » Abstracting abstract machines
    Sort
    View
    SEFM
    2005
    IEEE
    108views Software Engineering» more  SEFM 2005»
    A Framework for Component-based Construction Extended Abstract
    16 years 23 days ago
    A Framework for Component-based Construction Extended Abstract
    Download  www-verimag.imag.fr
    Joseph Sifakis
    claim paper
    Read More »
    TIME
    2005
    IEEE
    102views Automated Reasoning» more  TIME 2005»
    Temporal Logic with Predicate lambda-Abstraction
    16 years 23 days ago
    Temporal Logic with Predicate lambda-Abstraction
    Download  www.csc.liv.ac.uk
    Alexei Lisitsa, Igor Potapov
    claim paper
    Read More »
    WORDS
    2005
    IEEE
    97views Embedded Systems» more  WORDS 2005»
    A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP
    16 years 23 days ago
    A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP
    Download  faculty.ist.unomaha.edu
    Victor L. Winter, Jason Beranek, Azamatbek Mametja...
    claim paper
    Read More »
    ITICSE
    2005
    ACM
    98views Theoretical Computer Science» more  ITICSE 2005»
    Exploring students' understanding of the concept of algorithm: levels of abstraction
    16 years 23 days ago
    Exploring students' understanding of the concept of algorithm: levels of abstraction
    Download  www.win.tue.nl
    Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood
    claim paper
    Read More »
    MSR
    2005
    ACM
    88views Software Engineering» more  MSR 2005»
    Understanding source code evolution using abstract syntax tree matching
    16 years 23 days ago
    Understanding source code evolution using abstract syntax tree matching
    Download  www.cs.umd.edu
    Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hick...
    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.