1344 search results - page 235 / 269 » Automatic performance analysis with periscope |
102
click to vote
MM
2005
ACM
15 years 4 months ago
2005
ACM
Automatically extracting semantic content from audio streams can be helpful in many multimedia applications. Motivated by the known limitations of traditional supervised approache...
DAGSTUHL
2006
15 years 21 days ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
109
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: The post-genomic era is characterised by a torrent of biological information flooding the public databases. As a direct consequence, similarity searches starting with ...
117
click to vote
ICSOC
2010
Springer
14 years 9 months ago
2010
Springer
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...