Today’s SoCs are composed of a wide variety of modules, such as microprocessor cores, memories, peripherals, and customized blocks directly related to the targeted application. To effectively perform simulation-based design verification of peripheral cores, it is necessary to stimulate the description in a broad range of behavior possibilities, checking the produced results. Different strategie...

A STUDY OF DISK PERFORMANCE OPTIMIZATION by Richard S. Gray Response time is one of the most important performance measures associated with a typical multi-user system. Response time, in turn, is bounded by the performance of the input/output (I/O) subsystem. Other than the end user and some external peripherals, the slowest component of the I/O subsystem is the disk drive. One standard strateg...

Epidemiological studies have shown that arsenic exposure during early embryogenesis can cause reduced weight gain and neurological deficits later on in life. In addition, in vitro and in vivo studies have indicated that arsenic suppresses neurogenesis and myogenesis. The exact mechanism of how arsenic causes these undesired developmental outcomes is poorly understood, however both skeletal musc...

Abstract. Accurate particle classification plays a vital role in aerosol studies. Differential mobility analyzers (DMAs), centrifugal mass (CPMAs) and aerodynamic classifiers (AACs) are commonly used to select particles with specific diameter, diameter or mass, respectively. However, multiple charging effects cannot be entirely avoided when using either individual techniques tandem systems such...

Sink capacity, nitrogen (N), and dry matter accumulation (DMA) all play essential roles in promoting high rice grain yield, but their relationship is unclear. Here, a field experiment was conducted from 2020 to 2021 with Zhuangxiangyou Baijin 5 as the test cultivar. Two rates of N (T1 = 90 kg ha?1 T2 180 N) three transplanting densities (272,000 hills (M1), 238,000 (M2), 206,000 (M3)) were used...

We provide a Myhill-Nerode-like theorem that characterizes the class of data languages recognized by deterministic finite-memory automata (DMA). As a byproduct of this characterization result, we obtain a canonical representation for any DMA-recognizable language. We then show that this canonical automaton is minimal in a strong sense: it has the minimal number of control states and also the mi...