4248 search results - page 186 / 850 » Simulating hci for all |
151
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, we present a test generation framework for testing of quantum cellular automata (QCA) circuits. QCA is a nanotechnology that has attracted significant recent at...
186
Voted
TCC
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...
208
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—Many scalable reliable multicast protocols use the local repair scheme where certain receivers retransmit packets by other receivers. Such schemes need a mechanism, called messa...
174
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a new Design for Testability (DFT) technique for Current-Mode Logic (CML) circuits. This new technique, with little overhead, using built-in detectors, monitor...
187
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
A deadlock-free tree-based multicast routing algorithm is presented for all direct networks, regardless of interconnection topology. The algorithm delivers a message to any number...