1716 search results - page 302 / 344 » Proving Conditional Termination |
121
click to vote
ICCV
2005
IEEE
16 years 2 months ago
2005
IEEE
Although a considerable amount of work has been published on material classification, relatively little of it studies situations with considerable variation within each class. Man...
95
Voted
KDD
2006
ACM
16 years 1 months ago
2006
ACM
Grid systems are proving increasingly useful for managing the batch computing jobs of organizations. One well known example for that is Intel which uses an internally developed sy...
133
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
We study the cover time of multiple random walks. Given a graph G of n vertices, assume that k independent random walks start from the same vertex. The parameter of interest is the...
106
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
104
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...