Task assignment algorithms for two-type heterogeneous multiprocessors

Consider the problem of assigning real-time tasks on a heterogeneous multiprocessor platform comprising two different types of processors — such a platform is referred to as two-type platform. We present two linearithmic timecomplexity algorithms, SA and SA-P, each providing the follow- ing guarantee. For a given two-type platform and a given task set, if there exists a feasible task-to-processor-type assignment such that tasks can be scheduled to meet deadlines by allowing them to migrate only between processors of the same type, then (i) using SA, it is guaranteed to find such a feasible task-to- processor-type assignment where the same restriction on task migration applies but given a platform in which processors are 1+α/2 times faster and (ii) SA-P succeeds in finding 2 a feasible task-to-processor assignment where tasks are not allowed to migrate between processors but given a platform in which processors are 1+α/times faster, where 0<α≤1. The parameter α is a property of the task set — it is the maximum utilization of any task which is less than or equal to 1.

Provably good scheduling of sporadic tasks with resource sharing on a two-type heterogeneous multiprocessor platform

Consider the problem of scheduling a set of implicit-deadline sporadic tasks to meet all deadlines on a two-type heterogeneous multiprocessor platform where a task may request at most one of |R| shared resources. There are m1 processors of type-1 and m2 processors of type-2. Tasks may migrate only when requesting or releasing resources. We present a new algorithm, FF-3C-vpr, which offers a guarantee that if a task set is schedulable to meet deadlines by an optimal task assignment scheme that only allows tasks to migrate when requesting or releasing a resource, then FF-3Cvpr also meets deadlines if given processors 4+6*ceil(|R|/min(m1,m2)) times as fast. As far as we know, it is the first result for resource sharing on heterogeneous platforms with provable performance.

Two-type heterogeneous multiprocessor scheduling: Is there a phase transition? (Extended Abstract)

Consider the problem of non-migratively scheduling a set of implicit-deadline sporadic tasks to meet all deadlines on a two-type heterogeneous multiprocessor platform. We ask the following question: Does there exist a phase transition behavior for the two-type heterogeneous multiprocessor scheduling problem? We also provide some initial observations via simulations performed on randomly generated task sets.

Intra-type migrative scheduling of implicit-deadline sporadic tasks on two- type heterogeneous multiprocessor

Consider the problem of scheduling a set of implicit-deadline sporadic tasks to meet all deadlines on a two-type heterogeneous multiprocessor platform. Each processor is either of type-1 or type-2 with each task having different execution time on each processor type. Jobs can migrate between processors of same type (referred to as intra-type migration) but cannot migrate between processors of different types. We present a new scheduling algorithm namely, LP-Relax(THR) which offers a guarantee that if a task set can be scheduled to meet deadlines by an optimal task assignment scheme that allows intra-type migration then LP-Relax(THR) meets deadlines as well with intra-type migration if given processors 1/THR as fast (referred to as speed competitive ratio) where THR <= 2/3.

Miocene catfishes (Ariidae,Bagridae) from Lisbon: a Nilotic (or Sudanian) type fauna

Miocene catfishes from Lisbon are dealt with. Two distinct sets of pectoral and dorsal pterygiophores are described. That from the Langhian V-b is referred to Arius sp. probably close to A. heudeloti. Another ser from the uppermost Burdigalian V-a may be ascribed to a bagrid, cf. Chrysichthys sp., identified for the first time in this region. The catfish and Lates association is sctrikingly similar to African, nilotic or sudanian ones as far as freshwaters are concerned. In marine, coastal environments, stenotherm warm-water forms (Polynemids, large barracudas and several sharks) indicate, as a model, faunas like chose from Cape Verde to northern Angola. There is some gradation for brackish waters (fig. 1). Catfishes and Lates probably migrated into the Iberian Peninsule in the lower Miocene. They are unknown after Langhian V-b except for a reappearance of Arius in the middle Tortonian VII-b. Decreasing temperatures and aridity account for local extinction at least in freshwaters. Expansion of these fishes have been made easier owing to the displacement of land masses chat narrowed or closed the marine waterway between Europe and Africa. Salinity tolerance is not necessarily the sole explanation for migration. Catfishes plus Lates associations colonized inland waters from both sides of the Paleomediterranean. Local extinction may have weighed more in the development of modern distribution patterns than migration.

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

A numerical analysis of generalized Boussinesq-type equation using continuos/discontinuous FEM

