234 search results - page 41 / 47 » QuARS Express - A Tool Demonstration |
DAC
2002
ACM
14 years 8 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel...
SDM
2009
SIAM
14 years 4 months ago
2009
SIAM
Support Vector Machines (SVMs) are a leading tool in classification and pattern recognition and the kernel function is one of its most important components. This function is used...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Web 2.0 applications, including blogs, wikis and social networking sites, pose challenging privacy issues. Many users are unaware that search engines index personal information ...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...