3951 search results - page 250 / 791 » Automatic amortized analysis |
177
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
168
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
174
click to vote
DSVIS
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
175
click to vote
VIP
2000
15 years 8 months ago
2000
Quantitative PET studies usually require invasive blood sampling from a peripheral artery to obtain an input function for accurate modelling. However, blood sampling is impractica...
158
click to vote
CCGRID
2010
IEEE
15 years 6 months ago
2010
IEEE
—Diffusion Tensor MRI (DTI) is a rather recent image acquisition modality that can help identify disease processes in nerve bundles in the brain. Due to the large and complex nat...