5472 search results - page 197 / 1095 » Stochastic Mechanism Design |
142
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between an...
158
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
Transactional memory is a promising, optimistic synchronization mechanism for chip-multiprocessor systems. The simplicity of atomic sections, instead of using explicit locks, is al...
235
click to vote
ICUIMC
2011
ACM
14 years 10 months ago
2011
ACM
Efficient and fair resource allocation associated with congestion control in multi-hop cognitive radio networks (CRN) is a challenging problem. In this paper, we consider their mu...
150
click to vote
TGC
2007
Springer
16 years 18 days ago
2007
Springer
We add specifications of location-aware measurements to performance models in a compositional fashion, promoting precision in performance measurement design. Using immediate actio...
202
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...