Search Results - scheduling (computing)
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 64
- Technology: general issues 50
- Computer science 21
- Research & information: general 20
- Information technology industries 14
- Medicine 11
- Artificial intelligence 10
- Software Engineering 9
- Computer networking & communications 8
- Computer networks 8
- Mathematics & science 8
- Software engineering 7
- Electrical engineering 6
- Humanities 6
- Operating systems 6
- Artificial Intelligence 5
- Business 5
- Computer Communication Networks 5
- Economics 5
- Energy industries & utilities 5
- Society & social sciences 5
- Academic achievement 4
- Biology, life sciences 4
- Circuits & components 4
- Computer Engineering and Networks 4
- Computer Science Logic and Foundations of Programming 4
- Computer architecture & logic design 4
- Computer engineering 4
- Computer programming / software development 4
- Computers 4
-
41
-
42
-
43
Optimal Scheduling of Combined Heat and Power Generation Considering Heating Grid Dynamics
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
44
-
45
-
46
-
47
-
48
-
49
-
50
-
51
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! -- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata
Electronic eBook -
52
-
53
-
54
-
55
-
56
-
57
New Industry 4.0 Advances in Industrial IoT and Visual Computing for Manufacturing Processes
Published 2020Subjects: “…computer vision…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
58
-
59
-
60