3719 search results - page 637 / 744 » order 2010 |
217
click to vote
ENTCS
2002
15 years 6 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
301
click to vote
ENTCS
2002
15 years 6 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
167
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Statistical bioinformatics is the study of biological data sets obtained by new micro-technologies by means of proper statistical methods. For a better understanding o...
169
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We study a problem of quick detection of top-k Personalized PageRank lists. This problem has a number of important applications such as finding local cuts in large graphs, estima...
199
click to vote
EAAI
2010
15 years 5 months ago
2010
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...