1108 search results - page 193 / 222 » Algorithm Transformation for FPGA Implementation |
132
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
117
Voted
SBCCI
2009
ACM
15 years 6 months ago
2009
ACM
The multiplication of a variable by multiple constants, i.e., the multiple constant multiplications (MCM), has been a central operation and performance bottleneck in many applicat...
136
Voted
POPL
2011
ACM
14 years 4 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
107
click to vote
CGO
2003
IEEE
15 years 5 months ago
2003
IEEE
Existing profile-guided partial redundancy elimination (PRE) methods use speculation to enable the removal of partial redundancies along more frequently executed paths at the expe...
126
Voted
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...