Browsing by author "Samsom, Hans"
Now showing items 1-3 of 3
-
Control flow optimization for fast system simulation and storage minimization
Franssen, Frank; Nachtergaele, Lode; Samsom, Hans; Catthoor, Francky; De Man, Hugo (1994) -
Formal Verification and Transformation of Video and Image Specifications
Samsom, Hans (1995-10) -
Verification of Loop Transformations for Real Time Signal Processing Applications
Samsom, Hans; Franssen, Frank; Catthoor, Francky; De Man, Hugo (1994)