2296 search results - page 154 / 460 » The Expressive Power of Synchronizations |
143
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Extracting high-performance from the emerging Chip Multiprocessors (CMPs) requires that the application be divided into multiple threads. Each thread executes on a separate core t...
245
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
139
click to vote
STORYTELLING
2007
Springer
15 years 10 months ago
2007
Springer
Virtual agents, to be expressive, not only need algorithms for displaying the subtleties of human behaviour, but also require environments and tools so that people can author them....
100
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper focuses on the modelling of the reverse link of a WCDMA system in a non-homogeneous environment. Multiple traffic spatial and service non-uniformities are considered...
117
click to vote
IFIP
1989
Springer
15 years 8 months ago
1989
Springer
ÐBSR (Broadcasting with Selective Reduction) is a PRAM more powerful than any CRCW PRAM. In order to extend the Broadcast Instruction of BSR and make it more useful for a large cl...