An improved class of Boussinesq systems of an arbitrary order using a wave surface elevation and velocity potential formulation is derived. Dissipative effects and wave generation due to a time-dependent varying seabed are included. Thus, high-order source functions are considered. For the reduction of the system order and maintenance of some dispersive characteristics of the higher-order models, an extra O(mu 2n+2) term (n ??? N) is included in the velocity potential expansion. We introduce a nonlocal continuous/discontinuous Galerkin FEM with inner penalty terms to calculate the numerical solutions of the improved fourth-order models. The discretization of the spatial variables is made using continuous P2 Lagrange elements. A predictor-corrector scheme with an initialization given by an explicit RungeKutta method is also used for the time-variable integration. Moreover, a CFL-type condition is deduced for the linear problem with a constant bathymetry. To demonstrate the applicability of the model, we considered several test cases. Improved stability is achieved.

Marx-Type solid-state bipolar modulator topologies: Performance comparison

The operation of generalized Marx-type solid-state bipolar modulators is discussed and compared with simplified Marx-derived circuits, to evaluate their capability to deal with various load conditions. A comparative analysis on the number of switches per cell, fiber optic trigger count, losses, and switch hold-off voltages has been made. A circuit topology is obtained as a compromise in terms of operating performance, trigger simplicity, and switching losses. A five-stage laboratory prototype of this circuit has been assembled using 1200 V insulated gate bipolar transistors (IGBTs) and diodes, operating with 1000 V dc input voltage and 1 kHz frequency, giving 5 kV bipolar pulses, with 2.5 mu s pulse width and 5 mu s relaxation time into resistive, capacitive, and inductive loads.

Serologic studies on the behaviour of influenza virus type A in persons of greater São Paulo during 1976, 1978 and 1979

Sera of persons of different age groups collected in 1976, 1978 and 1979 were tested for the presence of HI antibodies against various strains of the H3N2 and H1N1 subtypes of influenza virus. The occurrence of infection by H3N2 subtype was recorded during the 1976-1978 period but in 1979, circulation of this subtype of virus was limited. The prevalence of antibody against A/São Paulo/1/78 (H1N1) was significantly higher than that of antibody to A/USSB/90/77 (HIND in 1978. However in 1979 the predominant strain was A/USSR/90/77 (HIND. Persons under 20 years of age were the most affected by H1N1 subtype. Antibodies to H1N1 subtype were detected in sera of individuals older than 20 years in 1976, before the re-emergence of this strain. Serological results indicate that infections by H3N2 subtype in 1978 occurred in 65.4% of young children (0-4 year group). About 47.0% of children from the 0-4 year group had antibodies to H1N1 subtype in 1979. Antibodies to swine influenza virus were detected in 60% of 60+ year old people.

Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Identification of mating type genes in the bipolar basidiomycetous yeast rhodosporidium toruloides: first insight into the MAT Locus structure of the sporidiobolales

Eukaryotic Cell, Vol.7, Nº6

Inapparent lung involvement in patients with the subacute juvenile type of paracoccidioidomycosis

Three patients with the diagnosis of subacute juvenile paracoccidioidomycosis who, at the time of their first visit, had no signs or symptoms of lung involvement, were studied. Initially the diagnosis was confirmed by the observation of P. brasiliensis in biopsy material obtained from clinically involved lymphadenopathies. The lung X-rays done in all patients, did not reveal pathologic changes, although it was possible to observe and isolate the fungus from sputum samples obtained from the three patients. This fact reinforces the pulmonary genesis of the mycosis and proofs the existence of a pulmonary primary infection, even in patients with the juvenile manifestations, in whom the lung component is obscured by the predominant lymph node involvement.

Anaerobic bacteria: an investigation of metabolic important enzymes: a novel type of oxygen reductase and enzymes of the tetrapyrrole biosynthesis

Desulfovibrio desulfuricans was the first species of a sulphatereducing bacterium to be isolated, in 1895. Since that time, many questions were raised in the scientific community regarding the metabolic and ecological aspects of these bacteria. At present, there is still a myriad of open questions remaining to be answered to enlarge our knowledge of the metabolic pathways operative in these bacteria that have implications in the sulfur cycle, in biocorrosion, namely in sewers and in oil and gas systems, and in bioremediation of several toxic metals. The work presented in this dissertation aimed at contributing with new insights of enzymes involved in two different metabolic systems on Desulfovibrio species, namely enzymes that play a role in the response to oxidative stress and that are involved in the haem biosynthetic pathway.(...)

A multitask ATPase serving different ABC-type sugar importers in Bacillus subtilis

Journal of Bacteriology (Out 2010) 5312-5318