Formal Methods in System Design · 1997 · 68 citations · 20 references
ComputingComputer EngineeringComputer ScienceCompilersComputer ArchitectureProgramming LanguagesData SynchronizationData-flow AnalysisDataflow ModelingDataflow OptimizationDataflow Programming ModelsMinimizationSynchronous DataflowSynchronous Dataflow Models
20
V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 17K citations
Edward A. Lee, T.M. Parks · Proceedings of the IEEE · 1995 · 928 citations
Optimizing supercompilers for supercomputers
Michael Wolfe · 2020 · 840 citations