1397 search results - page 188 / 280 » On the Need for Practical Formal Methods |
238
click to vote
ICDE
2001
IEEE
16 years 6 months ago
2001
IEEE
The paper studies the impact of several lock manager designs on the overhead imposed to a persistent programming language by automated object locking. Our study reveals that a loc...
128
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract ⎯ Currently, the most advanced framework for stochastic network calculus is the min-plus algebra, providing bounds for the end-to-end delay in networks. The bounds calcu...
153
click to vote
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
To improve the accuracy of tissue structural and architectural characterization with diffusion tensor imaging, an anisotropic smoothing algorithm is presented for reducing noise i...
135
click to vote
E2EMON
2006
IEEE
15 years 10 months ago
2006
IEEE
—The traffic dynamics of the Internet’s dominant applications, such as peer-to-peer and multimedia, worsen the accuracy of the existing application traffic identification. Ther...
160
click to vote
CSB
2003
IEEE
15 years 10 months ago
2003
IEEE
The promise of plentiful data on common human genetic variations has given hope that we will be able to uncover genetic factors behind common diseases that have proven difficult ...