Sciweavers

5241 search results - page 128 / 1049
» Embedded Programming with C
Sort
View
85
Voted
ISVLSI
2003
IEEE
101views VLSI» more  ISVLSI 2003»
15 years 5 months ago
Energy Benefits of a Configurable Line Size Cache for Embedded Systems
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...
Chuanjun Zhang, Frank Vahid, Walid A. Najjar
81
Voted
ICCL
1998
IEEE
15 years 4 months ago
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
69
Voted
POS
1992
Springer
15 years 4 months ago
Persistent Program Construction through Browsing and User Gesture with some Typing
Alex Farkas, Alan Dearle, Graham N. C. Kirby, Quin...
70
Voted
POS
1992
Springer
15 years 4 months ago
Persistent Hyper-Programs
Graham N. C. Kirby, Richard C. H. Connor, Quintin ...
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
15 years 6 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
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...
Edwin Brady, Kevin Hammond