20126 search results - page 3760 / 4026 » Timed Transition Systems |
127
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
For transactional memory (TM) to achieve widespread acceptance, transactions should not be limited to the physical resources of any specific hardware implementation. TM systems s...
159
click to vote
CF
2006
ACM
15 years 10 months ago
2006
ACM
In a multi-programmed computing environment, threads of execution exhibit different runtime characteristics and hardware resource requirements. Not only do the behaviors of distin...
135
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
135
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
The widely used Mark-and-Sweep garbage collector has a drawback in that it does not move objects during collection. As a result, large long-running realistic applications, such as...
177
click to vote
PODC
2006
ACM
15 years 10 months ago
2006
ACM
We present Grouped Distributed Queues (GDQ), the first proportional share scheduler for multiprocessor systems that scales well with a large number of processors and processes. G...