4767 search results - page 141 / 954 » Structures for Abstract Rewriting |
109
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Caching can highly improve performance of query processing in distributed databases. In this paper we show how this technique can be used in grid architecture where data ...
118
click to vote
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
106
click to vote
CSMR
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
147
Voted
DBPL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We are interested in the theoretical foundations of the optimization of conjunctive regular path queries (CRPQs). The basic problem here is deciding query containment bot...