345 search results - page 25 / 69 » Computer-Assisted Simulation Proofs |
101
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
In this paper, the CFD approach is used to simulate the thermal behavior in a sensitive high-Q gyroscope. The electromagnetically driving wires, in which the alternating current f...
144
Voted
ISTCS
1992
Springer
15 years 6 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
133
Voted
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
129
Voted
ICNP
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— Internet flash crowds (a.k.a. hot spots) are a phenomenon that result from a sudden, unpredicted increase in an on-line object’s popularity. Currently, there is no e...
120
Voted
WSC
2007
15 years 4 months ago
2007
The problem of finding the binomial population with the highest success probability is considered when the number of binomial populations is large. A new rigorous indifference zo...