655 search results - page 89 / 131 » Coinduction in Concurrent Timed Systems |
ISCA
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose signature-accelerated transactional memory (SigTM), a hybrid TM system that reduces the overhead of software transactions. SigTM uses hardware signatures to track the r...
MSS
2007
IEEE
15 years 6 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...
MASCOTS
2003
15 years 1 months ago
2003
Disk drive manufacturers are putting increasingly larger built-in caches into disk drives. Today, 2 MB buffers are common on low-end retail IDE/ATA drives, and some SCSI drives ar...
108
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
A negotiation chain is formed when multiple related negotiations are spread over multiple agents. In order to appropriately order and structure the negotiations occurring in the c...
118
click to vote
USENIX
1994
15 years 1 months ago
1994
TreadMarks is a distributed shared memory DSM system for standard Unix systems such as SunOS and Ultrix. This paper presents a performance evaluation of TreadMarks running on Ultr...