Runtime Adaptor Synthesis for Autonomic Systems of Systems

Runtime Adaptor Synthesis for Autonomic Systems of Systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Calinescu, R
Μορφή:	Journal article
Έκδοση:	2010

Παρόμοια τεκμήρια

Guardauto: a decentralized runtime protection system for autonomous driving
ανά: Cheng, Kun, κ.ά.
Έκδοση: (2022)

On verification and controller synthesis for probabilistic systems at runtime
ανά: Ujma, M
Έκδοση: (2015)

Runtime verification for stochastic systems
ανά: Wilcox, Cristina M
Έκδοση: (2010)

The JCilk-1 runtime system
ανά: Danaher, John (John Stephen)
Έκδοση: (2007)

Advances in the M-machine runtime system
ανά: Shultz, Andrew Lloyd
Έκδοση: (2008)

Cilk: An Efficient Multithreaded Runtime System
ανά: Blumofe, Robert D., κ.ά.
Έκδοση: (2023)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
ανά: Forejt, V, κ.ά.
Έκδοση: (2012)

Runtime reconfigurable platform for embedded systems
ανά: Krishnamoorthy Baskaran
Έκδοση: (2008)

Integrating data caching into the SUDS runtime system
ανά: Wilson, Kevin W. (Kevin William), 1977-
Έκδοση: (2014)

Composing Parallel Runtime Systems: A Case Study in How to Compose the Julia and OpenCilk Runtimes
ανά: Kralj, Tim
Έκδοση: (2022)

Using Quantitative Analysis to Implement Autonomic IT Systems
ανά: Calinescu, R, κ.ά.
Έκδοση: (2009)

Runtime pluggable CPU scheduler for linux operating system
ανά: Al-Maweri, Nasr Addin Ahmed Salem
Έκδοση: (2010)

Runtime Monitoring of PLCs In Critical Real-Time Systems
ανά: Hilke, Joshua
Έκδοση: (2022)

Model-based runtime analysis of distributed reactive systems.
ανά: Bauer, A, κ.ά.
Έκδοση: (2006)

Hierarchical framework for runtime intrusion detection in embedded systems
ανά: Muhamed Fauzi Bin Abbas, κ.ά.
Έκδοση: (2021)

Hardware-assisted remote runtime attestation for critical embedded systems
ανά: Geden, M, κ.ά.
Έκδοση: (2020)

Fractal Dimension as an Indication of the Terminating Runtime of Discrete Dynamical Systems
ανά: Zenil, F
Έκδοση: (2011)

Adaptor proteins of type VI secretion system effectors
ανά: Unterweger, D, κ.ά.
Έκδοση: (2016)

Runtime Verification for LTL and TLTL.
ανά: Bauer, A, κ.ά.
Έκδοση: (2011)

Impartial Anticipation in Runtime-Verification.
ανά: Dong, W, κ.ά.
Έκδοση: (2008)

Runtime Verification Based on Register Automata
ανά: Grigore, R, κ.ά.
Έκδοση: (2013)

Stable adaptive work-stealing for concurrent many-core runtime systems
ανά: Cao, Yangjie, κ.ά.
Έκδοση: (2013)

Model−Driven Autonomic Architecture
ανά: Calinescu, R
Έκδοση: (2015)

General−Purpose Autonomic Computing
ανά: Calinescu, R
Έκδοση: (2015)

Resource−Definition Policies for Autonomic Computing
ανά: Calinescu, R
Έκδοση: (2015)

Implementation of a Generic Autonomic Framework
ανά: Calinescu, R
Έκδοση: (2008)

Comparing LTL Semantics for Runtime Verification.
ανά: Bauer, A, κ.ά.
Έκδοση: (2010)

Runtime verification of object lifetime specifications
ανά: Benjamin, Zev (Zev A.)
Έκδοση: (2010)

A Dynamic Platform for Runtime Adaptation
ανά: Pham, Hubert, κ.ά.
Έκδοση: (2011)

Safe Runtime Downcasts With Ownership Types
ανά: Boyapati, Chandrasekhar, κ.ά.
Έκδοση: (2023)

Runtime execution tracing and alignment with PANDA
ανά: Goggin, Leah(Leah G.)
Έκδοση: (2020)

A brief account of runtime verification.
ανά: Leucker, M, κ.ά.
Έκδοση: (2009)

A runtime relocation based workflow for self dynamic reconfigurable systems design
ανά: Santambrogio, Marco Domenico, κ.ά.
Έκδοση: (2010)

Runtime CPU scheduler customization framework for a flexible mobile operating system
ανά: Al-Maweri, Nasr Addin Ahmed Salem, κ.ά.
Έκδοση: (2009)

EasyPDP: an efficient parallel dynamic programming runtime system for computational biology
ανά: Tang, Shanjiang, κ.ά.
Έκδοση: (2013)

Using memory mapping to support cactus stacks in work-stealing runtime systems
ανά: Lee, I-Ting Angelina, κ.ά.
Έκδοση: (2011)

Reconfigurable Service−Oriented Architecture for Autonomic Computing
ανά: Calinescu, R
Έκδοση: (2009)

Dimensions of hydraulic connectors and adaptors
ανά: 8096 British Standards Institution

Gas meter unions and adaptors
ανά: 8096 British Standards Institution
Έκδοση: (1987)

Challenges and Best Practices in Policy−Based Autonomic Architectures
ανά: Calinescu, R
Έκδοση: (2007)