✦ LIBER ✦

A Type System for Lock-Free Processes

✍ Scribed by Naoki Kobayashi

Book ID: 112252742
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 295 KB
Volume: 177
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2002.3171

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A New Type System for JVM Lock Primitive

A New Type System for JVM Lock Primitives

✍ Futoshi Iwama; Naoki Kobayashi 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 736 KB

Viral tricks to grid-lock the type I int

Viral tricks to grid-lock the type I interferon system

✍ Gijs A Versteeg; Adolfo García-Sastre 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 753 KB

Fast and lock-free concurrent priority q

Fast and lock-free concurrent priority queues for multi-thread systems

✍ Håkan Sundell; Philippas Tsigas 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 434 KB

A breakdown-free Lanczos type algorithm

A breakdown-free Lanczos type algorithm for solving linear systems

✍ C. Brezinski; M. Redivo Zaglia; H. Sadok 📂 Article 📅 1992 🏛 Springer-Verlag 🌐 English ⚖ 490 KB

Design guideline of flux-lock type HTS f

Design guideline of flux-lock type HTS fault current limiter for power system application

✍ Matsumura, T.; Shimizu, H.; Yokomizu, Y. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 388 KB

A locking-free finite element method for

A locking-free finite element method for Naghdi shells

✍ James H. Bramble; Tong Sun 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 733 KB

In this paper a locking-free method, using mixed finite elements, is introduced to approximate the solution of Naghdi shell problems with small parameter t, the thickness of the shell. The approach of Arnold and Brezzi (1997) is employed with some important changes. Instead of proving the discrete I