𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Weakest precondition semantics for time and concurrency

✍ Scribed by D Scholefield; H.S.M Zedan

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
616 KB
Volume
43
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Priority management for concurrent execu
Priority management for concurrent execution of real-time and on-line transactions
✍ Ryoji Kataoka; Tetsuji Satoh; Ushio Inoue πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 761 KB

## Abstract This paper presents priority management methods for concurrent execution of real‐time transactions with timing constraints and on‐line transactions without timing constraints in a real‐time database system (RTDBS). The aim of this study is the meeting of deadlines of real‐time transacti

Preconditioning for dual-time-stepping s
Preconditioning for dual-time-stepping simulations of the shallow water equations including Coriolis and bed friction effects
✍ B.T. Helenbrook; G.W. Cowles πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 247 KB

Diagonal preconditioners for implicit-unsteady and steady discretizations of the shallow water equations at low-and high-Rossby and drag-number limits are analyzed. For each case, sub and supercritical flow conditions are also considered. Based on the analysis, a preconditioner is derived for use wi

Rapid methods for concurrent measurement
Rapid methods for concurrent measurement of the RF-pulse flip angle and the longitudinal relaxation time
✍ Jung-Jiin Hsu; Greg Zaharchuk; Gary H. Glover πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 301 KB

## Abstract Measuring both the flip angle (FA) and the longitudinal relaxation time __T__~1~ is essential in quantitative and longitudinal studies because the signal amplitude is dependent on these quantities. Conventional methods can only measure one of them at a time and require long scan times.

Determination of a good value of the tim
Determination of a good value of the time step and preconditioned Krylov subspace methods for the Navier-Stokes equations
✍ F. Toutounian πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 765 KB

The main purpose of this paper is to develop stable versions of some Krylov subspace methods for solving the linear systems of equations Ax = b which arise in the difference solution of 2-D nonstationary Navier-Stokes equations using implicit scheme and to determine a good value of the time step. Ou