11211 search results - page 345 / 2243 » Data Structures |
160
click to vote
IPL
2008
15 years 6 months ago
2008
Slicing is a program transformation technique with numerous applications, as it allows the user to focus on the parts of a program that are relevant for a given purpose. Ideally, ...
182
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Traditional indexes aim at optimizing the node accesses during query processing, which, however, does not necessarily minimize the total cost due to the possibly large number of r...
164
click to vote
IJKDB
2010
15 years 4 months ago
2010
Searching for repeated features characterizing biological data is fundamental in computational biology. When biological networks are under analysis, the presence of repeated modul...
169
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Many complex systems, from power grids and the internet, to the brain and society, can be modeled using modular networks. Modules, densely interconnected groups of elements, often...
163
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...