819 search results - page 110 / 164 » Using Assumptions to Distribute CTL Model Checking |
110
Voted
PODS
2006
ACM
16 years 2 months ago
2006
ACM
Recently, there has been an increased focus on modeling uncertainty by distributions. Suppose we wish to compute a function of a stream whose elements are samples drawn independen...
143
Voted
ICDE
2011
IEEE
14 years 6 months ago
2011
IEEE
— Many real-world applications deal with uncertain or missing data, prompting a surge of activity in the area of probabilistic databases. A shortcoming of prior work is the assum...
147
Voted
VLSM
2005
Springer
15 years 8 months ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...
148
Voted
HPCA
1998
IEEE
15 years 6 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
130
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...