599 search results - page 33 / 120 » Improving the Efficiency of XPath Execution on Relational Sy... |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
ADC
2007
Springer
13 years 12 months ago
2007
Springer
Derived horizontal fragmentation is one of the main database distribution design techniques. Unlike primary horizontal fragmentation, the decision of derived horizontal fragmentat...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Developers often use electronic mailing lists when seeking assistance with a particular software application. The archives of these mailing lists provide a rich repository of prob...
FAST
2008
13 years 10 months ago
2008
Flash memory has become the most important storage media in mobile devices, and is beginning to replace hard disks in desktop systems. However, its relatively poor random write pe...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, an efficient design for implementing binary sequence generator on 32-bit instruction execution mode TI TMS320C6416 DSP is presented. The main goal is to achieve high...