Sciweavers

870 search results - page 66 / 174
» Gossip algorithms: design, analysis and applications
Sort
View
ICSE
2008
IEEE-ACM
16 years 6 months ago
Celadon: a change impact analysis tool for aspect-oriented programs
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
INFOCOM
2005
IEEE
15 years 11 months ago
On static reachability analysis of IP networks
The primary purpose of a network is to provide reachability between applications running on end hosts. In this paper, we describe how to compute the reachability a network provide...
Geoffrey G. Xie, Jibin Zhan, David A. Maltz, Hui Z...
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 10 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
ICIP
2006
IEEE
16 years 7 months ago
Foveated Analysis and Selection of Visual Fixations in Natural Scenes
The ability to automatically detect visually interesting regions in images has practical applications in the design of active machine vision systems. Analysis of the statistics of...
Umesh Rajashekar, Ian van der Linde, Alan C. Bovik...
PAMI
2008
153views more  PAMI 2008»
15 years 6 months ago
Correlation Metric for Generalized Feature Extraction
Beyond conventional linear and kernel-based feature extraction, we present a more generalized formulation for feature extraction in this paper. Two representative algorithms using ...
Yun Fu, Shuicheng Yan, Thomas S. Huang