7262 search results - page 1364 / 1453 » Reversible Computer Hardware |
130
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper investigates randomization and replication as strategies to achieve reliable performance in disk arrays targeted for video-on-demand (VoD) workloads. A disk array can p...
146
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. It is also a promising candidate to exploit the emer...
137
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
137
click to vote
ICCSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this work, we develop novel file system, FRASH, for byteaddressable NVRAM (FRAM[1]) and NAND Flash device. Byte addressable NVRAM and NAND Flash is typified by the DRA...
148
click to vote
MDM
2007
Springer
15 years 10 months ago
2007
Springer
FriendFinder as a location-based service collects location data from mobile users and distributes a particular user’s location upon request. Privacy of users data especially loc...