Several approximations occur during a numerical simulation: physical effects mapy be discarded, continuous functions replaced by discretized ones and real numbers replaced by finite-precision representations. The use of the floating point arithmetic generates round-off errors at each arithmetical expression and some mathematical properties are lost. The aim of the numerical verification activit...

A packet scheduler in a quality-of-service (QoS) network should be sophisticated enough to support stringent QoS constraints at high loads, but it must also have a simple implementation so that packets can be processed at the speed of the transmission link. The Earliest-DeadlineFirst (EDF) scheduler is the optimal scheduler for bounded-delay services in the sense that it provides the tightest d...

Various techniques have been proposed to achieve good QoS for diverse application types at network nodes. In order to supply the various QoS requirements for different kinds of applications, new scheduling policies need to be developed and evaluated. Many scheduling techniques have been proposed to respond to the temporal requirements of real-time flows. We propose a new scheduling Hierarchical...

BACKGROUND Executive dysfunction (EDF) is common in Alzheimer disease (AD); however, its relationship to other symptoms is difficult to assess in patients with AD. OBJECTIVES To determine the prevalence of EDF and study its relationship to cognitive, functional, and neuropsychiatric symptoms in patients with AD. DESIGN, SETTING, AND PATIENTS A retrospective analysis of data from participant...

In this paper, we develop an analytical framework for providing statistical delay guarantees in an Earliest Deadline First (EDF) scheduler which multiplexes traf-c from multiple markovian sources with heterogeneous delay requirements. Our framework permits the computation of steady-state delay bound violation probabilities (i.e., the fraction of traac that does not meet its delay bounds) at the...

The K562/VCR cell line, exhibiting acquired multidrug resistance (MDR) with increased expression of a cell surface glycoprotein (P-glycoprotein), was isolated from human erythroleukemia K562 cells. Various compounds that induced erythroid differentiation of K562 cells were tested for their effects on growth and differentiation of these K562/VCR cells. Sodium butyrate, hemin, 1-beta-D-arabinofur...

A capoeira é uma expressão cultural afro-brasileira que mistura esporte, luta, dança, cultura popular, música e ludicidade. É sinônimo de resistência esteve presente em diferentes momentos da história do Brasil, sendo um elemento marcante na formação identidade povo brasileiro. Apesar sua grande popularidade, assim como a maioria das tradições origem africana e/ou afrodescendente, permanece mar...

| Many real-time applications have very tight time constraints which couldn't be met by disk resident databases. For those applications, main memory database where entire database is stored in main memory is the proper choice. It has been shown that coarse-granule locking is better than ne-granule locking for main-memory databases. Coarse-granule locking makes it easy to extract data access pat...