Risultati della ricerca - "Distributed Systems"
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- 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
Pubblicazione 2020Soggetti: “...electrical distribution system...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
102
Renewable Energies for Sustainable Development
Pubblicazione 2021Soggetti: “...distribution system...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
103
Emerging and Advanced Green Energy Technologies for Sustainable and Resilient Future Grid
Pubblicazione 2022Soggetti: “...low-voltage distribution system...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
104
Recent Advances in Swarm Intelligence Algorithms and Their Applications
Pubblicazione 2023Soggetti: “...radial distribution systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
105
Sensors in Agriculture
Pubblicazione 2019Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
106
Sensors in Agriculture
Pubblicazione 2019Soggetti: “...distributed systems...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
107
Optimization Methods Applied to Power Systems: Volume 1
Pubblicazione 2019Soggetti: “...active distribution system...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
108
Optimization Methods Applied to Power Systems: Volume 2
Pubblicazione 2019Soggetti: “...active distribution system...”
DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
109
Security in Distributed, Grid, Mobile, and Pervasive Computing
Pubblicazione 2007OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
110
Security in Distributed, Grid, Mobile, and Pervasive Computing
Pubblicazione 2007DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
111
تحسين توافرية وأداء النظام الموزع بإعادة انتشار مكونات النظام
Pubblicazione 2018Connect to this object online.
Libro -
112
Security in Distributed, Grid, Mobile, and Pervasive Computing
Pubblicazione 2007OAPEN Library: download the publication
OAPEN Library: description of the publication
Elettronico Capitolo di libro -
113
توزيع العبء المتدرج باستخدام نمط النقل اللاتزامني
Pubblicazione 2019Connect to this object online.
Libro -
114
-
115
Logical Time for Decentralized Control of Material Handling Systems
Pubblicazione 2016DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
116
Reports on industrial information technology. Vol. 12
Pubblicazione 2010DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
117
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Pubblicazione 2019Sommario: “...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
Elettronico eBook -
118
Behavioural Types From Theory to Tools
Pubblicazione 2017DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro -
119
-
120
Middleware Architecture
Pubblicazione 2021DOAB: download the publication
DOAB: description of the publication
Elettronico Capitolo di libro