Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems With Constant-Space Processes

IEEE Transactions on Software Engineering - United States
doi 10.1109/tse.2019.2901485
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Self-Stabilizing Ring Orientation Using Constant Space

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1998English

Constant-Space P Systems With Active Membranes

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems

2013English

Parameterized Synthesis

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Self-Stabilizing Fault Tolerance Distributed Cyber Physical Systems

Annals of DAAAM and Proceedings of the International DAAAM Symposium
ControlSystems EngineeringIndustrialMechanical EngineeringElectronic EngineeringManufacturing EngineeringComputer Science ApplicationsElectrical
2018English

Discovering Parameter Values by Measuring Self-Similar Structures in the Phase-Space of Dissipative Systems With Constant Jacobian

Europhysics Letters
AstronomyPhysics
2000English

Self-Stabilizing Philosophers With Generic Conflicts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

On the Space Complexity of Parameterized Problems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Topology Synthesis of Distributed Actuation Systems for Morphing Wing Structures

Journal of Aircraft
Aerospace Engineering
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy