606 search results - page 111 / 122 » A Comparative Study of Industrial Static Analysis Tools |
MM
2006
ACM
15 years 4 months ago
2006
ACM
Personal media collections are often viewed and managed along the social dimension, the places we spend time at and the people we see, thus tools for extracting and using this inf...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract- Evolutionary Algorithms (EAs) have the tendency to converge quickly into a single solution in the search space. However, many complex search problems require the identiļ¬...
GRAPHITE
2005
ACM
15 years 3 months ago
2005
ACM
Digital computers are powerful tools for studying natural phenomena at large-scales. Nevertheless, custom-made methods have to be developed to digitalize, simulate and finally vis...
GG
2004
Springer
15 years 3 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software veriļ¬cation. In this paper we describe two different approaches to extend the beneļ¬ts of model ...
CSE
2009
IEEE
15 years 2 months ago
2009
IEEE
āGames built on Online Social Networks (OSNs) have become a phenomenon since 3rd party developer tools were exposed by OSNs such as Facebook. However, apart from their explosive ...