1855 search results - page 225 / 371 » Composing model programs for analysis |
107
click to vote
DAC
2002
ACM
16 years 3 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
122
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
177
click to vote
SIGMETRICS
2010
ACM
14 years 9 months ago
2010
ACM
The prevalence of multicore architectures has made the performance analysis of multithreaded applications an intriguing area of inquiry. An understanding of locality effects and c...
177
click to vote
CVIU
2011
14 years 6 months ago
2011
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
148
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...