3146 search results - page 245 / 630 » The use of compiler optimizations for embedded systems softw... |
188
click to vote
IFL
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
172
click to vote
IESS
2007
Springer
16 years 20 days ago
2007
Springer
: Hardware/software partitioning moves software kernels from a microprocessor to custom hardware accelerators. We consider advanced implementation options for accelerators, greatly...
181
click to vote
ESTIMEDIA
2007
Springer
16 years 21 days ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
181
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
- This paper introduces the first hardwarekoftware co-synthesis algorithm that optimizes the implementations of ASICs that are used as processing elements for the embedded systems....
178
click to vote
CODES
2007
IEEE
16 years 26 days ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...