1 - 25 of 3
| 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 |
1 - 25 of 3