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»
13 years 9 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»
13 years 4 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