Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
IEEE Trans. on Computers
Связанные издания:
Abstraction Techniques for Validation Coverage Analysis and Test Generation
A Hierarchical Adaptive Distributed System-Level Diagnosis Algorithm
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
An Algorithm for Optimally Exploiting Spatial and Temporal Locality in Upper Memory Levels
Analysis of Preventive Maintenance in Transactions Based Software Systems
Analytical Modeling of Set-Associative Cache Behavior
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
An Executable Specification and Verifier for Relaxed Memory Order
A Performance Study of Instruction Cache Prefetching Methods
A Prioritized Petri Net Model and Its Application in Distributed Multimedia Systems
A Quantitative Analysis of the Performance and Scalability of Distributed Shared Memory Cache Coherence Protocols
Architecture Scalability of Parallel Vector Copmputers with a Shared Memory
A Trace Cache Microarchitecture and Evaluation
Augmenting Loop Tiling with Data Alignment for Improved Cache Performance
Automatic Compiler-Inserted Prefetching for Pointer-Based Applications
COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded Systems for Low Overhead Fault Tolerance
Comprehensive Hardware and Software Support for Operating Systems to Exploit MP Memory Hierarchies
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects
Concurrent Event Handling through Multithreading
Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injection and Simulated Fault Injection
Deriving Petri Nets from Finite Transition Systems
Dynamic Systems Based on Update Sets
Effects of Multithreading on Cache Performance
Excel-NUMA: Toward Programmability, Simplicity, and High Performance
Exploiting the Benefits of Multiple-Path Network in DSM Systems: Architectural Alternatives and Performance Evaluation
Extending Value Reuse to Basic Blocks with Compiler Support
Functional Implementation Techniques for CPU Cache Memories
Hardware Support for Flexible Distributed Shared Memory
Hierarchical, Adaptive Cache Consistency in a Page Server OODBMS
Improving Cache Locality by a Combination of Loop and Data Transformations
Improving Design Dependability by Exploiting an Open Model-Based Specification
Is a Bird in the Hand Worth More than Two in the Bush? Limitations of Priority Cognizance in Conflict Resolution for Firm Real-Time Database Systems
Maintaining Strong Cache Consistency in the World Wide Web
Measuring and Optimizing CORBA Latency and Scalability Over High-Speed Networks
Modulo Scheduling with Reduced Register Pressure
Performance Evaluation and Cost Analysis of Cache Protocol Extensions for Shared-Memory Multiprocessors
Prefetching Using Markov Predictors
Randomized Cache Placement for Eliminating Conflicts
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
Similarity-Based Load Adjustment for Static Real-Time Transaction Systems
The Impact of Exploiting Instruction-Level Parallelism on Shared-Memory Multiprocessors
The Superthreaded Processor Architecture
Usic Traffic Regulation to Meet End-to-End Deadlines in ATM Networks
Using System-Level Models to Evaluate I/O Subsystem Designs
Walk-Time Address Adjustment for Improving the Accuracy of Dynamic Branch Prediction