1887 search results - page 129 / 378 » Annotation Framework Validation Using Domain Models |
134
click to vote
MEMOCODE
2010
IEEE
15 years 28 days ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
141
click to vote
JMM2
2007
15 years 2 months ago
2007
— Automatic identification and extraction of bone contours from x-ray images is an essential first step task for further medical image analysis. In this paper we propose a 3D s...
132
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: The most renowned biological ontology, Gene Ontology (GO) is widely used for annotations of genes and gene products of different organisms. However, there are shortcom...
124
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
151
click to vote
CSE
2011
IEEE
14 years 2 months ago
2011
IEEE
In this paper, we present a performance modeling framework based on memory bandwidth contention time and a parameterized communication model to predict the performance of OpenMP, M...