6300 search results - page 1168 / 1260 » We have it easy, but do we have it right |
133
Voted
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
As multi-core architectures flourish in the marketplace, multi-application workload scenarios (such as server consolidation) are growing rapidly. When running multiple application...
109
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Multicast is an efficient means of transmitting the same content to multiple receivers while minimizing network resource usage. Applications that can benefit from multicast s...
105
click to vote
MSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Storage systems manage quotas to ensure that no one user can use more than their share of storage, and that each user gets the storage they need. This is difficult for large, dis...
113
Voted
RTSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Recently, cheap and large capacity non-volatile memory such as flash memory is rapidly replacing disks not only in embedded systems, but also in high performance servers. Unlike ...
110
Voted
CAV
2007
Springer
15 years 7 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 ...