3902 search results - page 83 / 781 » Hardware Synthesis from C C Models |
DAC
1998
ACM
14 years 11 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
ICIP
2005
IEEE
14 years 12 months ago
2005
IEEE
This paper presents a new algorithm for synthesising image texture. Texture synthesis is an important process in image postproduction. Previous approaches can be classified as eit...
CC
2009
Springer
14 years 5 months ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...
SIGMETRICS
2005
ACM
14 years 3 months ago
2005
ACM
This paper examines the performance of simultaneous multithreading (SMT) for network servers using actual hardware, multiple network server applications, and several workloads. Us...
DATE
2010
IEEE
14 years 3 months ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...