Sciweavers

2913 search results - page 192 / 583
» How Much to Copy
Sort
View
99
Voted
AMAI
2000
Springer
15 years 5 months ago
Using topology for spatial reasoning
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
Boi Faltings
107
Voted
ANTS
2000
Springer
87views Algorithms» more  ANTS 2000»
15 years 5 months ago
Reduction in Purely Cubic Function Fields of Unit Rank One
This paper analyzes reduction of fractional ideals in a purely cubic function field of unit rank one. The algorithm is used for generating all the reduced principal fractional ide...
Renate Scheidler
ICNP
1999
IEEE
15 years 5 months ago
Evaluating the Utility of FEC with Reliable Multicast
Forward Error Correction (FEC) has been proposed as a technique for implementing efficient reliable multicast (RM). However, FEC incurs costs in encode/decode delay and implementa...
Dan Li, David R. Cheriton
ESOP
1999
Springer
15 years 5 months ago
Interprocedural Control Flow Analysis
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
Flemming Nielson, Hanne Riis Nielson
68
Voted
SIGCOMM
1993
ACM
15 years 4 months ago
The Synchronization of Periodic Routing Messages
The paper considers a network with many apparently-independent periodic processes and discusses one method by which these processes can inadvertently become synchronized. In parti...
Sally Floyd, Van Jacobson