Martins, R., V. Figueiredo, R. Barros, P. Barquinha, G. Gonçalves, L. Pereira, I. Ferreira, and E. Fortunato. "
{P-type oxide-based thin film transistors produced at low temperatures}." Eds. Ferechteh H. Teherani, David C. Look, and David J. Rogers. Vol. 8263. 2012. 826315–15.
Abstractn/a
Moniz, António Brandão Avaliação participativa de tecnologia e sustentabilidade organizacional [Participative technology assessment and organisational sustainability]. Universidade Nova de Lisboa, IET-Research on Enterprise and Work Innovation, Faculty of Science and Technology, 2012.
AbstractTechnology Assessment (TA) considers the knowledge on (possible ou probable) technological effects in the processes of decision making and exploring potencial technological risks with secondary effects. Besides that, it is a scientific process with the aim of contributing the public and political opinion formation relative to social aspects of science and technology. That formation is done in an interactive and communicational mode. It overtakes the legitimacy and technology conflicts problems. TA is dealing with a political process either it is related with a parliamentary level decision on the introduction or limitation of new technologies, or at the level of participative processes of entities interested in the labour sphere. In this study, it is concluded that the TA processes at the level of organization of work can aim to fulfill higher levels of productivity and performance of installed equipment, or even to increase the quality of the product or the production process. That does not mean necessarily increases in income of workers and employees. That is why the participation of these actors is also so fundamental to this process.
Vale, Tiago M., Ricardo J. Dias, and João M. Lourenço. "
Uma Infraestrutura para Suporte de Memória Transacional Distribuída."
INForum 2012: Proceedings of INForum Simpósio de Informática. Monte de Capraica, PT: Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
AbstractAs técnicas e algoritmos desenvolvidos sobre diferentes infraestruturas específicas dificilmente podem ser comparados entre si. Este princípio também se aplica às infraestruturas para execução de Memória Transacional Distribuída (MTD), pois não só são muito escassas aquelas que permitem o desenvolvimento, teste e comparação de vários algoritmos e técnicas de implementação, como fornecem uma interface intrusiva para o programador. Sem uma comparação justa, não é possível aferir quais as técnicas e algoritmos mais apropriados em cada contexto de utilização (workload). Neste artigo propomos uma infraestrutura generalista, muito flexível, que possibilita a experimentação de várias estratégias de MTD, permitindo o desenvolvimento de uma grande variedade de algoritmos e de técnicas de implementação eficientes e otimizadas. Através da sua utilização, é agora possível a comparação de técnicas e algoritmos em diferentes contextos de utilização (workloads), recorrendo a uma única infraestrutura e com implicações mínimas no código da aplicação.
Sousa, Diogo G., João M. and Lourenço, Eitan Farchi, and Itai Segall. "
Aplicação do Fecho de Programas na Deteção de Anomalias de Concorrência."
INForum 2012: Proceedings of INForum Simpósio de Informática. Monte de Caparica, PT: Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
AbstractUma das estratégias para tirar partido dos múltiplos processadores disponíveis nos computadores atuais passa por adaptar código legado, inicialmente concebido para ser executado num contexto meramente sequencial, para ser agora executado num contexto multithreading. Nesse processo de adaptação é necessário proteger apropriadamente os dados que são agora partilhados e acedidos por diferentes threads concorrentes. A proteção dos dados com locks usando uma granulosidade grossa inibe a concorrência e opõe-se ao objetivo inicial de explorar o paralelismo suportado por múltiplos processadores. Por outro lado, a utilização de uma granulosidade fina pode levar à ocorrência de anomalias próprias da concorrência, como deadlocks e violações de atomicidade (high-level data races). Este artigo discute o conceito de fecho de um programa e uma metodologia que, quando aplicados em conjunto, permitem adaptar código legado para o tornar thread-safe, garantindo a ausência de violações de atomicidade na versão corrente do software e antecipando algumas violações de atomicidade que poderão ocorrer em versões futuras do mesmo software.
BAIÃO, Manuel F. C., Válter J. G. Lúcio, Fernando F. S. Pinho, and Leça A. Coelho. "
Aspetos da reabilitação de edifícios antigos de alvenaria."
CIRea2012 – Conferência Internacional sobre Reabilitação de Estruturas Antigas de Alvenaria. Págs. 47-62. ISBN 978-989-20-3080-7. Reitoria UNL, Lisboa 2012.
Goulão, Miguel, Nelson Fonte, Michel Wermelinger, and Fernando Brito Abreu. "
Software Evolution Prediction Using Seasonal Time Analysis: a Comparative Study."
16th European Conference on Software Maintenance and Reengineering (CSMR 2012). Szeged, Hungary: IEEE Computer Society, 2012.
AbstractPrediction models of software change requests are useful for supporting rational and timely resource
allocation to the evolution process. In this paper we use a time series forecasting model to predict software
maintenance and evolution requests in an open source software project (Eclipse), as an example of projects with seasonal release cycles. We build an ARIMA model based on data collected from Eclipse’s change request tracking system since the project’s start. A change request may refer to defects found in the software, but also to suggested improvements in the system under scrutiny. Our model includes the identification of seasonal patterns and tendencies, and is validated through the forecast of the change requests evolution for the next 12 months. The usage of seasonal information significantly improves the estimation ability of this model, when compared to other ARIMA models found in the literature, and does so for a much longer estimation period. Being able to accurately forecast the change requests’ evolution over a fairly long time period is an important ability for enabling adequate process control in maintenance activities, and facilitates
effort estimation and timely resources allocation. The approach presented in this paper is suitable for projects with a relatively long history, as the model building process relies on historic data.
Barišić, Ankica, Vasco Amaral, and Miguel Goulão. "
Usability Evaluation of Domain-Specific Languages."
Simpósio de Estudantes de Doutoramento em Engenharia de Software (SEDES 2012), hosted by QUATIC 2012. Lisbon, Portugal: IEEE CPS, 2012.
AbstractDomain-Specific Languages (DSLs) are claimed to bring important productivity improvements to developers,
when compared to General-Purpose Languages (GPLs). The increased Usability is regarded as one of the key benefits of DSLs when compared to GPLs, and has an important impact on the achieved productivity of the DSL users. So, it is essential to build in good usability while developing the DSL. The purpose of this proposal is to contribute to the systematic activity of Software Language Engineering by focusing on the
issue of the Usability evaluation of DSLs. Usability evaluation is often skipped, relaxed, or at least omitted from papers reporting development of DSLs. We argue that a systematic approach based on User Interface experimental validation techniques should be used to assess the impact of new DSLs. For that purpose, we propose to merge common Usability evaluation processes with the DSL development process. In order to provide reliable metrics and tools we should reuse and identify good practices that exist in Human-Computer
Interaction community.