72
Voted
ASPDAC
2015
ACM
2015
ACM
Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits
9 years 11 months ago
Motivated by the promises of signi cant speed-ups for certain problems, quantum computing received signi cant attention in the past. While much progress has been made in the devel...
76
Voted
ASPDAC
2015
ACM
9 years 11 months ago
2015
ACM
—Efficient and early verification of the chip power distribution network is a critical step in modern IC design. Vectorless verification, developed over the last decade as an ...
87
Voted
ASPDAC
2015
ACM
9 years 11 months ago
2015
ACM
— Post-silicon hardware Trojan detection is challenging because the attacker only needs to implement one of many possible design modifications, while the verification e↵ort m...
73
Voted
ASPDAC
2015
ACM
9 years 11 months ago
2015
ACM
- Stereo matching is one of the key problems in computer vision. A large number of algorithms have been proposed but few of them achieve both high accuracy and short processing tim...
89
Voted
ASPDAC
2015
ACM
9 years 11 months ago
2015
ACM
- An approach using a minimum cost maximum flow algorithm is proposed for fault-tolerant topology reconfiguration in a Network-on-Chip system. Topology reconfiguration is converted...