Zoekresultaten - "distributed systems"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- History of engineering & technology 34
- Software Engineering 28
- Artificial intelligence 24
- Technology: general issues 19
- Computer networking & communications 16
- Algorithms & data structures 14
- Computer programming / software development 14
- Computer science 14
- Mathematical theory of computation 12
- Information technology: general issues 9
- Electrical engineering 8
- Computer modelling & simulation 6
- Computer networks 6
- Distributed systems 6
- Network hardware 6
- Software engineering 6
- Systems analysis & design 6
- Computer security 5
- Research & information: general 5
- Computer Engineering and Networks 4
- Computer architecture & logic design 4
- Computer engineering 4
- Expert systems / knowledge-based systems 4
- Operating systems 4
- Programming & scripting languages: general 4
- Society & social sciences 4
- Theory of Computation 4
- Artificial Intelligence 3
- Automatic control engineering 3
- Circuits & components 3
-
101
Smart Energy Management for Smart Grids
Gepubliceerd in 2020Onderwerpen: “…electrical distribution system…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
102
Renewable Energies for Sustainable Development
Gepubliceerd in 2021Onderwerpen: “…distribution system…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
103
Emerging and Advanced Green Energy Technologies for Sustainable and Resilient Future Grid
Gepubliceerd in 2022Onderwerpen: “…low-voltage distribution system…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
104
Recent Advances in Swarm Intelligence Algorithms and Their Applications
Gepubliceerd in 2023Onderwerpen: “…radial distribution systems…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
105
Sensors in Agriculture
Gepubliceerd in 2019Onderwerpen: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
106
Sensors in Agriculture
Gepubliceerd in 2019Onderwerpen: “…distributed systems…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
107
Optimization Methods Applied to Power Systems: Volume 1
Gepubliceerd in 2019Onderwerpen: “…active distribution system…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
108
Optimization Methods Applied to Power Systems: Volume 2
Gepubliceerd in 2019Onderwerpen: “…active distribution system…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
109
Security in Distributed, Grid, Mobile, and Pervasive Computing
Gepubliceerd in 2007OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
110
Security in Distributed, Grid, Mobile, and Pervasive Computing
Gepubliceerd in 2007DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
111
تحسين توافرية وأداء النظام الموزع بإعادة انتشار مكونات النظام
Gepubliceerd in 2018Connect to this object online.
Boek -
112
Security in Distributed, Grid, Mobile, and Pervasive Computing
Gepubliceerd in 2007OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
113
توزيع العبء المتدرج باستخدام نمط النقل اللاتزامني
Gepubliceerd in 2019Connect to this object online.
Boek -
114
-
115
Logical Time for Decentralized Control of Material Handling Systems
Gepubliceerd in 2016DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
116
Reports on industrial information technology. Vol. 12
Gepubliceerd in 2010DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
117
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Gepubliceerd in 2019Inhoudsopgave: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata
Elektronisch E-boek -
118
Behavioural Types From Theory to Tools
Gepubliceerd in 2017DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
119
-
120
Middleware Architecture
Gepubliceerd in 2021DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk