Computer Architecture

View by Topics, People , Publications

Topics

Formal Verification of Hardware Systems

Hardware Scheduling Algorithms, Performance and Correctness of Schedulers

Design and Evaluation of IEEE Compliant Floating Point Units

Entire Processors, Vector and Dataflow Architectures, Parallel Machines

Caches, Register Files, Virtual Memory, I/O Architectures

We welcome feedback and comments at www@wjpserver.cs.uni-sb.de.