Sciweavers

45 search results - page 3 / 9
» Abstract Interpretation from a Topological Perspective
Sort
View
ICLP
2005
Springer
13 years 10 months ago
A Generic Framework for the Analysis and Specialization of Logic Programs
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
Germán Puebla, Elvira Albert, Manuel V. Her...
SODA
2004
ACM
91views Algorithms» more  SODA 2004»
13 years 6 months ago
Competitive analysis of organization networks or multicast acknowledgement: how much to wait?
We study, from the competitive analysis perspective, the trade off between communication cost and delay cost (or simply the sendor-wait dilemma) on a hierarchy (rooted tree). The p...
Carlos Brito, Elias Koutsoupias, Shailesh Vaya
BMCBI
2006
157views more  BMCBI 2006»
13 years 4 months ago
Comparison of protein interaction networks reveals species conservation and divergence
Background: Recent progresses in high-throughput proteomics have provided us with a first chance to characterize protein interaction networks (PINs), but also raised new challenge...
Zhi Liang, Meng Xu, Maikun Teng, Liwen Niu
ICC
2009
IEEE
124views Communications» more  ICC 2009»
13 years 2 months ago
Routing Games for Traffic Engineering
Abstract--Current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in mo...
Federico Larroca, Jean-Louis Rougier
PAM
2009
Springer
13 years 11 months ago
Analyzing Router Responsiveness to Active Measurement Probes
Abstract. Active probing has increasingly been used to collect information about the topological and functional characteristics of the Internet. Given the need for active probing a...
Mehmet Hadi Gunes, Kamil Saraç