Modelling dynamically changing hardware structure

DOI10.1016/J.ENTCS.2005.12.091MaRDI QIDQ5262971zbMATH OpenOpenAlexFDO

Authors George J. Milne

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.091

zbMATH Keywords

process algebrareconfigurable computingcircuit modellingdynamic structure hardware

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Parallel reconfiguration in an image-processing context
• A model of reconfiguration in communicating sequential processes
• scientific article; zbMATH DE number 1941067
• Dynamically reconfigurable systems. Architectures, design methods and applications
• Reconfigurable-computing technology

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• CIRCAL and the representation of communication, concurrency, and time
• Concurrent Processes and Their Syntax

Cited in

(4)

• scientific article; zbMATH DE number 1941067 (Why is no real title available?)
• Applying multi agent techniques to reconfigurable systems
• Adaptive virtual organisms: a compositional model for complex hardware-software binding
• Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems

This page was built for publication: Modelling dynamically changing hardware structure

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