1833 search results - page 286 / 367 » Mechanized Verification with Sharing |
119
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
When a program uses Software Transactional Memory (STM) to synchronize accesses to shared memory, the performance often depends on which STM implementation is used. Implementation...
127
click to vote
NANONET
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Molecular communication is a new nano-scale communication paradigm that enables nanomachines to communicate with each other by emitting molecules to their surrounding env...
135
click to vote
CCS
2001
ACM
15 years 9 months ago
2001
ACM
This paper will examine and categorize potential business model scenarios for online music. The virtualization of music leads to market uncertainties. On the supply side, the offer...
138
click to vote
QOSIP
2001
Springer
15 years 9 months ago
2001
Springer
—Internet application performance over wireless links is disappointing, due to wireless impairments and their adverse interactions with higher protocol layers. In order to effect...
153
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
— Research on multimedia adaptation usually assumes undifferentiated, best-effort service from the network, and relies on signaling mechanisms such as packet loss rates for feedb...