1414 search results - page 182 / 283 » Automated Metamorphic Testing |
DAC
2000
ACM
14 years 8 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
This contribution describes the design and performance testing of an Advanced Encryption Standard (AES) compliant encryption chip that delivers 2.29 GB/s of encryption throughput ...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
This paper introduces an FPGA IP evaluation and delivery system that operates within Java applets. The use of such applets allows designers to create, evaluate, test, and obtain F...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
A simple method is presented to reduce within-group inter-subject scatter in diffusion tensor magnetic resonance imaging (DT-MRI). By "borrowing strength" across co-regi...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...