10575 search results - page 1765 / 2115 » Programming Languages |
161
click to vote
CP
2007
Springer
16 years 27 days ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
172
click to vote
ICALP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The edit distance between two ordered rooted trees with vertex labels is the minimum cost of transforming one tree into the other by a sequence of elementary operations c...
193
click to vote
IWMM
2007
Springer
16 years 26 days ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...
179
Voted
OOPSLA
2007
Springer
16 years 26 days ago
2007
Springer
All high-performance production JVMs employ an adaptive strategy for program execution. Methods are first executed unoptimized and then an online profiling mechanism is used to ...
148
click to vote
APLAS
2006
ACM
16 years 21 days ago
2006
ACM
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...