We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
In this paper, we introduce a new image descriptor for broad Image Categorization, the Progressive Randomization (PR), that uses perturbations on the values of the Least Significa...
The leading voice is an important feature of musical piece and can often be considered as the dominant harmonic source. We propose in this paper a new scheme for the purpose of ef...
Mathieu Lagrange, Luis Gustavo Martins, George Tza...
In this paper, a framework of designing a low-error and power-efficient two’s-complement fixed-width Booth multiplier that receives two n-bit numbers and produces an n-bit produ...
Min-An Song, Lan-Da Van, Chih-Chyau Yang, Shih-Chi...
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...