Search Results - "compiler"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 75
- Technology: general issues 53
- History of engineering & technology 49
- Biology, life sciences 48
- Computer science 40
- Medicine 36
- History 32
- Artificial intelligence 28
- United States -- Politics and government 28
- Education 27
- Sustainability 25
- Law 24
- Scottish Borders (Scotland) -- Fiction 24
- linguistics 23
- Humanities 21
- Botany & plant sciences 20
- Compilers (Computer programs) 19
- Compilers and Interpreters 19
- European history 18
- Neurosciences 17
- Agricultural science 16
- Environmental management 16
- Environmental science, engineering & technology 16
- Software Engineering 16
- Politics & government 15
- Biodiversity 14
- Central government policies 14
- Language: reference & general 14
- Programming & scripting languages: general 14
- Conservation of the environment 13
-
561
Tales of Times Now Past Sixty-Two Stories from a Medieval Japanese Collection
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
562
-
563
-
564
-
565
-
566
-
567
-
568
-
569
-
570
-
571
Tales of Times Now Past Sixty-Two Stories from a Medieval Japanese Collection
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
572
-
573
-
574
-
575
Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml /
Published 2023Table of Contents: “…-Chapter 2: Core Optimization -- Chapter 3: Algorithm Differentiation -- Chapter 4: Mathematical Optimization -- Chapter 5: Deep Neural Networks -- Chapter 6: Computation Graph -- Chapter 7: Performance Accelerators -- Chapter 8: Compiler Backends -- Chapter 9: Composition and Deployment -- Chapter 10: Distributed Computing -- Chapter 11: Testing Framework -- Appendix A: Basic Analytics Examples -- Appendix B: System Conventions -- Appendix C: Metric Systems and Constants -- Appendix D: AlgoDiff Module -- Appendix E: Neural Network Module -- Appendix F: Actor System for Distributed Computing -- Bibliography.…”
Link to Metadata
Electronic eBook -
576
-
577
-
578
-
579
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 2021Table 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 -
580