974 search results - page 9 / 195 » Hardware Synthesis from Term Rewriting Systems |
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
DATE
1999
IEEE
13 years 12 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
ISSS
1996
IEEE
13 years 11 months ago
1996
IEEE