Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Lava: hardware design in Haskell
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons
VLSID '99 Proceedings of the 12th International Conference on VLSI Design - 'VLSI for the Information Appliance'
The usage of stochastic processes in embedded system specifications
Proceedings of the ninth international symposium on Hardware/software codesign
A case study of hardware and software synthesis in ForSyDe
Proceedings of the 15th international symposium on System Synthesis
| Hi-index | 0.00 |