1452 search results - page 94 / 291 » Algorithmic Analysis of Array-Accessing Programs |
105
Voted
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
Shin et al [19] and McKay et al [15] previously applied tree compression and semantics-based simplification to study the distribution of building blocks in evolving Genetic Progr...
102
Voted
AVI
2008
15 years 1 months ago
2008
Programming assignments are easy to plagiarize in such a way as to foil casual reading by graders. Graders can resort to automatic plagiarism detection systems, which can generate...
133
click to vote
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...
102
click to vote
CIDU
2010
14 years 9 months ago
2010
Given any collection of data cells in a data space X, consider the problem of finding the optimal partition of the data cells into blocks which are unions of cells. The algorithms...
111
click to vote
CADE
2005
Springer
16 years 22 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...