An improved preemption delay upper bound for floating non-preemptive region

In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.

A reconnaissance study of Upper Jurassic sediments of the Lusitanian Basin

The Upper Jurassic evolution of the Lusitanian Basin is shown to be linked to the rifting phase which preceded the separation of Iberia and the Grand Banks. Structural controls on sedimentation include both NNE-SSW trending faults in the Hercynian basement, and contemporaneous movement of salt diapirs. At the beginning of Upper Oxfordian times, the entire basin had been levelled to within a few metres of sea level, so that the freshwater algal marsh and marginal marine facies of the Cabaços and Vale Verde Beds rest on Triassic to Callovian strata. In the latter part of the Upper Oxfordian. carbonate sedimentation continued, with fluctuating salinity lagoons in the north (Pholodomya protei Beds) separated from shallow open marine carbonates in the south (Montejunto Beds) by the Caldas da Rainha diapir-barrier island complex. The commencement of rifting is recorded in the Kimmeridgian by the sudden influx of terrigenous clastics (developed in both fluviatile and deltaic/submarine fan environments) and accelerated depositional rates in excess of 10cm/10 k.yrs in association with contemporaneous faulting along the SE margin of the Arruda sub-basin. The Caldas-Santa Cruz chain of diapiric structures continued to influence the distribution of carbonate and clastic sediments. In the Portlandian, a simpler facies pattern occurs, with fluviatile clastics interfingering to the south with shallow low energy carbonates.

Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems

Contention on the memory bus in COTS based multicore systems is becoming a major determining factor of the execution time of a task. Analyzing this extra execution time is non-trivial because (i) bus arbitration protocols in such systems are often undocumented and (ii) the times when the memory bus is requested to be used are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. We present a method for finding an upper bound on the extra execution time of a task due to contention on the memory bus in COTS based multicore systems. This method makes no assumptions on the bus arbitration protocol (other than assuming that it is work-conserving).

Origin and evolution of Upper Triassic to Miocene clay-mineral associations from the eastern Algarve of Portugal

XRD-analyses of pelitic deposits of Upper Jurassic to Miocene age occuring in the eastern Algarve (Portugal), give evidence of the occurrence of detrital clay minerals of continental origin as well as of conspicuous neoformations of marine provenance. The vertical succession of clay-mineral associations indicates the existence of three distinctive evolutionary cycles which are thought to reflect tectonically controlled transgressive-regressive events.

Calculating an upper bound on the finishing time of a group of threads executing on a GPU: a preliminary case study

Graphics processor units (GPUs) today can be used for computations that go beyond graphics and such use can attain a performance that is orders of magnitude greater than a normal processor. The software executing on a graphics processor is composed of a set of (often thousands of) threads which operate on different parts of the data and thereby jointly compute a result which is delivered to another thread executing on the main processor. Hence the response time of a thread executing on the main processor is dependent on the finishing time of the execution of threads executing on the GPU. Therefore, we present a simple method for calculating an upper bound on the finishing time of threads executing on a GPU, in particular NVIDIA Fermi. Developing such a method is nontrivial because threads executing on a GPU share hardware resources at very fine granularity.

Value of a lower limb immobilization device for SPECT/CT image fusion optimization

The foot and the ankle are small structures commonly affected by disorders, and their complex anatomy represent significant diagnostic challenges. SPECT/CT Image fusion can provide missing anatomical and bone structure information to functional imaging, which is particularly useful to increase diagnosis certainty of bone pathology. However, due to SPECT acquisition duration, patient’s involuntary movements may lead to misalignment between SPECT and CT images. Patient motion can be reduced using a dedicated patient support. We aimed at designing an ankle and foot immobilizing device and measuring its efficacy at improving image fusion. Methods: We enrolled 20 patients undergoing distal lower-limb SPECT/CT of the ankle and the foot with and without a foot holder. The misalignment between SPECT and CT images was computed by manually measuring 14 fiducial markers chosen among anatomical landmarks also visible on bone scintigraphy. Analysis of variance was performed for statistical analysis. Results: The obtained absolute average difference without and with support was 5.1±5.2 mm (mean±SD) and 3.1±2.7 mm, respectively, which is significant (p<0.001). Conclusion: The introduction of the foot holder significantly decreases misalignment between SPECT and CT images, which may have clinical influence in the precise localization of foot and ankle pathology.

