3731 search results - page 264 / 747 » cases 2006 |
190
click to vote
APSEC
2006
IEEE
16 years 22 days ago
2006
IEEE
Coupling and cohesion between subsystems are commonly studied metrics when analyzing the architecture of software systems. It is usually desirable for subsystems to have high cohe...
134
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
— Many of the issues that will be faced by the designers of multi-billion transistor chips may be alleviated by the presence of a flexible global communication infrastructure. I...
151
click to vote
COMPSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
159
click to vote
CADE
2006
Springer
15 years 10 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
185
click to vote
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a method for separating highlight reflections on textured surfaces. In contrast to previous techniques that use diffuse color information from outside the highlight are...