Runtime Adaptor Synthesis for Autonomic Systems of Systems

Runtime Adaptor Synthesis for Autonomic Systems of Systems

Manylion Llyfryddiaeth
Prif Awdur:	Calinescu, R
Fformat:	Journal article
Cyhoeddwyd:	2010

Eitemau Tebyg

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

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

Runtime verification for stochastic systems
gan: Wilcox, Cristina M
Cyhoeddwyd: (2010)

The JCilk-1 runtime system
gan: Danaher, John (John Stephen)
Cyhoeddwyd: (2007)

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

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

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

Runtime reconfigurable platform for embedded systems
gan: Krishnamoorthy Baskaran
Cyhoeddwyd: (2008)

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

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

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

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

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

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

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

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

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

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

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

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

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

Model−Driven Autonomic Architecture
gan: Calinescu, R
Cyhoeddwyd: (2015)

General−Purpose Autonomic Computing
gan: Calinescu, R
Cyhoeddwyd: (2015)

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

Resource−Definition Policies for Autonomic Computing
gan: Calinescu, R
Cyhoeddwyd: (2015)

Implementation of a Generic Autonomic Framework
gan: Calinescu, R
Cyhoeddwyd: (2008)

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

Runtime verification of object lifetime specifications
gan: Benjamin, Zev (Zev A.)
Cyhoeddwyd: (2010)

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

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

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

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

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

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

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

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

Reconfigurable Service−Oriented Architecture for Autonomic Computing
gan: Calinescu, R
Cyhoeddwyd: (2009)

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

Gas meter unions and adaptors
gan: 8096 British Standards Institution
Cyhoeddwyd: (1987)

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