322 search results - page 5 / 65 » A Case Study of Hardware and Software Synthesis in ForSyDe |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—We present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. We analyze a series of alternative decomposition...
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
DSD
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper1 addresses the hardware implementation of a dynamic scheduler for non-manifest data dependent periodic loops. Static scheduling techniques which are known to give near ...
ICCAD
2004
IEEE
14 years 4 months ago
2004
IEEE
It is common wisdom that synthesizing hardware from higher-level descriptions than Verilog will incur a performance penalty. The case study here shows that this need not be the ca...