1880 search results - page 300 / 376 » A Static Analysis for Beta-Binders |
152
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
142
click to vote
GECCO
2009
Springer
16 years 17 days ago
2009
Springer
A recent theoretical investigation of modular representations shows that certain modularizations can introduce a distance bias into a landscape. This was a static analysis, and em...
169
click to vote
GECCO
2007
Springer
16 years 5 days ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...
175
click to vote
ICSM
2006
IEEE
16 years 1 days ago
2006
IEEE
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
171
click to vote
ECLIPSE
2006
ACM
15 years 12 months ago
2006
ACM
As programs evolve, newly added functionality sometimes no longer aligns with the original design, ending up scattered across the software system. Aspect mining tries to identify ...