Runtime Adaptor Synthesis for Autonomic Systems of Systems

Runtime Adaptor Synthesis for Autonomic Systems of Systems

Dettagli Bibliografici
Autore principale:	Calinescu, R
Natura:	Journal article
Pubblicazione:	2010

Documenti analoghi

Guardauto: a decentralized runtime protection system for autonomous driving
di: Cheng, Kun, et al.
Pubblicazione: (2022)

On verification and controller synthesis for probabilistic systems at runtime
di: Ujma, M
Pubblicazione: (2015)

Runtime verification for stochastic systems
di: Wilcox, Cristina M
Pubblicazione: (2010)

The JCilk-1 runtime system
di: Danaher, John (John Stephen)
Pubblicazione: (2007)

Advances in the M-machine runtime system
di: Shultz, Andrew Lloyd
Pubblicazione: (2008)

Cilk: An Efficient Multithreaded Runtime System
di: Blumofe, Robert D., et al.
Pubblicazione: (2023)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
di: Forejt, V, et al.
Pubblicazione: (2012)

Runtime reconfigurable platform for embedded systems
di: Krishnamoorthy Baskaran
Pubblicazione: (2008)

Integrating data caching into the SUDS runtime system
di: Wilson, Kevin W. (Kevin William), 1977-
Pubblicazione: (2014)

Composing Parallel Runtime Systems: A Case Study in How to Compose the Julia and OpenCilk Runtimes
di: Kralj, Tim
Pubblicazione: (2022)

Using Quantitative Analysis to Implement Autonomic IT Systems
di: Calinescu, R, et al.
Pubblicazione: (2009)

Runtime pluggable CPU scheduler for linux operating system
di: Al-Maweri, Nasr Addin Ahmed Salem
Pubblicazione: (2010)

Runtime Monitoring of PLCs In Critical Real-Time Systems
di: Hilke, Joshua
Pubblicazione: (2022)

Model-based runtime analysis of distributed reactive systems.
di: Bauer, A, et al.
Pubblicazione: (2006)

Hierarchical framework for runtime intrusion detection in embedded systems
di: Muhamed Fauzi Bin Abbas, et al.
Pubblicazione: (2021)

Hardware-assisted remote runtime attestation for critical embedded systems
di: Geden, M, et al.
Pubblicazione: (2020)

Fractal Dimension as an Indication of the Terminating Runtime of Discrete Dynamical Systems
di: Zenil, F
Pubblicazione: (2011)

Adaptor proteins of type VI secretion system effectors
di: Unterweger, D, et al.
Pubblicazione: (2016)

Runtime Verification for LTL and TLTL.
di: Bauer, A, et al.
Pubblicazione: (2011)

Impartial Anticipation in Runtime-Verification.
di: Dong, W, et al.
Pubblicazione: (2008)

Runtime Verification Based on Register Automata
di: Grigore, R, et al.
Pubblicazione: (2013)

Model−Driven Autonomic Architecture
di: Calinescu, R
Pubblicazione: (2015)

General−Purpose Autonomic Computing
di: Calinescu, R
Pubblicazione: (2015)

Stable adaptive work-stealing for concurrent many-core runtime systems
di: Cao, Yangjie, et al.
Pubblicazione: (2013)

Resource−Definition Policies for Autonomic Computing
di: Calinescu, R
Pubblicazione: (2015)

Implementation of a Generic Autonomic Framework
di: Calinescu, R
Pubblicazione: (2008)

Comparing LTL Semantics for Runtime Verification.
di: Bauer, A, et al.
Pubblicazione: (2010)

Runtime verification of object lifetime specifications
di: Benjamin, Zev (Zev A.)
Pubblicazione: (2010)

A Dynamic Platform for Runtime Adaptation
di: Pham, Hubert, et al.
Pubblicazione: (2011)

Safe Runtime Downcasts With Ownership Types
di: Boyapati, Chandrasekhar, et al.
Pubblicazione: (2023)

Runtime execution tracing and alignment with PANDA
di: Goggin, Leah(Leah G.)
Pubblicazione: (2020)

A brief account of runtime verification.
di: Leucker, M, et al.
Pubblicazione: (2009)

A runtime relocation based workflow for self dynamic reconfigurable systems design
di: Santambrogio, Marco Domenico, et al.
Pubblicazione: (2010)

Runtime CPU scheduler customization framework for a flexible mobile operating system
di: Al-Maweri, Nasr Addin Ahmed Salem, et al.
Pubblicazione: (2009)

EasyPDP: an efficient parallel dynamic programming runtime system for computational biology
di: Tang, Shanjiang, et al.
Pubblicazione: (2013)

Using memory mapping to support cactus stacks in work-stealing runtime systems
di: Lee, I-Ting Angelina, et al.
Pubblicazione: (2011)

Reconfigurable Service−Oriented Architecture for Autonomic Computing
di: Calinescu, R
Pubblicazione: (2009)

Dimensions of hydraulic connectors and adaptors
di: 8096 British Standards Institution

Gas meter unions and adaptors
di: 8096 British Standards Institution
Pubblicazione: (1987)

Challenges and Best Practices in Policy−Based Autonomic Architectures
di: Calinescu, R
Pubblicazione: (2007)