Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ACM Trans. Computer Systems
Связанные издания:
Access Normalization: Loop Restructuring for NUMA Computers
A Coherent Distributed File Cache with Directory Write-Behind
Adaptable Concurrency Control for Atomic Data Types
A Dynamic Processor Allocation Policy for Multiprogrammed Shared-Memory Multiprocessors
A File System for Continuous Media
Algorithms for Unboundedly Parallel Simulations
A Logic for Reasoning About Security
An Effective Synchronization Network for Hot-Spot Accesses
CHAOSarc: Kernel Support for Multiweight Objects, Invocations, and Atomicity in Real-Time Multiprocessor Applications
Chores: Enhanced Run-Time Support for Shared-Memory Parallel Computing
Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware Design
Design Tradeoffs for Software-Managed TLBs
Disconnected Operation in Coda File System
Distributed Timestamp Generation in Planar Lattice Networks
Dynamic NURBS with Geometric Constraints for Interactive Sculpting
Efficient Trace-Driven Simulation Methods for Cache Performance Analysis
Experimental Comparison of Memory Management Policies for NUMA Multiprocessors
File-System Development with Stackable Layers
FLIP: An Internetwork Protocol for Supporting Distributed Systems
High-Speed Switch Scheduling for Local-Area Networks
Improving Round-Trip Time Estimates in Reliable Transport Protocol
Interactive Design of Smooth Objects with Probabilistic Point Constraints
Lightweight Causal and Atomic Group Multicast
Lightweight Recoverable Virtual Memory
Limits to Low-Latency Communication on High-Speed Networks
Metascheduling for Continuous Media
Miltiresolution Stochastic Hybrid Shape Models with Fractal Priors
Multidimensional Voting
Ordered and Reliable Multicast Communication
Page Placement Algorithms for Large Real-Indexed Caches
Parity-Logging Disk Arrays
Providing High Availability Using Lazy Replication
Reliable Broadcast Algorithms for HARTS
Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
Sentinel Scheduling: A Model for Compiler-Controlled Speculative Execution
Sequential Consistency versus Linearizability
Simple Constrained Deformations for Geometric Modeling and Interactive Design
The Design and Implementation of a Log-Structured File System
The TickerTAIP Parallel RAID Architecture
Waiting Algorithms for Synchronization in Large-Scale Multiprocessors