This dissertation demonstrates the utility of the
Instruction Set Processor Specification (ISPS) in a design
environment. Although ISPS supports a wide range of
applications in the areas of architecture evaluation and
certification, design automation, software generation and
fault simulation, the .emphasis in this dissertation is
focused on using it in...
A numerical model has been used to investigate the wind-driven circulation in a stratified basin of
moderate size, Lake Tahoe, California-Nevada. Two types of circulation are identified: "direct" circulations,
in which the current directions remain relatively constant and the mean circulation formed over
several days resembles the instantaneous circulation, and...