37 search results - page 8 / 8 » Bounds for Mutual Exclusion with only Processor Consistency |
CP
2008
Springer
13 years 7 months ago
2008
Springer
Modern computer architectures have complex features that can only be fully taken advantage of if the compiler schedules the compiled code. A standard region of code for scheduling ...
ASM
2004
ASM
13 years 11 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...