7785 search results - page 295 / 1557 » The Concept of Dynamic Analysis |
183
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
182
click to vote
CIVR
2009
Springer
16 years 1 months ago
2009
Springer
Semantic concept detectors are often individually and independently developed. Using peripherally related concepts for leveraging the power of joint detection, which is referred t...
147
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Motivated by the importance of retrieving comprehensive healthcare information, we analyzed how information about 12 concepts related to a widely available healthcare topic is dis...
190
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
176
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Minimal generators (mingens) of concept intents are valuable elements of the Formal Concept Analysis (FCA) landscape, which are widely used in the database field, for da...