1226 search results - page 226 / 246 » Proofs, Programs and Abstract Complexity |
111
click to vote
CC
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
105
click to vote
EUROPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Modern microprocessors have sacrificed the exactness of exceptions for improved performance long ago. This is a side effect of reordering instructions so that the micropr...
121
click to vote
DBISP2P
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper addresses the problem of data placement, indexing, and querying large XML data repositories distributed over an existing P2P service infrastructure. Our archit...
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...