Learn More
Parallelization of VLSI-simulation exploiting model-inherent parallelism is a promising way to accelerate veri¯cation processes for whole processor designs. Thereby partitioning of hardware models in°uences the e±ciency of following parallel simulations essentially. Based on a formal model of Parallel Cycle Simulation we introduce partition valuation(More)
Functional radiographic analysis of the cervical spine in flexion and extension position is increasingly used as screening method for the diagnosis of segmental functional disorders. The objective of this study was to prove Penning's evaluation method for the metrical recording of segmental angles in the sagittal plane for selectivity, reliability and(More)
  • 1