Implementing multicore real-time scheduling algorithms based on task splitting using ada 2012

Multiprocessors, particularly in the form of multicores, are becoming standard building blocks for executing reliable software. But their use for applications with hard real-time requirements is non-trivial. Well-known realtime scheduling algorithms in the uniprocessor context (Rate-Monotonic [1] or Earliest-Deadline-First [1]) do not perform well on multiprocessors. For this reason the scientific community in the area of real-time systems has produced new algorithms specifically for multiprocessors. In the meanwhile, a proposal [2] exists for extending the Ada language with new basic constructs which can be used for implementing new algorithms for real-time scheduling; the family of task splitting algorithms is one of them which was emphasized in the proposal [2]. Consequently, assessing whether existing task splitting multiprocessor scheduling algorithms can be implemented with these constructs is paramount. In this paper we present a list of state-of-art task-splitting multiprocessor scheduling algorithms and, for each of them, we present detailed Ada code that uses the new constructs.

N’A Barraca com Maria do Céu Guerra em Dona Maria, a louca, de António Cunha: relatório de estágio

Relatório de Estágio submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Artes Performativas - Interpretação.

The value of adenosine deaminase (ADA) determination in the diagnosis of tuberculous ascites

In order to evaluate the role of the determination of adenosine deaminase activity (ADA) in ascitic fluid for the diagnosis of tuberculosis, 44 patients were studied. Based on biochemical, cytological, histopathological and microbiological tests, the patients were divided into 5 groups: G1 - tuberculous ascites (n = 8); G2 - malignant ascites (n = 13); G3 - spontaneous bacterial peritonitis (n = 6); G4 - pancreatic ascites (n = 2); G5 - miscelaneous ascites (n = 15). ADA concentration were significantly higher in G1 (133.50 ± 24.74 U/l) compared to the other groups (G2 = 41.85 ± 52.07 U/l; G3 = 10.63 ± 5.87 U/l; G4 = 18.00 ± 7.07 U/l; G5 = 11.23 ± 7.66 U/l). At a cut-off value of >31 U/l, the sensitivity, specificity and positive and negative preditive values were 100%, 92%, 72% and 100%, respectively. ADA concentrations as high as in tuberculous ascites were only found in two malignant ascites caused by lymphoma. We conclude that ADA determination in ascitic fluid is a useful and reliable screening test for diagnosing tuberculous ascites. Values of ADA higher than 31 U/l indicate more invasive methods to confirm the diagnosis of tuberculosis.

An Execution Model for Fine-Grained Parallelism in Ada

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award.

Real-Time Fine-Grained Parallelism in Ada

International Real-Time Ada Workshop (IRTAW 2015). 20 to 22, Apr, 2015. Pownal, U.S.A..

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Transposição do Tendão Tibial Anterior para a Terceira Cunha na Recidiva do Pé Equino-Varo Congénito

O consenso atual para o tratamento do pé equino-varo congénito é o tratamento conservador pelo método de Ponseti. A transposição do tendão tibial anterior para a terceira cunha é uma cirurgia que pode ser usada no tratamento da recidiva dinâmica do pé equino-varo congénito que se caracteriza pelo reaparecimento do varosupinação. Foram revistos 37 casos de pé equino-varo, idiopático (33) e não idiopático (4) de 29 crianças de ambos os sexos com idades compreendidas entre os 2 e os 8 anos que apresentavam recidiva de pé equino-varo com reaparecimento do varo-supinação de 2005 a 2008. Os doentes foram submetidos a correção cirúrgica com transposição do tendão tibial anterior para a terceira cunha. A avaliação clínica dos resultados foi feita com um follow-up mínimo de 6 meses. A avaliação pós operatória revelou bons resultados em 31 pés intervencionados. Quanto aos outros casos, 3 mantiveram uma supinação ligeira do pé sem dor ou limitação funcional e em 3 casos o resultado final foi mau. A transferência do tendão tibial anterior para a terceira cunha apresenta bons resultados na recidiva do pé equino-varo congénito.

Environmental remediation project of Cunha Baixa mining area cost benefit analysis

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Inoculação experimental de Equus asinus com Leishmania chagasi Cunha & Chagas, 1937

Quatro Equus asinus foram inoculados com promastigotas de Leishmania chagasi Cunha & Chagas, 1937 e acompanhados durante 12 meses através de: pesquisa de amastigotas em esfregaços e culturas de sangue periférico em fragmentos de tecido do lábio inferior, medula óssea, baço e fígado e de testes de ELISA e TRALd. Estes foram positivos nos 8º, 10º e 12º meses após a inoculação. O exame histopatológico pós necropsia, demonstrou discreto número de amastigotas no fígado de dois dos eqüídeos inoculados. Apesar de desafiados com elevado número de promastigotas, os animais não desenvolveram infecções patentes e não infectaram experimentalmente a vetora Lutzomya longipalpis. Os resultados induzem a acreditar que os eqüídeos são desprovidos de importância como reservatórios na cadeia de transmissão da leishmaniose visceral, embora sirvam como boa fonte de alimentação sangüínea e proliferação da vetora Lutzomyia longipalpis.

