scientific article; zbMATH DE number 2079646

MaRDI QIDQ4471675zbMATH OpenFDO

Authors Bishnupriya Bhattacharya, Shuvra S. Bhattacharyya

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2268/22680001.htm

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Natural language processing (68T50) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 918595
• Analysis of dataflow programs with interval-limited data-rates
• Formally analyzed dynamic synthesis of hardware
• Formal specification and verification of dynamic parametrized architectures
• Síntese de Software Adaptativo baseada em Especificações, Extended Dataflow

Cited in

(5)

• Stability, sequentiality and demand driven evaluation in dataflow
• Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
• Síntese de Software Adaptativo baseada em Especificações, Extended Dataflow
• GreyHound: A methodology for utilizing datapath regularity in standard design flows
• Local consistency check in synchronous dataflow models

This page was built for publication:

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