A model-based approach for multiple QoS in scheduling: from models to implementation

Meeting multiple Quality of Service (QoS) requirements is an important factor in the success of complex software systems. This paper presents an automated, model-based scheduler synthesis approach for scheduling application software tasks to meet multiple QoS requirements. As a first step, it shows how designers can meet deadlock-freedom and timeliness requirements, in a manner that (i) does not over-provision resources, (ii) does not require architectural changes to the system, and that (iii) leaves enough degrees of freedom to pursue further properties. A major benefit of our synthesis methodology is that it increases traceability, by linking each scheduling constraint with a specific pair of QoS property and underlying platform execution model, so as to facilitate the validation of the scheduling constraints and the understanding of the overall system behaviour, required to meet further QoS properties. The paper shows how the methodology is applied in practice and also presents a prototype implementation infrastructure for executing an application on top of common operating systems, without requiring modifications of the latter

Égalité professionnelle et genre en contexte : l’exemple des chef.fes d’établissement du secondaire

International audienceIn the public service, the elementary and secondary educationsector is highly feminised. Our object of study is related to theseissues of professional equality within the national educationsystem (a highly feminised context) and aims to explore thediscourse held by management staff (especially women) on theperception (or not) of gender inequalities in access to managerialpositions (subjective perception of inequalities). The resultsmake it possible first of all to show the heterogeneity of theresponses of staff (including women) on questions of perceivedequality. Comparatively, a majority of the interviewees empha-sised the difficulties in articulating different life times (pro-fessional, family, personal). They also emphasised theavailability and commitment required to carry out the functionof head teacher. And, in this respect, there seems to be relativeagreement between the women and men who responded(although, from a quantitative point of view, more womenmentioned these aspects). The fields of application of thisresearch should be linked to equality policies in the publicservice and action plans for gender equality.Au sein de la fonction publique, le secteur de l’enseignement primaireet secondaire est tre`s fe´minise´ . Notre objet d’e´tude est en lien avec cesquestions d’e´galite´ professionnelle au sein de l’E´ducation nationale(contexte fortement fe´minise´) et vise a` explorer le discours tenu par lespersonnels de direction (et notamment les femmes) au niveau de laperception (ou non) d’ine´galite´s femmes/hommes dans l’acce`s auxpostes d’encadrement (perception subjective des ine´galite´s). Lesre´sultats permettent tout d’abord de montrer l’he´te´roge´ne´ite´ desre´ponses des personnels (y compris des femmes) sur les questionsd’e´galite´ perc¸ue. Comparativement, une majorite´ des personnesinterroge´es ont souligne´ les difficulte´s d’articuler les diffe´rents tempsde vie (professionnel, familiaux, personnels). Elles ont e´galement misl’accent sur la disponibilite´ et l’engagement que requiert l’exercice defonction de chef d’e´tablissement. Et, dans ce registre, il semble existerun relatif accord entre les femmes et les hommes qui ont re´pondu(meˆme si, du point de vue quantitatif, les femmes sont plus nombreusesa` e´voquer ces aspects). Les champs d’application de ces recherches sonta` mettre en lien avec les politiques d’e´galite´ dans la fonction publique etles plans d’actions en faveur de l’e´galite´ femmes/hommes

La géochimie organique des sédiments marins profonds, mission orgon 2, 1975 (Bassin de Cariaco et cône de l'Amazone)

Trois articles distincts traitent, le premier des généralités sur la mission ORLON, les deux autres des résultats obtenus à la mer dans les domaines de la microbiologie et de la biochimie des eaux. En microbiologie, une opposition existe entre le bassin de Cariaco d'une part, milieu anoxique riche en microflore et spécialement en bactéries sulfato-réductrices, et d'autre part la plaine du Demerara et le cône de l'Amazone, où les eaux ont des teneurs médiocres en microflore et les sédiments des teneurs si faibles qu'elles sont inférieures aux teneurs des eaux (phénomène qui n'existe jamais dans les milieux côtiers ou peu profonds). On met en évidence une relation directe entre teneurs en microflore et vitesse de sédimentation, qui permet d'avoir une vision cohérente des résultats obtenus tant à ORLON I qu'à ORLON 2. Dans le domaine de la biochimie des eaux, on a étudié outre l'eau sus-jacente au sédiment, les eaux interstitielles de 95 niveaux sédimentaires des carottes. L'utilisation d'un dispositif spécial de découpage des carottes prélevées à l'aide du carottier Reineck court a permis une étude fine des paramètres physiques (pH, Eh) et des constituants chimiques (O, dissous, S-- dissous, PO---, NH4 et alcalinité) des eaux interstitielles. L'influence des conditions régnant dans la Cariaco Trench sur la minéralisation de la matière organique a été étudiée au cours de l'enfouissement. Les mesures effectuées dans la mer du Demerara et sur le cône fossile de l'Amazone soulignent l'influence des conditions ambiantes et la pauvreté en matériel organique des régions océaniques profondes. Les dépôts côtiers de l'Amazone et du Para ont également été étudiés

La géochimie organique des sédiments marins profonds, mission orgon 2, 1975 (Bassin de Cariaco et cône de l'Amazone) Organic Geochemistry of Deep Marine Sediments. Orgon 2 Mission, 1975 (Cariaco Basin and Amazon Fan)

Trois articles distincts traitent, le premier des généralités sur la mission ORLON, les deux autres des résultats obtenus à la mer dans les domaines de la microbiologie et de la biochimie des eaux. En microbiologie, une opposition existe entre le bassin de Cariaco d'une part, milieu anoxique riche en microflore et spécialement en bactéries sulfato-réductrices, et d'autre part la plaine du Demerara et le cône de l'Amazone, où les eaux ont des teneurs médiocres en microflore et les sédiments des teneurs si faibles qu'elles sont inférieures aux teneurs des eaux (phénomène qui n'existe jamais dans les milieux côtiers ou peu profonds). On met en évidence une relation directe entre teneurs en microflore et vitesse de sédimentation, qui permet d'avoir une vision cohérente des résultats obtenus tant à ORLON I qu'à ORLON 2. Dans le domaine de la biochimie des eaux, on a étudié outre l'eau sus-jacente au sédiment, les eaux interstitielles de 95 niveaux sédimentaires des carottes. L'utilisation d'un dispositif spécial de découpage des carottes prélevées à l'aide du carottier Reineck court a permis une étude fine des paramètres physiques (pH, Eh) et des constituants chimiques (O, dissous, S-- dissous, PO---, NH4 et alcalinité) des eaux interstitielles. L'influence des conditions régnant dans la Cariaco Trench sur la minéralisation de la matière organique a été étudiée au cours de l'enfouissement. Les mesures effectuées dans la mer du Demerara et sur le cône fossile de l'Amazone soulignent l'influence des conditions ambiantes et la pauvreté en matériel organique des régions océaniques profondes. Les dépôts côtiers de l'Amazone et du Para ont également été étudiés. Three separate articles are given. The first deals with general comments on the ORLON cruise, and the other two give the findings obtained on board ship in the fields of microbiology and biochemisiry of water. In microbiology, there is an opposition between the Cariaco Basin, which is on anoxic environment rich in microflora and especially in sulfate-reducing bacteria, and the Demerara Plain and Amazon Fan where the water contains only mediocre amounts of microflora and the sediments contain even fewer amounts thon the water (a phenomenon that never exists in coastal or shallow water). A direct relationship is revealed between the microflore content and the rate of sedimentation, thus giving a coherent picture of the findings obtained by both ORLON I and ORLON 2. In the field of the biochemisiry of the water, in addition ta the water overlying the sediments, an analysis was also made of the interstitial water from 95 sedimentary levels of the cores. The use of a special core cutter on cores token with a short Reineck corer enabled a thorough analysis to be made of the physical parometers (pH, Eh) and the chemical constituents (dissolved Oz, dissolved 5--, PO4--, NH4 and alkalinity) of the interstitiel water

La géochimie organique des sédiments marins profonds mission orgon1, 1974 (mer de Norvège). Première Partie

On présente quelques généralités sur la constitution et les buts du groupe ORLON, groupe d'étude de la géochimie organique des sédiments marins profonds qui comprend, outre l'IFP, les compagnies CFP, Elf-RE et SNPA et un certain nombre de laboratoires universitaires et du CNRS (Paris VI, Bordeaux, Strasbourg, Nancy, Perpignan, Aix-Marseille). Un premier compte rendu de la mission ORLON 1974 en mer de Norvège insiste sur les quatre premières mondiales réalisées à son occasion - utilisation du carottier par gravité Reineck long (12 m) par mer profonde (jusqu'à 2000 m); - dosage du carbone organique à bord par appareil automatique LECO ; - lyophilisation à bord de grandes quantités de sédiments ; - cultures et numération bactériennes à bord sur prélèvements le long d'une carotte longue (jusqu'à 13,5 m)

The age and correlation of the Skiddaw Group (Early Ordovician) sediments of the Cross Fell inlier (northern England)

The Skiddaw Group in the Cross Fell inlier comprises the Catterpallot Formation of latest Tremadoc or earliest Arenig age, the Murton Formation of Arenig age, and the Kirkland Formation of early Llanvirn age. Each of these formations can be correlated with formations in the Skiddaw Group of the Lake District. The faulted contact of the Catterpallot and Kirkland formations is the probable extension of the Causey Pike Fault (CPF), which separates two distinct sequences in the Skiddaw inlier of the northern Lake District. Contrasts across the CPF in the Cross Fell inlier reflect those seen in the Skiddaw inlier. The CPF is a major basement structure, separating markedly different successions in the Ordovician strata of northern England

Dynamic Properties of Materials for Alpine Skis

The aim of the present research has been to quantify the influence of different materials on the global dynamic response of a ski. The properties of the individual constituent materials were characterized as a function of temperature and frequency using dynamic mechanical analysis. At the same time, the dynamic behavior of skis with different designs was investigated in a cold room at between -15 and 25 °C using specially developed apparatus. The results indicated the overall behavior to be influenced significantly by the polymeric topsheet, which showed a strong damping peak at about 0 °C. Elasticity-based FEA accounted well for the experimental results for the two first flexural vibrational modes of the skis. For higher modes, however, the viscoelastic nature of the polymeric components led to significant discrepancies between the predicted and observed behaviors