In the autumn of 1978, Neil Jones and Steve Muchnick, working at the University of Kansas, were studying compiler synthesis from Scott-Strachey denotational-semantics definitions; I was Neil’s student. Neil read intently John Reynolds’s 1972 paper, Definitional Interpreters for Higher-Order Programming Languages [14], and applied Reynolds’s continuation-passing and defunctionalization transform...

The promise of software transactional memory (STM) is to combine an easy-to-use programming interface with an efficient utilization of the concurrent-computing abilities provided by modern machines. But does this combination come with an inherent cost? We evaluate the cost of concurrency by measuring the amount of expensive synchronization that must be employed in an STM implementation that ens...

Building models is an important way of integrating knowledge. Testing and updating models of social-ecological systems can inform management decisions and, ultimately, improve resilience. We report on the outcomes of a six-year, multidisciplinary model development process in the sagebrush steppe, USA. We focused on creating state-and-transition models (STMs), conceptual models of ecosystem chan...

The increasing development of terahertz (THz) technology has led to various potential applications in THz imaging, spectroscopy and communications. These devices capable actively manipulating the amplitude, phase frequency waves are thus gaining numerous interests. All-optical silicon-based spatial modulators (STMs), as a simple, cost-effective, reconfigurable technique, standing focus research...

BACKGROUND We analyzed metabolic profile of patients with cognitive dysfunctions by means of levels of lipoproteins, glycaemia and hypertension. RESEARCH DESIGN AND METHODS In naturalistic, open manner, we studied 100 persons--44 without cognitive dysfunctions, 17 with MCI and 39 with dementia. Patients were grouped according to ICD-10, NIA/AA, McKhann's criteria of cognitive impairment and S...

KARIATH, RIYA RAJU. Performance Comparison of Software Transactional Memory Implementations. (Under the direction of Dr. Edward F Gehringer.) Software Transactional Memory (STM), an optimistic concurrency control mechanism for controlling accesses to shared memory, is a promising alternative to lockbased mutual exclusion strategies. A transaction in this context is each piece of code that execu...

A broad germplasm bank collection containing most of the autochthonous Spanish grapevine cultivars was analyzed using six sequence-tagged microsatellite site (STMS) loci: VVS2, VVMDS, VVMD7, ssrVrZAG47, ssrVrZAG62, and ssrVrZAG79. The number of alleles obtained ranged from 9 in ssrVrZAG47 to 13 in VVS2, and the observed genotypes per locus varied between 24 (ssrVrZAG47) and 41 (VVSS2). A total ...

Most high-performance software transactional memories (STM) use optimistic invisible reads. Consequently, a transaction might have an inconsistent view of the objects it accesses unless the consistency of the view is validated whenever the view changes. Although all STMs usually detect inconsistencies at commit time, a transaction might never reach this point because an inconsistent view can pr...