Ajustes posturais antecipatórios no alcance em crianças com hemiparésia espástica

Objectivos: Verificar o comportamento dos Ajustes Posturais Antecipatórios no alcance, em três crianças com hemiparésia espástica, face à aplicação de uma intervenção em Fisioterapia baseada numa abordagem segundo o conceito de Bobath. Pretendeu-se também perceber as modificações ao nível das actividades e participação, bem como ao nível da capacidade de modificação das componentes neuromotoras. Metodologia: A avaliação foi realizada antes e três meses após a intervenção através da electromiografia de superfície, máquina fotográfica Canon EOS, Classificação Internacional de Funcionalidade para Crianças e Jovens (CIF-CJ) e Sistema de Classificação da Função Motora Global (GMFCS). Resultados: Verificou-se melhorias nos Ajustes Posturais Antecipatórios no alcance com os dois membros superiores, nomeadamente no tempo de activação e na duração da actividade muscular, bem como alterações positivas nas componentes neuromotoras, como na sequência de movimento de sentado para de pé, e de pé para sentado, e marcha mais especificamente na fase pendular com o membro inferior predominantemente comprometido. Também se verificou após a intervenção uma maior funcionalidade nas três crianças, verificando-se alterações positivas nos qualificadores nas actividades e participação. Conclusão: A intervenção com base no conceito de Bobath induziu mudanças positivas quanto à funcionalidade das crianças, reflectindo-se nos Ajustes Posturais Antecipatórios e na reorganização de componentes de movimento.

Upper Miocene planktonic foraminifera from Algarve. Chronostratigraphical implications

Ciências da Terra(UNL) Nº 15, pp. 199-208

New evidence of shared dinosaur across upper jurassic proto-North Atlantic: stegosaurus from Portugal

Naturwissenschaften 94,367–374

On the Upper Cretaceous age and affinities of Neocyprideis lusitanicus (Ostracoda)

Guernet & Lauverjat (1986) described a new species, Neocyprideis lusitanicus, from sediments deposited near Aveiro, Portugal. For these authors, some associated fossils (Molluscs, planktonic Foraminifera) indicated a Pliocene age. That seemingly was the first record of Neocyprideis in post-Miocene sediments in Europe. A recent study of Upper Cretaceous material from the same region showed an abundant Neocyprideis fauna, associated with Charophyta. These Neocyprideis could be assigned without any doubt to N. lusitanicus. Therefore, N. lusitanicus appears as an Upper Cretaceous species, reworked in much later sediments, not Pliocene but Quaternary, as indicated by the planktonic Foraminifera assemblage. This interpretation is supported by: 1 - the incompatibility of the Neocyprideis (restricted to lacustrine-lagoonal environments) with abundant planktic Foraminifera; 2 - the occurrence of N. lusitanicus with Charophytes and non marine, cretaceous vertebrates but without the same Foraminifera. Neocyprideis lusitanicus is a valid species, clearly different from the other late Cretaceous species (N. coudouxensis and N. murciensis) as well as the Early Miocene described species (N. aquitanica, N. janoscheki).

Upper Jurassic Hybodontidae (Selachii) from Lourinhã, Portugal

Hybodontidae teeth and spines from the Lourinha Formation, Sobral unit are described. These teeth and spines have been ascribed to the genus Hybodus and regarded as Hybodus cf. reticulatus.

Charophytes from Silveirinha (?Upper Paleocene - Lowermost Eocene) according to Janine Riveline

