7557 search results - page 273 / 1512 » Modeling Timed Concurrent Systems |
184
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
We present a distributed transactional memory (TM) scheduler called Bi-interval that optimizes the execution order of transactional operations to minimize conflicts. Bi-interval c...
190
click to vote
IS
2011
15 years 1 months ago
2011
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
185
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
We investigate the problem of maintaining a topology with small degree as well as small diameter in a dynamic distributed system such that the system always stays connected and pr...
179
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
A common method for real-time segmentation of moving regions in image sequences involves "background subtraction," or thresholding the error between an estimate of the i...
180
click to vote
CCGRID
2007
IEEE
16 years 28 days ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and job characteristics is important for the improved understanding of grid systems and the prediction of th...