1446 search results - page 59 / 290 » Hardware Software Co-Design Using Functional Languages |
167
click to vote
SIES
2009
IEEE
15 years 11 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...
121
click to vote
DATE
2010
IEEE
15 years 9 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...
142
click to vote
APL
1993
ACM
15 years 8 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,...
126
click to vote
PLDI
2012
ACM
13 years 7 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 ...
154
Voted
PLDI
2004
ACM
15 years 10 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...