4586 search results - page 820 / 918 » Computing stable models in parallel |
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
111
click to vote
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Epidemic protocols have demonstrated remarkable scalability and robustness in disseminating information on internet-scale, dynamic P2P systems. However, popular instances...
109
click to vote
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
Large-scale, value-added Internet services composed of independent cooperating or competing services will soon become common place. Several groups have addressed the performance, c...
114
Voted
PVM
2007
Springer
15 years 7 months ago
2007
Springer
The MPI remote-memory access (RMA) operations provide a different programming model from the regular MPI-1 point-to-point operations. This model is particularly appropriate for ca...
115
click to vote
ICPADS
2005
IEEE
15 years 7 months ago
2005
IEEE
The performance of an e-commerce application can be measured according to technical metrics but also following business indicators. The revenue obtained by a commercial web applic...