IEEE Transactions on Computers Journal

Overview

publication venue for

• Compositional Model Checking of Concurrent Systems 2015
• The timewheel group communication system 2002
• Prefetching using Markov predictors 1999
• Testing Strategy and Technique for Macro-Based Circuits 1985

Research

keywords

• 0803 Computer Software, 0805 Distributed Computing, 1006 Computer Hardware