Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"unit descriptions"”.
-
Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs
… code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. …
-
Mapping and Kinematic Structural Analysis of the Deep Creek Fault Zone, South Flank of the Uinta Mountains, Near Vernal, Utah
… mapping projects in the vicinity. The geologic units in the area range in age from Mississippian to Late Cretaceous and include Uinta-sourced Tertiary units. Brief unit descriptions are provided for each of the units exposed in the map area. The main structural influence on the rocks within the …
-
Geology of the Phil Pico Mountain Quadrangle, Daggett County, Utah, and Sweetwater County, Wyoming
… analysis of the Carter Oil Company Carson Peak Unit 1 well have provided additional constraints on the erosional and uplift history of this section of the north flank of the Uinta Mountains. Phil Pico Mountain is largely composed of the conglomeratic facies of the early Eocene Wasatch and middle …