2278 search results - page 111 / 456 » Specification Techniques for Automatic Performance Analysis ... |
CCS
2008
ACM
15 years 1 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
RECOMB
2008
Springer
15 years 12 months ago
2008
Springer
The development of high-resolution microscopy makes possible the high-throughput screening of cellular information, such as gene expression at single cell resolution. One of the cr...
114
Voted
OZCHI
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we present InfoScent Evaluator, a tool that automatically evaluates the semantic appropriateness of the descriptions of hyperlinks in web pages. The tool is based o...
110
Voted
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
113
click to vote
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
The ability to integrate diverse components such as processor cores, memories, custom hardware blocks and complex network-on-chip (NoC) communication frameworks onto a single chip...