1077 search results - page 34 / 216 » Hardware code generation from dataflow programs |
114
click to vote
VEE
2006
ACM
15 years 5 months ago
2006
ACM
During recent years, microprocessor energy consumption has been surging and efforts to reduce power and energy have received a lot of attention. At the same time, virtual executio...
114
click to vote
GPCE
2008
Springer
15 years 25 days ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
101
click to vote
ACSD
2009
IEEE
15 years 6 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
PEPM
1993
ACM
15 years 3 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
159
click to vote
CAV
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...