Charophytae gyrogonites are common among the washing/sieving residues from the important ?Upper Paleocene or lowermost Eocene site of Silveirinha (lower Mondego, Portugal). The whole Charophyte material has been submitted to Janine Riveline, who recognized but Nitellopsis (Tectochara) dutemplei (Watelet)Grambast & Souliè-Marsche minor Riveline. This form has been found in the lacustrine marls overlying the "Conglomerat de Cernay" that is rich in late Thanetian vertebrates. Taking into account the presence of the above referred form, the age of the concerned sediments may be (not basal) Sparnacian, Peckichara disermas Charophyte zone.

Upper Paleocene-Early Eocene mollusks of Silveirinha (Figueira da Foz, West Central Portugal)

A collection of fossil gastropods and bivalves assembled at the Thanetian/Ypresian vertebrate site of Silveirinha (Figueira da Foz, West Central Portugal) is analysed from the point of view of systematics and palaeoecology. The diversity is scarce but the age and exceptional characteristics of the site are factors that substantiate a detailed study. The taxa identified are: Bithynia soaresi sp. nov., Gyraulus antunesi sp. nov., Chlamys sp. and Cardiiacea gen. sp. indet. The prevailing of freshwater gastropods and the occurrence of 2 fragments of marine bivalves suggest a palaeoenvironmental setting that is in conformity with interpretations already established, which are based both in sedimentologic and vertebrate data. These interpretations point out the existence of a freshwater environment opened from time to time to marine influences, resulting from a palaeoatlantic coast placed some kilometres westwards.

Upper miocene planktonic foraminifera from Algarve. Chronostratigraphical implications

New data on the planktonic foraminifera from the Upper Miocene Cacela Formation and Mem Moniz spongoliths are presented. The coiling type of Globorotalia menardii from Cacela and Quelfes and the occurrence at Quelfes of G. miotumida allow correlation with the bio-events I to 3 (7,512 to 7,24 Ma; Sierro et al., 1993; 2001) that have been recognized in the Guadalquivir Basin (Spain). The presence of Neogloboquadrina acostaensis and N. humerosa at Mem Moniz points out to the Upper Miocene (Tortonian, upper N16, or even NI7). Mem Moniz spongoliths are correlated with the Cacela Formation. Some 87Sr/86Sr isotopic ages of mollusc or foraminifera shells don't fit well with finer biostratigraphic record and present wide error margins.

From the Bay of Biscay to the High Atlas: completing the anisotropic characterization of the upper mantle beneath the westernmost Mediterranean region

The knowledge of the anisotropic properties beneath the Iberian Peninsula and Northern Morocco has been dramatically improved since late 2007 with the analysis of the data provided by the dense TopoIberia broadband seismic network, the increasing number of permanent stations operating in Morocco, Portugal and Spain, and the contribution of smaller scale/higher resolution experiments. Results from the two first TopoIberia deployments have evidenced a spectacular rotation of the fast polarization direction (FPD) along the Gibraltar Arc, interpreted as an evidence of mantle flow deflected around the high velocity slab beneath the Alboran Sea, and a rather uniform N100 degrees E FPD beneath the central Iberian Variscan Massif, consistent with global mantle flow models taking into account contributions of surface plate motion, density variations and net lithosphere rotation. The results from the last Iberarray deployment presented here, covering the northern part of the Iberian Peninsula, also show a rather uniform FPD orientation close to N100 degrees E, thus confirming the previous interpretation globally relating the anisotropic parameters to the LPO of mantle minerals generated by mantle flow at asthenospheric depths. However, the degree of anisotropy varies significantly, from delay time values of around 0.5 s beneath NW Iberia to values reaching 2.0 sin its NE comer. The anisotropic parameters retrieved from single events providing high quality data also show significant differences for stations located in the Variscan units of NW Iberia, suggesting that the region includes multiple anisotropic layers or complex anisotropy systems. These results allow to complete the map of the anisotropic properties of the westernmost Mediterranean region, which can now be considered as one of best constrained regions worldwide, with more than 300 sites investigated over an area extending from the Bay of Biscay to the Sahara platform. (C) 2015 Elsevier B.V. All rights reserved.