Journal: Journal of Systems Architecture

Volume 44, Issue 2

79 -- 105Ammar Attoui. An environment based on rewriting logic for parallel systems formal specification and prototyping
107 -- 118Alan Burns, Andy J. Wellings. Synchronous sessions and fixed priority scheduling
119 -- 130Seok-Hee Hong, Myoung-Ho Kim. A real-time concurrency control algorithm: Use of multiversion and precedence relationships
131 -- 142Kiyoung Kim, Songchun Moon. Dynamic multi-granularity locking for coordinating cooperative activities
143 -- 158Ranjani Parthasarathi, Ashok Jhunjhunwala. Multiple precision square root using the Dwandwa square-root algorithm