1271 search results - page 108 / 255 » On Simulation-Checking with Sequential Systems |
SRDS
2003
IEEE
14 years 3 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...
ICRA
1999
IEEE
14 years 2 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...
IPPS
1993
IEEE
14 years 2 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...
ANCS
2007
ACM
14 years 2 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...
FAST
2010
14 years 23 days 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...