385 search results - page 28 / 77 » Verified Code Generation for Embedded Systems |
136
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
The key to increasing performance without a commensurate increase in power consumption in modern processors lies in increasing both parallelism and core specialization. Core speci...
147
click to vote
PFE
2001
Springer
15 years 6 months ago
2001
Springer
: How do you introduce product lines into a hardware dominated organization that has increasing software architecture awareness and products with extremely limited memory resources...
147
click to vote
LCPC
2000
Springer
15 years 5 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core, and any custom hardware on a single wafer are becoming increasingly common in applicat...
103
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
Complex embedded systems have always been heterogeneous multicore systems. Because of the tight constraints on power, performance and cost, this situation is not likely to change a...
130
Voted
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...