8828 search results - page 1175 / 1766 » Formal methods in practice |
185
click to vote
PLDI
1990
ACM
15 years 11 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
223
click to vote
CAIP
2007
Springer
15 years 11 months ago
2007
Springer
Fracture of the bone is a very serious medical condition. In clinical practice, a tired radiologist has been found to miss fracture cases after looking through many images containi...
214
Voted
COLT
2007
Springer
15 years 11 months ago
2007
Springer
We study generalized bootstrapped confidence regions for the mean of a random vector whose coordinates have an unknown dependence structure, with a non-asymptotic control of the co...
208
click to vote
WAIFI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. A large set of moduli, for which the speed of bipartite modular multiplication considerably increases, is proposed in this work. By considering state of the art attacks o...
202
click to vote
DCOSS
2007
Springer
15 years 11 months ago
2007
Springer
Sensor networks are often used to sense the physical world and provide observations for various uses. In hostile environments, it is critical to control the network access to ensur...