Journal: Operating Systems Review

Volume 31., Issue 4

3 -- 11Evangelos P. Markatos. Visualizing Working Sets
12 -- 23Shouhuai Xu, Gendu Zhang, Hong Zhu. On the Properties of Cryptographic Protocols and the Weakness of the BAN-like Logics
24 -- 29Pascal Ledru. Adaptive Parallelism: An Early Experiment with Java Remote Method Invocation
30 -- 40Qun Li, Jie Jing, Li Xie. BFXM: A Parallel File System Model Based on the Mechanism of Distributed Shared Memory
41 -- 54Weisong Shi, Weiwu Hu, Zhimin Tang. An Interaction of Coherence Protocols and Memory Consistency Models in DSM Systems
55 -- 62Santiago Rodríguez, Antonio Pérez, Rafael Méndez. A New Checkpoint Mechanism for Real Time Operating Systems
63 -- 71Alexander B. Romanovsky, Avelino F. Zorzo. On Distribution of Coordinated Atomic Actions
72 -- 77Carl Ponder. Organizing UNIX Directories as Lattices
78 -- 84Yanxiang He, Donald H. Cooley, Jianping Zhang. A Model for a Distributed OS Automatic Generating System
85 -- 92Yanxiang He, Jianping Zhang, Donald H. Cooley, Li Chen. The Semantics Subsystem in Distributed OS Formalization Generating System