8345 search results - page 1457 / 1669 » Design of Neuromorphic Hardwares |
128
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
Many intellectual property protection (IPP) techniques have been proposed. Their primary objectives are providing convincible proof of authorship with least degradation of the qua...
199
click to vote
SIGCPR
2000
ACM
15 years 11 months ago
2000
ACM
This paper elucidates an emergent theory of organizational structure, process and leadership which the author believes will characterize the Internet based workplace of the future...
173
click to vote
CARDIS
2000
Springer
15 years 11 months ago
2000
Springer
: This paper describes JCCap, a protection facility for cooperating applications in the context of Java Card. It enables the control of access rights between mutually suspicious ap...
170
click to vote
SIGMETRICS
1999
ACM
15 years 11 months ago
1999
ACM
Multimedia applications are emerging in education, information dissemination, entertainment, as well as many other applications. The stringent requirements of such applications ma...
231
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...