4647 search results - page 499 / 930 » Composite Design Patterns |
120
click to vote
ASPLOS
2000
ACM
15 years 9 months ago
2000
ACM
OceanStore is a utility infrastructure designed to span the globe and provide continuous access to persistent information. Since this infrastructure is comprised of untrusted serv...
135
click to vote
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
132
click to vote
DATE
1997
IEEE
15 years 9 months ago
1997
IEEE
The paper proposes a novel approach in an attempt to solve the test problem for sequential circuits. Up until now, most of the classical test pattern techniques use a number of al...
153
click to vote
PLILP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
154
click to vote
CIARP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Satellite hyperspectral imaging deals with heterogenous images containing different texture areas. Filter banks are frequently used to characterize textures in the image ...