1833 search results - page 299 / 367 » Mechanized Verification with Sharing |
109
click to vote
SODA
2003
ACM
15 years 5 months ago
2003
ACM
We introduce the following consensus estimate problem. Several processors hold private and possibly different lower bounds on a value. The processors do not communicate with each ...
134
click to vote
ECIS
2000
15 years 5 months ago
2000
Abstract - Among other proposals to reform the German outpatient health care system the establishment of networks of cooperating physicians (doctors' networks) has found high ...
155
click to vote
WCE
2007
15 years 5 months ago
2007
—Ad hoc networking will become a major technology for wireless connectivity beside the multimedia necessity within the next few years. There are too many applications where one-t...
153
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We consider collusion in multi-unit auctions where the allocation and payments are determined using the VCG mechanism. We show how collusion can increase the utility of the collud...
163
click to vote
ECRTS
2010
IEEE
15 years 5 months ago
2010
IEEE
A full exploitation of the computational power available in a multi-core platform requires the software to be specified in terms of parallel execution flows. At the same time, mode...