Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis

DOI10.1007/978-3-540-79299-4_1zbMath1138.68337OpenAlexW1493292654WikidataQ56940388 ScholiaQ56940388MaRDI QIDQ3506397

Phan Cong Vinh, Jonathan P. Bowen

Publication date: 13 June 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79299-4_1

zbMATH Keywords

Reconfigurable computingEmbedded systemsDynamic reconfigurationFormal methodsConfigwareConfigware engineeringDynamically Programmable Field Array (DPGA)Flowware

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (1)

Data Intensive Distributed Computing in Data Aware Self-organizing Networks

Uses Software

• SystemC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Simulations in coalgebra
• Universal coalgebra: A theory of systems
• Laws of programming
• Elements of Stream Calculus
• Handbook of Nature-Inspired and Innovative Computing
• SystemC: From the Ground Up
• Reconfigurable computing for digital signal processing: A survey

This page was built for publication: Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis