Timing analysis of assembler code control-flow paths

Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.

Programs as paths: An approach to timing constraint analysis

A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.

Not if but when: Out-group reactions to the timing of disclosure of an individual's same-sex attractions

One factor that research suggests impedes positive contact between outgroup members is the experience of anxiety that can occur when anticipating negative consequences of such interactions. Research examining attitudes and behaviour towards same-sex attracted individuals indicates that this intergroup anxiety is particularly evident when the anticipated interaction involves members of the same gender. The current studies investigate the effect of timing of disclosure of a person’s same-sex attractions in an effort to identify a means of reducing this anxiety. Study 1 uses a hypothetical scenario to gain insight into participants’ stated preferences for early or delayed knowledge of a person’s sexual orientation. Results reveal an association between experiencing close contact with gay individuals of the same gender in real life (but not opposite gender), and a preference for early disclosure. Results from an experimental study concur with these findings. After a face-to-face interaction task with a confederate of the same gender, participants sit further from the confederate for the late disclosure condition when compared with the early disclosure and no disclosure control. Future studies investigating the interaction between timing of disclosure of same-sex attractions and the intimacy of disclosure (casual vs. intimate), are discussed.

Efeito do laser de baixa intensidade no procedimento de expansão rápida da maxila

A proposta do presente estudo foi avaliar os efeitos do laser de baixa intensidade na regeneração óssea no procedimento de expansão rápida da maxila. Utilizou-se 27 indivíduos com média de idade de 10,2 anos, divididos em dois grupos: grupo laser (n=14), no qual se realizou a expansão rápida da maxila, associada ao laser e grupo sem laser (n=13), que realizou somente a expansão rápida da maxila. O protocolo de ativação do parafuso expansor foi de 1 volta completa no primeiro dia e ½ volta diária até a sobrecorreção. O laser utilizado foi o de diodo (TWIN Laser MMOptics®, São Carlos), seguindo o protocolo de aplicação: comprimento de onda de 780nm, potência de 40mW, densidade de 10J/cm2, em 10 pontos localizados ao redor da sutura palatina mediana. Os estágios de aplicação foram: L1 (do primeiro ao quinto dia de aplicação), L2 (travamento do parafuso e 3 dias seguidos), L3, L4 e L5 (após 7, 14 e 21 dias do L2, respectivamente). Radiografias oclusais da maxila foram realizadas com auxílio de uma escala de alumínio, para referencial densitométrico, em diferentes tempos: T1 (inicial), T2 (dia de travamento do parafuso), T3 (3 a 5 dias do T2), T4 (30 dias do T3), T5 (60 dias do T4). As radiografias foram digitalizadas e submetidas a um programa de imagem (Image Tool - UTHSCSA, Texas, USA), para mensuração da densidade óptica das áreas previamente selecionadas. Para realização do teste estatístico, utilizou-se a Análise de Covariância usando como covariável o tempo para a fase avaliada. Em todos os testes foi adotado nível de significância de 5% (p<0,05).Para o Grupo Laser, os dados mostram que houve uma queda significante de densidade durante a abertura do parafuso (T2-T1), um aumento significante da mesma no período final de avaliação (T5-T4), e um aumento também da densidade no período de regeneração propriamente dito (T5-T2), ou seja, a partir do momento em que finalizou a fase de abertura do parafuso expansor. Enquanto que no Grupo Sem Laser, a densidade não mostrou diferença estatisticamente significantemente em nenhum período analisado. Os resultados mostraram que o laser propiciou consideravelmente uma melhor abertura da sutura palatina mediana, além de influenciar no processo de regeneração óssea da sutura, acelerando seus processos de reparo.(AU)

Avaliação das Capacidades de Timing e Seletividade dos Gestores de Fundos de Ações em Períodos de Crise: Evidência Empírica para o Mercado Português

Os fundos de investimento mobiliários são uma boa alternativa para os aforradores diversificarem as suas poupanças, em particular que investem em ações. Esta classe de fundos visa proporcionar ao investidor o acesso a uma aplicação com uma elevada expectativa de rendibilidade a longo prazo. Dentro da oferta deste tipo de fundos domiciliados em Portugal, a questão fundamental é saber quais os mais apropriados para investir. Com este trabalho, pretende-se contribuir para o conhecimento da qualidade da gestão desta classe de ativos e, assim, fornecer mais elementos aos investidores para uma melhor tomada de decisão. Deste modo, esta investigação avalia as capacidades de timing e seletividade dos gestores de fundos de ações domiciliados em Portugal, em períodos de crise e não-crise, bem como os seus estilos de investimento. O estudo incide sobre o período de janeiro de 2000 a dezembro de 2014 e inclui todos os fundos, sobreviventes e não sobreviventes, que estiveram em atividade durante um período mínimo de 24 meses. Os resultados sugerem uma reduzida capacidade de timing e a inexistência de capacidades de seletividade por parte dos gestores. De um modo geral, as capacidades de seletividade são melhores nos períodos de não-crise do que nos períodos de crise, enquanto as capacidades de timing são, na maior parte dos casos, idênticas em diferentes estados do mercado. Em relação aos estilos de investimento, verifica-se uma maior predominância de ações com pequenas capitalizações nas carteiras, com maior incidência nos períodos de crise. Verifica-se, também, uma preferência dos gestores dos fundos que investem em Portugal e na Europa por ações de rendimento e uma preferência dos restantes gestores por ações de crescimento, sendo estas tendências mais vincadas em alturas de crise.

The spacing and timing of [a chic] critique

This rejoinder reflects an important step, for me, in a preoccupation with methodology that has provided me with many hours of enjoyable reading, not to mention anxiety. For me the ‘reality’ of the incommensurable nature of paradigms and acceptance of the legitimacy of a range of conceptual and philosophical traditions came late. As a constructionist I find myself on the ‘anything goes’ end of methodology choice. This paper and my main paper ought not to be read as a critique of ‘middle range’ theory, but as a critique of an important and necessary aspect of the way we all seek to inscribe facts and structure our writing. What follows is a reflection of the influence Bruno Latour’s writings have had on my ways of seeing and perhaps an unhealthy emphasis on the small things that combine to produce convincing arguments and ‘facts’.

Actively modelocked dual-wavelength fibre laser with ultra-low inter-pulse-stream timing jitter

We demonstrate a novel dual-wavelength erbium-fiber laser that uses a single nonlinear-optical loop mirror modulator to simultaneously modelock two cavities with chirped fiber Bragg gratings as end mirrors. We show that this configuration produces synchronized soliton pulse trains with an ultra-low RMS inter-pulse-stream timing jitter of 620 fs enabling application to multiwavelength systems at data rates in excess of 130 Gb/s.