3889 search results - page 636 / 778 » The Use of Program Dependence Graphs in Software Engineering |
153
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- Curves and natural frames can be used for describing and controlling motion in both biological and engineering contexts (e.g., pursuit and formation control). The geomet...
178
click to vote
RV
2009
Springer
15 years 8 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
140
click to vote
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
132
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
159
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the average memory access latency. Improving the cache hit rate can have significant positive impact on the per...