564 search results - page 83 / 113 » Runtime Verification of C Programs |
163
Voted
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
135
click to vote
SERP
2004
15 years 6 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
149
click to vote
LCTRTS
2009
Springer
15 years 11 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...
156
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
169
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...