Sciweavers

    22560 search results - page 4335 / 4512
    » Development of Transportation Systems
    Sort
    View
    PLDI
    2009
    ACM
    125views Programming Languages» more  PLDI 2009»
    Binary analysis for measurement and attribution of program performance
    14 years 5 months ago
    Binary analysis for measurement and attribution of program performance
    Download  www.cs.rice.edu
    Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
    Nathan R. Tallent, John M. Mellor-Crummey, Michael...
    claim paper
    Read More »
    PLDI
    2009
    ACM
    135views Programming Languages» more  PLDI 2009»
    On PDG-based noninterference and its modular proof
    14 years 5 months ago
    On PDG-based noninterference and its modular proof
    Download  pp.info.uni-karlsruhe.de
    We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
    Daniel Wasserrab, Denis Lohner, Gregor Snelting
    claim paper
    Read More »
    SAC
    2009
    ACM
    141views Applied Computing» more  SAC 2009»
    An empirical study of incorporating cost into test suite reduction and prioritization
    14 years 5 months ago
    An empirical study of incorporating cost into test suite reduction and prioritization
    Download  www.cs.pitt.edu
    Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
    Adam M. Smith, Gregory M. Kapfhammer
    claim paper
    Read More »
    SAC
    2009
    ACM
    157views Applied Computing» more  SAC 2009»
    GTfold: a scalable multicore code for RNA secondary structure prediction
    14 years 5 months ago
    GTfold: a scalable multicore code for RNA secondary structure prediction
    Download  www.cc.gatech.edu
    The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
    Amrita Mathuriya, David A. Bader, Christine E. Hei...
    claim paper
    Read More »
    WISEC
    2009
    ACM
    176views Computer Networks» more  WISEC 2009»
    Securing network access in wireless sensor networks
    14 years 5 months ago
    Securing network access in wireless sensor networks
    Download  discovery.csc.ncsu.edu
    In wireless sensor networks, it is critical to restrict the network access only to eligible sensor nodes, while messages from outsiders will not be forwarded in the networks. In t...
    Kun Sun, An Liu, Roger Xu, Peng Ning, W. Douglas M...
    claim paper
    Read More »
    « Prev « First page 4335 / 4512 Last » Next »
    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.