987 search results - page 97 / 198 » Implementing an untrusted operating system on trusted hardwa... |
107
click to vote
JAIR
2008
15 years 1 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
116
click to vote
ISCAS
1994
IEEE
15 years 5 months ago
1994
IEEE
Stochastic computation uses pulse streams to represent numbers. In this paper, we have studied the novel method to implement the number system which uses the ratio of the number o...
165
click to vote
MM
1994
ACM
15 years 5 months ago
1994
ACM
We have designed, built, and analyzed a distributed parallel storage system that will supply image streams fast enough to permit multi-user, "real-time", video-like appl...
109
click to vote
ISCAS
2008
IEEE
15 years 8 months ago
2008
IEEE
— A low energy modulo-multiplier is proposed for elliptic curve cryptography (ECC) processor, especially for authentication in mobile device or key encryption in embedded health-...
133
click to vote
IEEEPACT
1998
IEEE
15 years 5 months ago
1998
IEEE
Software fine-grain distributed shared memory (FGDSM) provides a simplified shared-memory programming interface with minimal or no hardware support. Originally software FGDSMs tar...