Sciweavers

    292 search results - page 1 / 59
    » Inference and enforcement of data structure consistency spec...
    Sort
    View
    ISSTA
    2006
    ACM
    97views Software Engineering» more  ISSTA 2006»
    Inference and enforcement of data structure consistency specifications
    13 years 10 months ago
    Inference and enforcement of data structure consistency specifications
    Download  www.stanford.edu
    Brian Demsky, Michael D. Ernst, Philip J. Guo, Ste...
    claim paper
    Read More »
    ACSAC
    2008
    IEEE
    138views Security Privacy» more  ACSAC 2008»
    Automatic Inference and Enforcement of Kernel Data Structure Invariants
    13 years 11 months ago
    Automatic Inference and Enforcement of Kernel Data Structure Invariants
    Download  discolab.rutgers.edu
    Kernel-level rootkits affect system security by modifying key kernel data structures to achieve a variety of malicious goals. While early rootkits modified control data structur...
    Arati Baliga, Vinod Ganapathy, Liviu Iftode
    claim paper
    Read More »
    POPL
    2006
    ACM
    159views Programming Languages» more  POPL 2006»
    Stratified type inference for generalized algebraic data types
    14 years 5 months ago
    Stratified type inference for generalized algebraic data types
    Download  cristal.inria.fr
    We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
    François Pottier, Yann Régis-Gianas
    claim paper
    Read More »
    IJCAI
    2007
    174views Artificial Intelligence» more  IJCAI 2007»
    Arc Consistency during Search
    13 years 6 months ago
    Arc Consistency during Search
    Download  www.krlab.cs.ttu.edu
    Enforcing arc consistency (AC) during search has proven to be a very effective method in solving Constraint Satisfaction Problems and it has been widely-used in many Constraint Pr...
    Chavalit Likitvivatanavong, Yuanlin Zhang, Scott S...
    claim paper
    Read More »
    JSS
    2007
    115views more  JSS 2007»
    A case study in re-engineering to enforce architectural control flow and data sharing
    13 years 4 months ago
    A case study in re-engineering to enforce architectural control flow and data sharing
    Download  www.cs.cmu.edu
    Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recen...
    Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho
    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.