Sciweavers

    7430 search results - page 6 / 1486
    » Programming Applications in CIFF
    Sort
    View
    IWPEC
    2010
    Springer
    210views Applied Computing» more  IWPEC 2010»
    Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming
    14 years 7 months ago
    Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming
    Download  www.kr.tuwien.ac.at
    Gregory Gutin, Eun Jung Kim, Arezou Soleimanfallah...
    claim paper
    Read More »
    WOA
    2010
    135views Intelligent Agents» more  WOA 2010»
    Exploiting Agent-Oriented Programming for Developing Android Applications
    14 years 7 months ago
    Exploiting Agent-Oriented Programming for Developing Android Applications
    Download  woa10.apice.unibo.it
    Andrea Santi, Marco Guidi, Alessandro Ricci
    claim paper
    Read More »
    COMJ
    2010
    262views Applied Computing» more  COMJ 2010»
    Constraint Application with Higher-Order Programming for Modeling Music Theories
    14 years 7 months ago
    Constraint Application with Higher-Order Programming for Modeling Music Theories
    Download  cmr.soc.plymouth.ac.uk
    Torsten Anders, Eduardo Reck Miranda
    claim paper
    Read More »
    ECOOP
    2012
    Springer
    255views Programming Languages» more  ECOOP 2012»
    Application-Only Call Graph Construction
    13 years 1 days ago
    Application-Only Call Graph Construction
    Download  plg.uwaterloo.ca
    Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...
    Karim Ali, Ondrej Lhoták
    claim paper
    Read More »
    POPL
    2012
    ACM
    252views Programming Languages» more  POPL 2012»
    An executable formal semantics of C with applications
    13 years 5 months ago
    An executable formal semantics of C with applications
    Download  fsl.cs.uiuc.edu
    This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
    Chucky Ellison, Grigore Rosu
    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-2025, USA.