709 search results - page 44 / 142 » An Equational Theory for Transactions |
SIMULATION
1998
14 years 11 months ago
1998
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...
210
click to vote
AMC
2011
14 years 2 months ago
2011
The present paper studies the probability of ruin of an insurer, if excess of loss reinsurance with reinstatements is applied. In the setting of the classical CramerLundberg risk ...
104
click to vote
VLDB
1989
ACM
15 years 3 months ago
1989
ACM
In this paper, we introduce Quasi Serializability, a correctness criterion for concurrency control in heterogeneous distributed database environments. A global history is quasi se...
100
click to vote
SIAMMA
2011
14 years 6 months ago
2011
It has been unknown since the time of Euler whether or not time-periodic sound wave propagation is physically possible in the compressible Euler equations, due mainly to the ubiqui...
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...