12052 search results - page 451 / 2411 » computing 2010 |
196
click to vote
STTT
2010
15 years 1 months ago
2010
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
158
Voted
ENTCS
2006
15 years 6 months ago
2006
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...
180
click to vote
SYMMETRY
2010
15 years 1 months ago
2010
: The theory of elasticity is used to predict the response of a material body subject to applied forces. In the linear theory, where the displacement is small, the stress tensor wh...
136
click to vote
COMPUTER
2010
15 years 4 months ago
2010
We analyze the incentives of a vertically-integrated producer (VIP) to engage in "self-sabotage". Self-sabotage occurs when a VIP intentionally increases its upstream co...
148
Voted
PODC
2010
ACM
15 years 7 months ago
2010
ACM
Multiparty computation (MPC) protocols among n parties secure against t active faults are known to exist if and only if