1795 search results - page 38 / 359 » On the Complexity of Circuit Satisfiability |
ISLPED
2005
ACM
14 years 2 months ago
2005
ACM
We describe an adiabatic microprocessor implemented with a reversible logic, nRERL [1]. We employed an 8-phase clocked power instead of 6-phase one to reduce the number of buffers...
DATE
2004
IEEE
14 years 12 days ago
2004
IEEE
Emerging embedded system applications in multimedia and image processing are characterized by complex control flow consisting of deeply nested conditionals and loops. We present a...
ATAL
2006
Springer
14 years 12 days ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
CRYPTO
2006
Springer
14 years 10 days ago
2006
Springer
We present a robust multiparty computation protocol. The protocol is for the cryptographic model with open channels and a polytime adversary, and allows n parties to actively secur...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— In recent years, many people have been trying to develop some applications to information processing by exploiting oscillatory phenomena in neural networks. Bifurcation and sta...