Search Results - distributed shared memory
Suggested Topics within your search.
Suggested Topics within your search.
- Communications engineering / telecommunications 2
- Compilers (Computer programs) 2
- Compilers and Interpreters 2
- Computer modelling & simulation 2
- Computer science 2
- Energy 2
- Internet: general works 2
- Theory of Computation 2
- Artificial Intelligence 1
- Artificial intelligence 1
- Computer Engineering and Networks 1
- Computer Hardware 1
- Computer Science 1
- Computer engineering 1
- Computer networks 1
- Computers 1
- Computing Milieux 1
- History of engineering & technology 1
- Psychology 1
- Software Engineering 1
- Software engineering 1
-
1
-
2
-
3
-
4
Intelligent Imaging and Analysis
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
5
Chapter High-Performance Computing: Dos and Don'ts
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6
Chapter High-Performance Computing: Dos and Don'ts
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
7
Optimizing HPC Applications with Intel Cluster Tools Hunting Petaflops /
Published 2014Link to Metadata
Electronic eBook -
8
-
9
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Table of Contents: “…Language Design -- Consistent Subtyping for All -- HOBiT: Programming Lenses without using Lens Combinators -- Dualizing Generalized Algebraic Data Types by Matrix Transposition -- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach -- Probabilistic Programming -- An Assertion-Based Program Logic for Probabilistic Programs -- Fine-grained Semantics for Probabilistic Programs -- How long, O Bayesian network, will I sample thee? …”
Link to Metadata
Electronic eBook -
10
-
11
-
12
Operating Systems and Middleware Supporting Controlled Interaction
Published 2019Access online version
Electronic eBook -
13
Internet of Things - The Call of the Edge Everything Intelligent Everywhere
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
14
Internet of Things - The Call of the Edge Everything Intelligent Everywhere
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
15
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2023Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata
Electronic eBook -
16
-
17
-
18
-
19