315 search results - page 37 / 63 » Combinational Verification based on High-Level Functional Sp... |
HASE
2008
IEEE
13 years 8 months ago
2008
IEEE
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a novel platform for image retrieval based on a two-level architecture inspired from human cognitive mechanisms. These two levels provide both generic similari...
KBSE
2002
IEEE
14 years 24 days ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
BMCBI
2007
13 years 8 months ago
2007
Background: The ability to visualize genomic features and design experimental assays that can target specific regions of a genome is essential for modern biology. To assist in the...
IPSN
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...