352 search results - page 63 / 71 » Evaluating the imprecision of static analysis |
94
Voted
CF
2009
ACM
15 years 6 months ago
2009
ACM
As we reach the limits of single-core computing, we are promised more and more cores in our systems. Modern architectures include many performance counters per core, but few or no...
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
Contextual Advertising is a type of Web advertising, which, given the URL of a Web page, aims to embed into the page (typically via JavaScript) the most relevant textual ads avail...
114
click to vote
KES
1999
Springer
15 years 4 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
122
click to vote
JCM
2008
14 years 11 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...
SIGSOFT
2005
ACM
16 years 13 days ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...