Maria da Cunha Zorro

Poetisa, Maria da Cunha Zorro é frequentemente conhecida como Maria da Cunha. É assim, aliás, que assina os textos que editam as suas composições poéticas e as traduções. Nasce em Lisboa e com nacionalidade portuguesa, ao contrário de seus pais, mãe brasileira e pai espanhol, Francisco Zorro. Considerada muito culta, atendendo sobretudo ao nulo ou baixo nível educacional da esmagadora maioria das mulheres portuguesas, no início do século XX, edita o seu primeiro livro de poesia, Trindades, em 1909.

José Anastácio da Cunha e o projeto MAT² : no trilho de uma história extraordinária

A ideia de que as Matemáticas de Portugal (e de Espanha) atravessaram, depois de um período áureo nos Descobrimentos, um longo deserto onde não foi possível florescerem Mestres, nem escolas, nem cultura científica, nem investigação de relevo foi, durante muito tempo, reiteradamente veiculada, inclusivé através de alguns dos nossos mais referenciados historiadores da Matemática, como é o caso de Gomes Teixeira ou de Rey Pastor. Mas a verdade é que o estudo da História das Matemáticas em Portugal tem, na última década, vivido um interesse crescente onde sobressaem, em particular, uma leitura menos enviesada sobre, por exemplo, o papel educativo dos Jesuítas ou a publicação das obras completas de Pedro Nunes. Está-se assim a contribuir para uma compreensão mais completa da História geral de Portugal, de que a História da Ciência e da Cultura faz parte. José Anastácio da Cunha (1744-1787) foi figura de proa no século XVIII português. Sabíamo-lo matemático que, sem nunca ter saído de Portugal, havia sido capaz de antecipar, em mais de 50 anos, os esforços de matemáticos franceses e alemães para fundar a Matemática com rigor. Sabíamo-lo também autor de uma vasta e diversificada obra de inegável importância matemática mas, igualmente, autor de textos poéticos. Agora, com o projecto que denominámos de MAT2, centramo-nos em José Anastácio da Cunha e pretendemos, se possível, ir ainda mais além. Partimos de uma descoberta, árdua mas com final feliz, em um Arquivo de família: o da Casa de Mateus. Sentimo-nos, com esta “sorte”, privilegiados e gratos por nos ter sido gentilmente concedido o acesso a um vasto conjunto de documentos únicos (diários de viagens, notas de aulas e correspondência) que incluem memórias autógrafas e inéditas de Anastácio da Cunha. Organizámo-nos, cientes do trabalho árduo que temos pela frente, multi e interdisciplinarmente englobando a Matemática (nas suas múltiplas especializações) e a História (incluindo a da Matemática) mas também contando com a Física, a Informática, os estudos militares ou a Arquivística e as Humanidades; reunimos académicos, mais e menos veteranos, com investigadores jovens e juntámos valências nacionais e estrangeiras. No presente artigo daremos conta do percurso trilhado, até agora, pelo projecto MAT2.

José Anastácio da Cunha e a criação da Casa Pia de Lisboa

As modernas ideias científicas e tecnológicas da Europa mais desenvolvida transpoem fronteiras e institucionalizam-se em Portugal com a denominada Reforma Pombalina da Universidade de Coimbra (1770-72), no reinado de D. José. Mais: não só chega a Portugal o pensamento moderno da época como, antecipando a reforma do ensino universitário no resto da Europa, o ensino universitário português faz uma aposta clara nas ciências matemáticas, físicas e naturais, bem como num ensino experimental/laboratorial. Anos mais tarde, no reinado de D. Maria, surgem outros projectos educativos e científicos igualmente modernos tais como o da criação de uma Academia Real da Marinha (1779) ou o de uma Academia Real das Ciências (1779) e idealiza-se um projeto, porventura, ainda mais revolucionário: o da criação de uma instituição de ensino – também de ciências ditas superiores – destinada, na sua génese, a orfãos e desvalidos à qual se chamou Casa Pia de Lisboa (1780), e que alguns autores reportam como sendo uma “universidade plebeia”. Com base em documentação autógrafa, ainda inédita, recentemente descoberta nos Fundos Setecentistas do Arquivo da Casa de Mateus, exploraremos o papel fundamental que José Anastácio da Cunha (1744-1787) – militar, matemático e poeta – desempenhou na concepção do Plano de Estudos para a instituição; em particular para o colégio de S. Lucas, consagrado às classes científicas.

Austral Hepaticae IX : Anastrophyllum tristanianum, a new species from Tristan da Cunha / John J. Engel.

v.38:no.7(1977)