1682 search results - page 261 / 337 » Applying Conventional Testing Techniques for Class Testing |
118
Voted
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
181
Voted
HPCA
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract—Sharing patterns in shared-memory multiprocessors are the key to performance: uniprocessor latencytolerating techniques such as out-of-order execution and non-blocking c...
146
Voted
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Software systems need to evolve as business requirements, technology and environment change. As software is modified to accommodate the required changes, its structure deteriorate...
137
Voted
CVPR
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper formulates the problem of object categorization in the discriminant analysis framework focusing on transforming visual feature data so as to make it conform to the comp...
144
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...