1446 search results - page 7 / 290 » Hardware Software Co-Design Using Functional Languages |
ISCAPDCS
2003
13 years 11 months ago
2003
In this paper, we present a system partitioning technique in which the input system specification is based on C++ language. The proposed technique processes data and precedence de...
ISCA
2012
IEEE
12 years 24 days ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
MSE
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper describes our experience to date and current plans for a senior-level microelectronics laboratory course on hardware/software codesign. The course utilizes an open-sour...
HASKELL
2006
ACM
14 years 4 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
ECOOP
2008
Springer
14 years 4 days ago
2008
Springer
Abstract. The paradigm shift in processor design from monolithic processors to multicore has renewed interest in programming models that facilitate parallelism. While multicores ar...