1446 search results - page 117 / 290 » Hardware Software Co-Design Using Functional Languages |
143
click to vote
ERSA
2007
15 years 6 months ago
2007
”C to Gates” compilers for FPGAs have been a topic of investigation for nearly two decades. Some of these endeavors have reached a point of viability. Impulse C, for example, ...
128
click to vote
DAGSTUHL
2004
15 years 6 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
147
click to vote
PEPM
1993
ACM
15 years 9 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
162
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
155
click to vote
DSD
2009
IEEE
15 years 11 months ago
2009
IEEE
—As CMOS process technology advances towards 32nm, SoC complexity continuously grows but its dependability significantly decreases. In this paper, a beamforming chip 1 is designe...