1291 search results - page 200 / 259 » Arithmetic program paths |
78
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Machining time is a major performance criterion when it comes to high speed machining. CAM software can help in estimating that time for a given strategy. But in practice, CAM pro...
129
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—Network power consumption can be reduced considerably by adapting link data rates to their offered traffic loads. In this paper, we exploit how to leverage rate adaptat...
109
click to vote
LCTRTS
2009
Springer
15 years 7 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...
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
130
click to vote
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...