626 search results - page 71 / 126 » When Can Formal Methods Make a Real Difference |
91
Voted
PAMI
2006
15 years 3 months ago
2006
In this paper, we address stereo matching in the presence of a class of non-Lambertian effects, where image formation can be modeled as the additive superposition of layers at diff...
140
Voted
GRID
2008
Springer
15 years 4 months ago
2008
Springer
To make the most effective application placement decisions on volatile large-scale heterogeneous Grids, schedulers must consider factors such as resource speed, load, and reliabil...
134
click to vote
OTM
2007
Springer
15 years 9 months ago
2007
Springer
In recent years, existing computing schemes and paradigms have evolved towards more flexible, ad-hoc scalable frameworks. Nowadays, exchanging interactions between entities often ...
148
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
118
Voted
SOSP
2009
ACM
16 years 11 days ago
2009
ACM
Bug reproduction is critically important for diagnosing a production-run failure. Unfortunately, reproducing a concurrency bug on multi-processors (e.g., multi-core) is challengin...