963 search results - page 79 / 193 » Escape Analysis on Lists |
116
click to vote
WCRE
2008
IEEE
15 years 7 months ago
2008
IEEE
The research domain of aspect mining studies the problem of (semi-)automatically identifying potential aspects and crosscutting concerns in a software system, to improve the syste...
AIRS
2008
Springer
15 years 7 months ago
2008
Springer
Many news pages which are of high freshness requirement are published on the internet every day. They should be downloaded immediately by instant crawlers. Otherwise, they will bec...
101
click to vote
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
Most currently used e-Learning Systems do not often offer search functionality. Even if methods are provided to search for Learning Objects (LOs), they don’t usually utilize info...
90
Voted
TACAS
2007
Springer
15 years 6 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...
103
Voted
CCECE
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an automated and distributed real-time video surveillance system which can be used for the detection of objects and events in a wide range of applications. Video feeds ...