Showing 1 - 20 results of 23 for search 'COMPUTER PROGRAMMING', query time: 0.84s Refine Results
  1. 1
    Randomized accuracy-aware program transformations for efficient approximate computations
    Get fulltext
    Article
  2. 2
    Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation
    by Rinard, Martin C.
    Published 2012
    Get fulltext
    Article
  3. 3
    Probabilistically Accurate Program Transformations
    Get fulltext
    Article
  4. 4
    An Integrated Proof Language for Imperative Programs
    Get fulltext
    Article
  5. 5
    Dynamic Knobs for Responsive Power-Aware Computing
    Get fulltext
    Article
  6. 6
    Parallelizing Sequential Programs with Statistical Accuracy Tests
    Get fulltext
    Article
  7. 7
    Patterns and statistical analysis for understanding reduced resource computing
    Get fulltext
    Article
  8. 8
    Verified integrity properties for safe approximate program transformations
    Get fulltext
    Article
  9. 9
    Verifying quantitative reliability for programs that execute on unreliable hardware
    Get fulltext
    Article
  10. 10
    Proving acceptability properties of relaxed nondeterministic approximate programs
    Get fulltext
    Article
  11. 11
    From Natural Language Specifications to Program Input Parsers
    Get fulltext
    Article
  12. 12
    Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels
    Get fulltext
    Article
  13. 13
    Automatic extraction of heap reference properties in object-oriented programs
    by Demsky, Brian, Rinard, Martin C.
    Published 2010
    Get fulltext
    Article
  14. 14
    Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival)
    by Rinard, Martin C.
    Published 2010
    “...Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program...”
    Get fulltext
    Article
  15. 15
    Rapid haplotype inference for nuclear families
    Get fulltext
    Article
  16. 16
    Automatic error elimination by horizontal code transfer across multiple applications
    Get fulltext
    Article
  17. 17
    Survival strategies for synthesized hardware systems
    by Rinard, Martin C.
    Published 2010
    Get fulltext
    Article
  18. 18
    Data structure fusion
    Get fulltext
    Article
  19. 19
    Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement
    Get fulltext
    Article
  20. 20
    Sound input filter generation for integer overflow errors
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search