Filters: Collection: "ir_uspace" Subject: "Model"
1 - 25 of 4
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Gopalakrishnan, Ganesh | The 'test model-checking' approach to the verification of formal memory models of multiprocessors | We offer a solution to the problem of verifying formal memory models of processors by com bining the strengths of model checking and a formal testing procedure for parallel machines We characterize the formal basis for abstracting the tests into test automata and associated memory rule safety p... | Formal memory models; Shared memory multiprocessors; Formal testing; Model; Checking | 1998 |
| 2 |
 |
Golden, Kenneth M. | Convexity and exponent inequalities for conduction near percolation | The bulk conductivity o*(p) of the bond lattice in Zd with a fraction p of conducting bonds is analyzed. Assuming a hierarchical node-link-blob (NLB) model of the conducting backbone, it is shown that o*(p) (for this model) is convex in p near the percolation threshold pc, and that its critical expo... | Lattice; Conductivity; Model | 1990 |
| 3 |
 |
Adler, Frederick R. | Optimization, conflict, and nonoverlapping foraging ranges in ants | An organism's foraging range depends on the behavior of neighbors, the dynamics of resources, and the availability of information. We use a well-studied population of the red harvester ant Pogonomyrmex barbatus to develop and independently parameterize models that include these three factors. The mo... | Colony; Space; Model | 2003 |
| 4 |
 |
Hawkes, Kristen | Ovarian follicle loss in humans and mice: lessons from statistical model comparison | Menopause is triggered by the number of ovarian follicles falling below a threshold number and is irreversible because oogonial stem cells disappear after birth. Since it is the result of programmed disappearance of a limited store of follicles, menopause can be predicted using mathematical models b... | Age; Follice; Mathematical; Model; Menopause; Ovary | 2010-01-01 |
1 - 25 of 4