Showing 1 - 20 results of 144 for search 'C PROGRAMMING', query time: 1.10s Refine Results
  1. 1
    Keyword programming in Java
    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
    Modeling programming knowledge for mentoring at scale
    Get fulltext
    Article
  4. 4
    Probabilistically Accurate Program Transformations
    Get fulltext
    Article
  5. 5
    The three pillars of machine programming
    Get fulltext
    Article
  6. 6
    Leveraging Learners for Teaching Programming and Hardware Design at Scale
    by Glassman, Elena L, Miller, Robert C
    Published 2017
    Get fulltext
    Article
  7. 7
    Addressing misconceptions about code with always-on programming visualizations
    Get fulltext
    Article
  8. 8
    An Integrated Proof Language for Imperative Programs
    Get fulltext
    Article
  9. 9
    Parallelizing Sequential Programs with Statistical Accuracy Tests
    Get fulltext
    Article
  10. 10
    Verifying quantitative reliability for programs that execute on unreliable hardware
    Get fulltext
    Article
  11. 11
    Verified integrity properties for safe approximate program transformations
    Get fulltext
    Article
  12. 12
    Proving acceptability properties of relaxed nondeterministic approximate programs
    Get fulltext
    Article
  13. 13
    Program fracture and recombination for efficient automatic code reuse
    Get fulltext
    Article
  14. 14
    Randomized accuracy-aware program transformations for efficient approximate computations
    Get fulltext
    Article
  15. 15
    Active learning for inference and regeneration of computer programs that store and retrieve data
    Get fulltext
    Article
  16. 16
    An Empirical Study on the Impact of Deimplicitization on Comprehension in Programs Using Application Frameworks
    Get fulltext
    Article
  17. 17
    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
  18. 18
    The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier
    by Chlipala, Adam
    Published 2014
    Get fulltext
    Article
  19. 19
    SMART: A Single-Cycle Reconfigurable NoC for SoC Applications
    Get fulltext
    Article
  20. 20
    Systematic Analysis of Defenses against Return-Oriented Programming
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search