Showing 1 - 20 results of 73 for search '"SIGPLAN', query time: 0.51s Refine Results
  1. 1
    Auditoria governamental como instrumento de avaliação dos resultados dos programas governamentais : uma análise comparativa SIGPLAN - Relatório de Gestão
    by Oliveira, Hélio Cincinato de
    Published 2010
    Get full text
  2. 2
    Programming with neural surrogates of programs
    by Renda, Alex, Ding, Yi, Carbin, Michael
    Published 2022
    Get fulltext
    Article
  3. 3
    SPPL: probabilistic programming with fast exact symbolic inference
    Get fulltext
    Article
  4. 4
    Integration verification across software and hardware for a simple embedded system
    Get fulltext
    Article
  5. 5
    SkyQuery: an aerial drone video sensing platform
    Get fulltext
    Article
  6. 6
    Smooth interpretation
    Get fulltext
    Article
  7. 7
    Data representation synthesis
    Get fulltext
    Article
  8. 8
    Agile specifications
    Get fulltext
    Article
  9. 9
    Configuration synthesis for programmable analog devices with Arco
    Get fulltext
    Article
  10. 10
    Concurrent data representation synthesis
    Get fulltext
    Article
  11. 11
    Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation
    by Rinard, Martin C.
    Published 2012
    Get fulltext
    Article
  12. 12
    The three pillars of machine programming
    Get fulltext
    Article
  13. 13
    Active learning for software engineering
    Get fulltext
    Article
  14. 14
    Semantic code search via equational reasoning
    Get fulltext
    Article
  15. 15
    sk_p: a neural program corrector for MOOCs
    Get fulltext
    Article
  16. 16
    Automatic error elimination by horizontal code transfer across multiple applications
    Get fulltext
    Article
  17. 17
    Demystifying dependence
    by Koppel, James, Jackson, Daniel
    Published 2022
    Get fulltext
    Article
  18. 18
    Measuring the Usability and Capability of App Inventor to Create Mobile Applications
    Get fulltext
    Article
  19. 19
    A program optimization for automatic database result caching
    by Scully, Ziv, Chlipala, Adam
    Published 2017
    Get fulltext
    Article
  20. 20
    Active learning for inference and regeneration of computer programs that store and retrieve data
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search