2586 search results - page 421 / 518 » Automatic Abstraction for Congruences |
COMCOM
2008
14 years 12 months ago
2008
Abstract-- We introduce in this paper CHESS, an applicationaware space for enhanced scalable services in overlay networks. In this new space, the proximity of peers is determined a...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
102
click to vote
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. The growing popularity of online social networks gave researchers access to large amount of network data and renewed interest in methods for automatic community detection...
125
click to vote
AIR
2006
14 years 12 months ago
2006
Abstract. An over-zealous machine learner can automatically generate large, intricate, theories which can be hard to understand. However, such intricate learning is not necessary i...
112
click to vote
FAC
2008
14 years 12 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...