5241 search results - page 128 / 1049 » Embedded Programming with C |
ISVLSI
2003
IEEE
14 years 4 months ago
2003
IEEE
Previous work has shown that cache line sizes impact performance differently for different desktop programs – some programs work better with small line sizes, others with larger...
ICCL
1998
IEEE
14 years 3 months ago
1998
IEEE
POS
1992
Springer
14 years 2 months ago
1992
Springer
POS
1992
Springer
14 years 2 months ago
1992
Springer
IFL
2005
Springer
14 years 4 months 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...