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
-
61
-
62
-
63
-
64
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2018Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata
Electronic eBook -
65
-
66
-
67
-
68
-
69
JoSchKa: Jobverteilung in heterogenen und unzuverlässigen Umgebungen
Published 2008DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
70
-
71
-
72
-
73
-
74
Particle Swarm Optimization with Applications
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
75
-
76
-
77
-
78
-
79
-
80
Eingebettete Systeme Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen
Published 2021Subjects: “…Computer networking & communications bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter