1810 search results - page 337 / 362 » BASE: Using Abstraction to Improve Fault Tolerance |
119
click to vote
ICSE
2012
IEEE-ACM
13 years 2 months ago
2012
IEEE-ACM
Abstract—Customizable programs and program families provide user-selectable features to allow users to tailor a program to an application scenario. Knowing in advance which featu...
FOCS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— A number of recent results on optimization problems involving submodular functions have made use of the ”multilinear relaxation” of the problem [3], [8], [24], [14]...
111
click to vote
CADE
2009
Springer
16 years 11 days ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...
92
Voted
RECOMB
2006
Springer
16 years 2 days ago
2006
Springer
Abstract. There is a resurgence of interest in RNA secondary structure prediction problem (a.k.a. the RNA folding problem) due to the discovery of many new families of non-coding R...
USENIX
2007
15 years 2 months ago
2007
Current disk prefetch policies in major operating systems track access patterns at the level of the file abstraction. While this is useful for exploiting application-level access...