1271 search results - page 108 / 255 » On Simulation-Checking with Sequential Systems |
172
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a strong security scheme for network-attached storage (NAS) that is based on capability and uses a key distribution scheme to keep network-attached storage fro...
128
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
A sonar-ring is one of the most popular sensors for indoor mobile robots, because it is simple and gives omni-directional distance information directly. However, it is dicult to m...
148
click to vote
IPPS
1993
IEEE
15 years 10 months ago
1993
IEEE
The dramatic improvements in the processing rates of parallel computers are turning many compute-bound jobs into IO-bound jobs. Parallel le systems have been proposed to better ma...
141
click to vote
ANCS
2007
ACM
15 years 10 months ago
2007
ACM
Network processors provide an economical programmable platform to handle the high throughput and frame rates of modern and next-generation communication systems. However, these pl...
146
click to vote
FAST
2010
15 years 8 months ago
2010
We present Griffin, a hybrid storage device that uses a hard disk drive (HDD) as a write cache for a Solid State Device (SSD). Griffin is motivated by two observations: First, HDD...