Sciweavers

3 search results - page 1 / 1
» Formal Behavioural Synthesis of Handel-C Parallel Hardware I...
Sort
View
FPL
2009
Springer
115views Hardware» more  FPL 2009»
15 years 3 months ago
Recursion in reconfigurable computing: A survey of implementation approaches
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...
Iouliia Skliarova, Valery Sklyarov
TSE
1998
176views more  TSE 1998»
14 years 10 months ago
Constructive Protocol Specification Using Cicero
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
Yen-Min Huang, Chinya V. Ravishankar