Sciweavers

5387 search results - page 335 / 1078
» Generating generic functions
Sort
View
SE
2007
15 years 8 months ago
Requirements traceability in the model-based testing process
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
Eddy Bernard, Bruno Legeard
ACIVS
2007
Springer
16 years 1 months ago
Polyphase Filter and Polynomial Reproduction Conditions for the Construction of Smooth Bidimensional Multiwavelets
Abstract. To construct a very smooth nonseparable multiscaling function, we impose polynomial approximation order 2 and add new conditions on the polyphase highpass filters. We wo...
Ana M. C. Ruedin
ASIACRYPT
2007
Springer
16 years 1 months ago
Cryptanalysis of Grindahl
Due to recent breakthroughs in hash functions cryptanalysis, some new hash schemes have been proposed. GRINDAHL is a novel hash function, designed by Knudsen, Rechberger and Thomse...
Thomas Peyrin
DAGSTUHL
2003
15 years 8 months ago
Embedding a Hardware Description Language in Template Haskell
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
John T. O'Donnell
ICIP
2008
IEEE
16 years 9 months ago
MPEG video object segmentation under camera motion and multimodal backgrounds
This paper starts from a state-of-the-art efficient approach to real-time video object segmentation in the MPEG domain. It then describes several techniques to extend the algorith...
Marcos Escudero, Fabricio Tiburzi, Jesús Be...