5830 search results - page 135 / 1166 » Automatic link generation |
237
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
119
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
Documents in many corpora, such as digital libraries and webpages, contain both content and link information. To explicitly consider the document relations represented by links, i...
168
click to vote
ER
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Understanding a large schema without the assistance of persons already familiar with it (and its associated applications), is a hard and very time consuming task that occ...
127
Voted
SIGCOMM
1999
ACM
15 years 8 months ago
1999
ACM
We evaluate pathchar, a tool that infers the characteristics of links along an Internet path latency, bandwidth, queue delays . Looking at two example paths, we identify circumst...
101
click to vote
COMCOM
2000
15 years 4 months ago
2000
We proposea simple distance-vectorprotocolfor routingin networkshavingunidirectional links. The protocol can be seen as an adaptation for these networks of the strategy as used in...