1392 search results - page 137 / 279 » Dynamic Data Structure Analysis for Java Programs |
GECCO
2010
Springer
14 years 8 months ago
2010
Springer
A multiobjective genetic algorithm for detecting communities in dynamic networks, i.e., networks that evolve over time, is proposed. The approach leverages on the concept of evolu...
TACAS
2007
Springer
15 years 4 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
KDD
2009
ACM
15 years 2 months ago
2009
ACM
Recent innovations have resulted in a plethora of social applications on the Web, such as blogs, social networks, and community photo and video sharing applications. Such applicat...
APVIS
2008
14 years 11 months ago
2008
Modern experimental and computational fluid mechanics are increasingly concerned with the structure nature of fluid motion. Recent research has highlighted the analysis of one tra...
102
click to vote
BMCBI
2004
14 years 9 months ago
2004
Background: The increasing complexity of genomic data presents several challenges for biologists. Limited computer monitor views of data complexity and the dynamic nature of data ...