A Formal Model and General Theory for Comparator Networks

by Leon Quiding, MSc 1999.

Abstract. In this thesis we introduce a formal model for comparator networks. This model ofers a flexible and concise notation for subtle and complex definitions, theorems, and proof. From this model we derive the beginnings of a general theory for comparator networks, i.e. the definition of properties common to all comparator networks.

Title page and abstract in PDF format.