On Activation, Connection, and Behavior in Dynamic Architectures

DOI10.7561/SACS.2016.2.187MaRDI QIDQ4621205zbMATH OpenOpenAlexFDO

Authors Diego Marmsoler, Mario Gleirscher

Publication date 8 February 2019

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7561/sacs.2016.2.187

zbMATH Keywords

trace semanticsconfiguration tracesdynamic architecturesarchitecture specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Semantics in the theory of computing (68Q55)

Recommendations

• Connectionist functionality and the emergent network behavior
• Dynamics and architecture for neural computation
• On connectionist models
• Connection and Coordination: The Interplay Between Architecture and Dynamics in Evolved Model Pattern Generators
• scientific article; zbMATH DE number 194174
• Connectivity effects in the dynamic model of neural networks
• CONNECTIVITY AND THE DYNAMICS OF INTEGRATE-AND-FIRE NEURAL NETWORKS
• Dynamical behaviors of Hopfield neural network with multilevel activation functions

Cited in

(6)

• Specifying properties of dynamic architectures using configuration traces
• Formal specification and verification of dynamic parametrized architectures
• APML: an architecture proof modeling language
• Towards a calculus for dynamic architectures
• Runtime verification for dynamic architectures
• Interactive verification of architectural design patterns in FACTum

This page was built for publication: On Activation, Connection, and Behavior in Dynamic Architectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621205)