619 search results - page 63 / 124 » The Design and Implementation of a Certifying Compiler |
158
Voted
MAM
2007
15 years 3 months ago
2007
This paper describes a new method of executing a software program on an FPGA for embedded systems. Rather than combine reconfigurable logic with a microprocessor core, this method...
152
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
179
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
155
click to vote
SFM
2005
Springer
15 years 9 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
115
click to vote
TACO
2008
15 years 3 months ago
2008
r acceptance of FPGAs as a computing device requires a higher level of programming abstraction. ROCCC is an optimizing C to HDL compiler. We describe the code generation approach i...