Sciweavers

    ESEM
    2008
    ACM
    111views Software Engineering» more  ESEM 2008»
    On establishing a benchmark for evaluating static analysis alert prioritization and classification techniques
    13 years 9 months ago
    On establishing a benchmark for evaluating static analysis alert prioritization and classification techniques
    Download  people.engr.ncsu.edu
    Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
    Sarah Smith Heckman, Laurie Williams
    claim paper
    Read More »
    ESEM
    2008
    ACM
    509views Software Engineering» more  ESEM 2008»
    Phase distribution of software development effort
    13 years 9 months ago
    Phase distribution of software development effort
    Download  csse.usc.edu
    Effort distribution by phase or activity is an important but often overlooked aspect compared to other steps in the cost estimation process. Poor effort allocation is among the ma...
    Ye Yang, Mei He, Mingshu Li, Qing Wang, Barry W. B...
    claim paper
    Read More »
    ESEM
    2008
    ACM
    140views Software Engineering» more  ESEM 2008»
    Why do programmers avoid metrics?
    13 years 9 months ago
    Why do programmers avoid metrics?
    Download  userpages.umbc.edu
    Software process improvement initiatives such as metrics programs have a high failure rate during their assimilation in a software organization. Social and organizational issues a...
    Medha Umarji, Carolyn B. Seaman
    claim paper
    Read More »
    ESEM
    2008
    ACM
    108views Software Engineering» more  ESEM 2008»
    Defect categorization: making use of a decade of widely varying historical data
    13 years 9 months ago
    Defect categorization: making use of a decade of widely varying historical data
    Download  userpages.umbc.edu
    This paper describes our experience in aggregating a number of historical datasets containing inspection defect data using different categorization schemes. Our goal was to make u...
    Carolyn B. Seaman, Forrest Shull, Myrna Regardie, ...
    claim paper
    Read More »
    EMSOFT
    2008
    Springer
    173views Software Engineering» more  EMSOFT 2008»
    Active property checking
    13 years 9 months ago
    Active property checking
    Download  research.microsoft.com
    Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
    Patrice Godefroid, Michael Y. Levin, David A. Moln...
    claim paper
    Read More »
    EMSOFT
    2008
    Springer
    127views Software Engineering» more  EMSOFT 2008»
    Workload-based configuration of MEMS-based storage devices for mobile systems
    13 years 9 months ago
    Workload-based configuration of MEMS-based storage devices for mobile systems
    Download  wwwhome.cs.utwente.nl
    Because of its small form factor, high capacity, and expected low cost, MEMS-based storage is a suitable storage technology for mobile systems. However, flash memory may outperfor...
    Mohammed G. Khatib, Ethan L. Miller, Pieter H. Har...
    claim paper
    Read More »
    EMSOFT
    2008
    Springer
    108views Software Engineering» more  EMSOFT 2008»
    Wireless channel access reservation for embedded real-time systems
    13 years 9 months ago
    Wireless channel access reservation for embedded real-time systems
    Download  www.cs.iusb.edu
    Reservation-based channel access has been shown to be effective in providing Quality of Service (QoS) guarantees (e.g., timeliness) in wireless embedded real-time applications suc...
    Dinesh Rajan, Christian Poellabauer, Xiaobo Sharon...
    claim paper
    Read More »
    EMSOFT
    2008
    Springer
    158views Software Engineering» more  EMSOFT 2008»
    Volatiles are miscompiled, and what to do about it
    13 years 9 months ago
    Volatiles are miscompiled, and what to do about it
    Download  www.cs.utah.edu
    C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
    Eric Eide, John Regehr
    claim paper
    Read More »
    EMSOFT
    2008
    Springer
    91views Software Engineering» more  EMSOFT 2008»
    Quantitative testing
    13 years 9 months ago
    Quantitative testing
    Download  wwwhome.cs.utwente.nl
    We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
    Henrik C. Bohnenkamp, Mariëlle Stoelinga
    claim paper
    Read More »
    EMSOFT
    2008
    Springer
    78views Software Engineering» more  EMSOFT 2008»
    Event order abstraction for parametric real-time system verification
    13 years 9 months ago
    Event order abstraction for parametric real-time system verification
    Download  www.cecs.uci.edu
    Shinya Umeno
    claim paper
    Read More »
    « first‹ previous…352353354355356357358359360…next ›last »
    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.