1446 search results - page 85 / 290 » Hardware Software Co-Design Using Functional Languages |
126
Voted
IEEEPACT
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
142
Voted
IAT
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
106
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
131
click to vote
WADT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
102
Voted
DATE
2003
IEEE
15 years 7 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...