Makespan computation for GPU threads running on a single streaming multiprocessor

Graphics processors were originally developed for rendering graphics but have recently evolved towards being an architecture for general-purpose computations. They are also expected to become important parts of embedded systems hardware -- not just for graphics. However, this necessitates the development of appropriate timing analysis techniques which would be required because techniques developed for CPU scheduling are not applicable. The reason is that we are not interested in how long it takes for any given GPU thread to complete, but rather how long it takes for all of them to complete. We therefore develop a simple method for finding an upper bound on the makespan of a group of GPU threads executing the same program and competing for the resources of a single streaming multiprocessor (whose architecture is based on NVIDIA Fermi, with some simplifying assunptions). We then build upon this method to formulate the derivation of the exact worst-case makespan (and corresponding schedule) as an optimization problem. Addressing the issue of tractability, we also present a technique for efficiently computing a safe estimate of the worstcase makespan with minimal pessimism, which may be used when finding an exact value would take too long.

Dinâmicas recentes da relação das famílias com a escola em contextos urbanos material e simbolicamente depreciados: relato de uma aproximação, no terreno, ao ponto de vista dos professores

O presente artigo apresenta e discute alguns resultados de uma investigação sociológica em curso acerca das transformações sociais resultantes das intervenções urbanísticas e habitacionais promovidas pelo Estado no centro do Porto ao longo do último meio século. A investigação em causa é bastante abrangente – quer do ponto de vista do horizonte temporal que abarca, quer do ponto de vista temático –, pelo que neste artigo as atenções estarão centradas na enunciação, a partir da reconstituição empírica e analítica dos pontos de vista de educadores e professores de um agrupamento vertical de escolas, de algumas das dinâmicas recentes da relação das famílias com a instituição escolar em contextos sociais caracterizados por níveis elevados de privação económica e cultural e por processos vincados de segregação física e simbólica.

Apanha-me se puderes! tradução comentada do capítulo “White-collar and Corporate Crime”, The Oxford Handbook of Criminology

Dissertação de Mestrado Apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação da Mestre Suzana Noronha Cunha

An example-based generator of XSLT programs

XSLT is a powerful and widely used language for transforming XML documents. However, its power and complexity can be overwhelming for novice or infrequent users, many of whom simply give up on using this language. On the other hand, many XSLT programs of practical use are simple enough to be automatically inferred from examples of source and target documents. An inferred XSLT program is seldom adequate for production usage but can be used as a skeleton of the final program, or at least as scaffolding in the process of coding it. It should be noted that the authors do not claim that XSLT programs, in general, can be inferred from examples. The aim of Vishnu—the XSLT generator engine described in this chapter—is to produce XSLT programs for processing documents similar to the given examples and with enough readability to be easily understood by a programmer not familiar with the language. The architecture of Vishnu is composed by a graphical editor and a programming engine. In this chapter, the authors focus on the editor as a GWT Web application where the programmer loads and edits document examples and pairs their content using graphical primitives. The programming engine receives the data collected by the editor and produces an XSLT program.

Replication vs erasure coding in data centric storage for wireless sensor networks

In-network storage of data in wireless sensor networks contributes to reduce the communications inside the network and to favor data aggregation. In this paper, we consider the use of n out of m codes and data dispersal in combination to in-network storage. In particular, we provide an abstract model of in-network storage to show how n out of m codes can be used, and we discuss how this can be achieved in five cases of study. We also define a model aimed at evaluating the probability of correct data encoding and decoding, we exploit this model and simulations to show how, in the cases of study, the parameters of the n out of m codes and the network should be configured in order to achieve correct data coding and decoding with high probability.

Performance Model for MRC Receivers with Adaptive Modulation and Coding in Rayleigh Fading Correlated Channels with Imperfect CSIT

RTUWO Advances in Wireless and Optical Communications 2015 (RTUWO 2015). 5-6 Nov Riga, Latvia.

Role of the DHH1 Gene in the Regulation of Monocarboxylic Acids Transporters Expression in Saccharomyces cerevisiae

Previous experiments revealed that DHH1, a RNA helicase involved in the regulation of mRNA stability and translation, complemented the phenotype of a Saccharomyces cerevisiae mutant affected in the expression of genes coding for monocarboxylic-acids transporters, JEN1 and ADY2 (Paiva S, Althoff S, Casal M, Leao C. FEMS Microbiol Lett, 1999, 170∶301–306). In wild type cells, JEN1 expression had been shown to be undetectable in the presence of glucose or formic acid, and induced in the presence of lactate. In this work, we show that JEN1 mRNA accumulates in a dhh1 mutant, when formic acid was used as sole carbon source. Dhh1 interacts with the decapping activator Dcp1 and with the deadenylase complex. This led to the hypothesis that JEN1 expression is post-transcriptionally regulated by Dhh1 in formic acid. Analyses of JEN1 mRNAs decay in wild-type and dhh1 mutant strains confirmed this hypothesis. In these conditions, the stabilized JEN1 mRNA was associated to polysomes but no Jen1 protein could be detected, either by measurable lactate carrier activity, Jen1-GFP fluorescence detection or western blots. These results revealed the complexity of the expression regulation of JEN1 in S. cerevisiae and evidenced the importance of DHH1 in this process. Additionally, microarray analyses of dhh1 mutant indicated that Dhh1 plays a large role in metabolic adaptation, suggesting that carbon source changes triggers a complex interplay between transcriptional and post-transcriptional effects.