Learn More
Modeling and evaluating nonfunctional properties such as performance, power, and reliability of embedded systems are tasks of utmost importance. In this article, we introduce M<scp>AESTRO</scp>, a methodology for the modeling and evaluation of nonfunctional properties and embedded firmware of MPSoC architecture components at the Electronic System Level(More)
In this paper, we propose a top-down power and performance estimation methodology for heterogeneous multiprocessor systems-on-chip. The proposed approach is applicable at the Electronic System Level (ESL). Thus, power and performance estimation can be applied in very early design phases. By strictly separating the system functionality from its architecture(More)
MOTIVATION The detection of genomic regions unusually rich in a given pattern is an important undertaking in the analysis of next-generation sequencing data. Recent studies of chromosomal translocations in activated B lymphocytes have identified regions that are frequently translocated to c-myc oncogene. A quantitative method for the identification of(More)
The barrier to curing HIV-1 is thought to reside primarily in CD4(+) T cells containing silent proviruses. To characterize these latently infected cells, we studied the integration profile of HIV-1 in viremic progressors, individuals receiving antiretroviral therapy, and viremic controllers. Clonally expanded T cells represented the majority of all(More)
In striated muscles, intracellular Ca(2+) release is tightly controlled by the membrane voltage sensor. Ca(2+) ions are necessary mediators of this control in cardiac but not in skeletal muscle, where their role is ill-understood. An intrinsic gating oscillation of Ca(2+) release-not involving the voltage sensor-is demonstrated in frog skeletal muscle(More)
Type-II ryanodine receptor channels (RYRs) play a fundamental role in intracellular Ca(2+) dynamics in heart. The processes of activation, inactivation, and regulation of these channels have been the subject of intensive research and the focus of recent debates. Typically, approaches to understand these processes involve statistical analysis of single RYRs,(More)
Hidden Markov models have been used to restore recorded signals of single ion channels buried in background noise. Parameter estimation and signal restoration are usually carried out through likelihood maximization by using variants of the Baum-Welch forward-backward procedures. This paper presents an alternative approach for dealing with this inferential(More)
Large-conductance Ca(2+)-activated K(+) channels (BK) play a fundamental role in modulating membrane potential in many cell types. The gating of BK channels and its modulation by Ca(2+) and voltage has been the subject of intensive research over almost three decades, yielding several of the most complicated kinetic mechanisms ever proposed. A large number(More)
Triatoma dimidiata (Latreille 1811) Reduviidae Triatominae is the main vector of Chagas disease in several countries of Latin America. As for other vector species, the characterization of T. dimidiata subpopulations within particular geographical regions or occupying different habitats could help in better planning of vector control actions. A first(More)