899 search results - page 118 / 180 » Cost Analysis of Games, Using Program Logic |
108
click to vote
IWMM
2009
Springer
15 years 8 months ago
2009
Springer
Good spatial locality alleviates both the latency and bandwidth problem of memory by boosting the effect of prefetching and improving the utilization of cache. However, convention...
115
click to vote
SC
2009
ACM
15 years 8 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
114
click to vote
AOSD
2009
ACM
15 years 3 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
123
click to vote
LCTRTS
2010
Springer
14 years 11 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
122
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...