Search Results - "Execution"

Refine Results
  1. 2941
  2. 2942
  3. 2943
  4. 2944
  5. 2945
  6. 2946
  7. 2947
  8. 2948
  9. 2949
  10. 2950

    Becoming Citizens in a Changing World IEA International Civic and Citizenship Education Study 2016 International Report / by Schulz, Wolfram, Ainley, John, Fraillon, Julian, Losito, Bruno, Agrusti, Gabriella, Friedman, Tim

    Published 2018
    Table of Contents: “…Executive Summary -- 1. Introduction to the International Study of Civic and Citizenship Education -- 2. …”
    Link to Metadata
    Electronic eBook
  11. 2951

    Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2021
    Table of Contents: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
    Link to Metadata
    Electronic eBook
  12. 2952

    Python for Everybody Exploring Data Using Python 3 by Severance, Charles

    Published 2016
    Table of Contents: “…-- 2 Variables, expressions, and statements -- 3 Conditional execution -- 4 Functions -- 5 Iteration -- 6 Strings -- 7 Files -- 8 Lists -- 9 Dictionaries -- 10 Tuples -- 11 Regular expressions -- 12 Networked programs -- 13 Using Web Services -- 14 Object-Oriented Programming -- 15 Using databases and SQL -- 16 Visualizing data -- A Contributions -- B Copyright Detail…”
    Access online version
    Electronic eBook
  13. 2953
  14. 2954
  15. 2955
  16. 2956
  17. 2957
  18. 2958
  19. 2959
  20. 2960