2520 search results - page 257 / 504 » Model-checking behavioral programs |
150
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
163
click to vote
DATE
2005
IEEE
16 years 7 days ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
172
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Cyclic genetic algorithms can be used to generate single loop control programs for robots. While successful in generating controllers for individual leg movement, gait generation,...
194
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
183
click to vote
CGO
2006
IEEE
16 years 21 days ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...