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 26 days 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 26 days 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 8 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...