Sciweavers

723 search results - page 73 / 145
» Speculative Dynamic Vectorization
Sort
View
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
15 years 29 days ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
CEC
2010
IEEE
14 years 6 months ago
Revisiting Evolutionary Information Filtering
— Adaptive Information Filtering seeks a solution to the problem of information overload through a tailored representation of the user’s interests, called user profile, which ...
Nikolaos Nanas, Stefanos Kodovas, Manolis Vavalis
ICASSP
2009
IEEE
15 years 10 months ago
Extended VTS for noise-robust speech recognition
Model compensation is a standard way of improving the robustness of speech recognition systems to noise. A number of popular schemes are based on vector Taylor series (vts) compen...
Rogier C. van Dalen, Mark J. F. Gales
CORR
2006
Springer
106views Education» more  CORR 2006»
15 years 3 months ago
The virtual reality framework for engineering objects
A framework for virtual reality of engineering objects has been developed. This framework may simulate different equipment related to virtual reality. Framework supports 6D dynami...
Petr R. Ivankov, Nikolay P. Ivankov
IEEEPACT
2000
IEEE
15 years 7 months ago
On Some Implementation Issues for Value Prediction on Wide-Issue ILP Processors
In this paper, we look at two issues which could affect the performance of value prediction on wide-issue ILP processors. One is the large number of accesses to the value predicti...
Sang Jeong Lee, Pen-Chung Yew