60 search results - page 5 / 12 » Embedding a Hardware Description Language in Template Haskel... |
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
139
click to vote
VLSID
1999
IEEE
15 years 3 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
217
click to vote
DELTA
2006
IEEE
15 years 5 months ago
2006
IEEE
The co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct ...
ICFP
2001
ACM
15 years 11 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...