1000 search results - page 139 / 200 » Dependency Tree Automata |
103
Voted
TCS
2008
15 years 18 days ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
127
Voted
DEXA
2010
Springer
14 years 10 months ago
2010
Springer
We researched to try to find a way to reduce the cost of nearest neighbor searches in metric spaces. Many similarity search indexes recursively divide a region into subregions by u...
105
Voted
OTM
2004
Springer
15 years 6 months ago
2004
Springer
Cache memories are mandatory to bridge the growing gap between CPU speed and main memory access time. Standard cache organizations improve the average execution time but are diffi...
101
click to vote
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
102
click to vote
ISSS
1995
IEEE
15 years 4 months ago
1995
IEEE
This paper examines the problem of code-generation for expression trees on non-homogeneous register set architectures. It proposes and proves the optimality of an O(n) algorithm f...