655 search results - page 106 / 131 » Coinduction in Concurrent Timed Systems |
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
— In broadcast disk systems, information is broadcasted in a shared medium. When a client needs an item from the disk, it waits until that item is broadcasted. The fundamental al...
135
click to vote
CLUSTER
2009
IEEE
15 years 6 months ago
2009
IEEE
—Server consolidation based on virtualization technology will simplify system administration, reduce the cost of power and physical infrastructure, and improve utilization in tod...
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...
100
click to vote
ISORC
2002
IEEE
15 years 4 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
SPAA
2009
ACM
16 years 11 days ago
2009
ACM
We present three new reader-writer lock algorithms that scale under high read-only contention. Many previous reader-writer locks suffer significant degradation when many readers a...