7195 search results - page 456 / 1439 » On Computing Power |
208
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
151
click to vote
IFIP
1989
Springer
15 years 11 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...
163
click to vote
TWC
2008
15 years 6 months ago
2008
We introduce an adaptive generalized selection combining (A-GSC) receiver that can be efficiently applied in diversity rich fading environments such as in ultra-wideband applicatio...
178
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
With the evolution of Graphics Processing Units (GPUs) into powerful and cost-efficient computing architectures, their range of application has expanded tremendously, especially i...
176
click to vote
ICCS
2004
Springer
16 years 9 days ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...