Sciweavers

510 search results - page 16 / 102
» Automated Design of Quantum Circuits
Sort
View
LICS
1994
IEEE
14 years 2 months ago
Categories, Allegories and Circuit Design
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
Carolyn Brown, Graham Hutton
CHES
2006
Springer
205views Cryptology» more  CHES 2006»
14 years 1 months ago
Automated Design of Cryptographic Devices Resistant to Multiple Side-Channel Attacks
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
Konrad J. Kulikowski, Alexander B. Smirnov, Alexan...
TIT
2008
84views more  TIT 2008»
13 years 9 months ago
Channel-Adapted Quantum Error Correction for the Amplitude Damping Channel
Error correction procedures are considered which are designed specifically for the amplitude damping channel. Amplitude damping errors are analyzed in the stabilizer formalism. Thi...
Andrew S. Fletcher, Peter W. Shor, Moe Z. Win
ECAI
2000
Springer
14 years 2 months ago
Autosteve: Automated Electrical Design Analysis
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
Chris Price
DAC
2009
ACM
14 years 11 months ago
Carbon nanotube circuits in the presence of carbon nanotube density variations
Jie Zhang, Nishant Patil, Arash Hazeghi, Subhasish...