1446 search results - page 59 / 290 » Hardware Software Co-Design Using Functional Languages |
144
click to vote
SIES
2009
IEEE
15 years 9 months ago
2009
IEEE
— Software intellectual property (SWIP) is a critical component of increasingly complex FPGA based system on chip (SOC) designs. As a result, developers want to ensure that their...
104
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
121
click to vote
APL
1993
ACM
15 years 6 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
107
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
132
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...