1368 search results - page 119 / 274 » The Implicit Pipeline Method |
MEMOCODE
2005
IEEE
14 years 3 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
ICANN
2005
Springer
14 years 3 months ago
2005
Springer
We propose a content-based information retrieval (CBIR) method that models known relationships between multimedia objects as a hierarchical tree-structure incorporating additional ...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We describe and critique the convergence properties of filterbased evolutionary pattern search algorithms (F-EPSAs). F-EPSAs implicitly use a filter to perform a multi-...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
We illustrate the flow behaviour of fluids with isotropic and anisotropic microstructure (internal length, layering with bending stiffness) by means of numerical simulations of ...