1368 search results - page 45 / 274 » UXnet: making connections |
120
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- A complementary ferroelectriccapacitor (CFC) logic-circuit style is proposed for a compact and standby-power-free content-addressable memory (CAM). Since the use of the ...
175
click to vote
ARC
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a reconfigurable hardware architecture for Public-key cryptosystems. By changing the connections of coarse grain Carry-Save Adders (CSAs), the datapath provides...
194
click to vote
CSFW
1995
IEEE
15 years 9 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
168
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
140
click to vote
HCI
2001
15 years 7 months ago
2001
This article outlines some challenges and opportunities in the area of universal access to intelligent interfaces. Technological advances in computing and communication together w...