266 search results - page 19 / 54 » Vector instruction set support for conditional operations |
ICCAD
1996
IEEE
15 years 3 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
SDM
2009
SIAM
15 years 8 months ago
2009
SIAM
This paper proposes Twin Vector Machine (TVM), a constant space and sublinear time Support Vector Machine (SVM) algorithm for online learning. TVM achieves its favorable scaling b...
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose using the proximity distribution of vectorquantized local feature descriptors for object and category recognition. To this end, we introduce a novel "proximity dis...
120
click to vote
IWOMP
2007
Springer
15 years 5 months ago
2007
Springer
The Cell processor is a heterogeneous multi-core processor with one Power Processing Engine (PPE) core and eight Synergistic Processing Engine (SPE) cores. Each SPE has a directly...
102
click to vote
VSTTE
2012
Springer
13 years 6 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...