32032 search results - page 6018 / 6407 » Verified programming in Guru |
205
click to vote
LCTRTS
2009
Springer
16 years 2 months ago
2009
Springer
Register allocation is often a two-phase approach: spilling of registers to memory, followed by coalescing of registers. Extreme liverange splitting (i.e. live-range splitting aft...
221
click to vote
RECOMB
2009
Springer
16 years 2 months ago
2009
Springer
This paper presents a new approach to site-directed recombination, swapping combinations of selected discontiguous fragments from a source protein in place of corresponding fragmen...
194
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...
188
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
171
click to vote
CLUSTER
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Multi-core systems are now extremely common in modern clusters. In the past commodity systems may have had up to two or four CPUs per compute node. In modern clusters, t...