3902 search results - page 83 / 781 » Hardware Synthesis from C C Models |
130
click to vote
DAC
1998
ACM
16 years 4 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...
140
click to vote
ICIP
2005
IEEE
16 years 5 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...
129
Voted
CC
2009
Springer
15 years 10 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...
116
Voted
SIGMETRICS
2005
ACM
15 years 9 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...
153
Voted
DATE
2010
IEEE
15 years 8 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...