861 search results - page 126 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
177
Voted
FOGA
2011
14 years 6 months ago
2011
The distribution of fitness values across a set of states sharply influences the dynamics of evolutionary processes and heuristic search in combinatorial optimization. In this p...
154
Voted
PPOPP
2011
ACM
14 years 5 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
138
click to vote
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Hardware support for dynamic analysis can minimize the performance overhead of useful applications such as security checks, debugging, and profiling. To eliminate implementation ...
108
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
210
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...