Learn the key concepts and techniques to evaluate computer system architectures and organizations, the fundamental aspects of computer engineering.

Abstract: To achieve exascale computing, fundamental hardware architectures must change. This will significantly impact scientific applications that run on current high performance computing (HPC) ...

Abstract: When analyzing complex physical systems, it is often the case that many different computer-based simulation models are available to the analyst.

C. Duggan, Li, Z. , Bright, C. , and Ganesh, V. , “A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)”, in Thirty-Eighth AAAI Conference on Artificial ...

A mathematical model is an abstract model that uses mathematical language to describe the behaviour of a system. Mathematical models are used particularly in the natural sciences and engineering ...