Concepts inThe elusive goal of workload characterization

Abstraction

Abstraction is a process by which higher concepts are derived from the usage and classification of literal ("real" or "concrete") concepts, first principles, or other methods. "An abstraction" is the product of this process ¿ a concept that acts as a super-categorical noun for all subordinate concepts, and connects any related concepts as a group, field, or category.  more from Wikipedia

Supercomputer

A supercomputer is a computer at the frontline of current processing capacity, particularly speed of calculation. Supercomputers were introduced in the 1960s and were designed primarily by Seymour Cray at Control Data Corporation (CDC), and later at Cray Research.  more from Wikipedia

Model theory

In mathematics, model theory is the study of (classes of) mathematical structures using tools from mathematical logic. It has close ties to abstract algebra, particularly universal algebra. Objects of study in model theory are models for formal languages which are structures that give meaning to the sentences of these formal languages.  more from Wikipedia