Monteiro, Regina C. C., Andreia A. S. Lopes, Maria M. A. Lima, Joao P. Veiga, Rui JC Silva, Carlos J. Dias, Erika J. R. Davim, and Maria H. V. Fernandes. "
Sintering, Crystallization, and Dielectric Behavior of Barium Zinc Borosilicate GlassesuEffect of Barium Oxide Substitution for Zinc Oxide."
Journal of the American Ceramic Society. 95.10 (2012): 3144-3150.
Abstractn/a
Dias, Ricardo J., Vasco Pessanha, and João M. Lourenço. "
Precise Detection of Atomicity Violations."
Haifa Verification Conference. Lecture Notes in Computer Science. Haifa, Israel: Springer Berlin / Heidelberg, 2012.
AbstractConcurrent programs that are free of unsynchronized ac- cesses to shared data may still exhibit unpredictable concurrency errors called atomicity violations, which include both high-level dataraces and stale-value errors. Atomicity violations occur when programmers make wrong assumptions about the atomicity scope of a code block, incorrectly splitting it in two or more atomic blocks and allow them to be interleaved with other atomic blocks. In this paper we propose a novel static analysis algorithm that works on a dependency graph of program variables and detects both high-level dataraces and stale-value errors. The algorithm was implemented for a Java Bytecode analyzer and its effectiveness was evaluated with some well known faulty programs. The results obtained show that our algorithm performs better than previous approaches, achieving higher precision for small and medium sized programs, making it a good basis for a practical tool.
Delgado-Gomes, Vasco, Jose A. Oliveira-Lima, Joao F. Martins, Celson Lima, and Pedro Pereira. "
Towards to a Web Service alert software system for standard electrical protective devices."
Intelligent Engineering Systems (INES), 2012 IEEE 16th International Conference on. Lisbon, Portugal 2012. 197-201.
AbstractElectrical Protective Devices are key elements in the electrical network. Their purpose is to perform fault detection in electric power systems, by analysing power system voltages and currents. In order to achieve a more centralized control, protective devices can be connected using Web Services through a Service-Oriented Architecture (SOA) approach. This work targets planning and specification of a mapping between Abstract Communication Service Interface (ACSI) Reporting and Device Profile for Web Services (DPWS) Eventing to achieve a better protective electrical devices control, obtaining an event based alert software system, replacing conventional polling-based systems.
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.
Chastre, Carlos, Válter Lúcio, Arnold Van Acker, Barry Crisp, Daniela Gutstein, Filipe Saraiva, Íria Doniak, Jason Krohn, José Barros Viegas, Marcelo Ferreira, Marco Menegotto, Mounir el Debs, Simon Hughes, Spyros Tsoukantas, and Stefano Pampanin Estruturas Pré-Moldadas no Mundo. Aplicações e Comportamento Estrutural. Brasil: Fundação da Faculdade de Ciência e Tecnologias da Universidade NOVA de Lisboa, 2012.
AbstractA indústria do betão pré fabricado é, por tradição, inovadora, precursora de novas tecnologias e de novos materiais.O processo produtivo de estruturas com elementos pré-fabricados difere significativamente do das estruturas betonadas em obra pelo facto de uma parte, ou a totalidade, dos elementos da estrutura serem produzidos em fábrica, em condições de produção melhoradas em relação às condições da obra, e serem posteriormente transportados para a obra, onde são, finalmente ligados entre si. A produção em fábrica é efectuada em ambiente protegido do Sol e da chuva, com operários fixos e com formação profissional para desenvolverem tarefas com procedimentos normalizados. Consequentemente, os elementos executados em fábrica possuem melhor qualidade, sob vários aspectos, do que as estruturas executadas em obra.Este livro divide-se em duas grandes áreas, numa primeira abordam-se algumas aplicações de estruturas pré-moldadas no mundo e numa segunda parte descreve-se o seu comportamento estrutural face a diferentes acções. Nos primeiros capítulos relata-se a experiência da pré-fabricação em três países de diferentes continentes: o Brasil, Portugal e a Austrália e revelam-se novas oportunidades que poderão surgir para a indústria da pré-fabricação. Nos capítulos seguintes dá-se um especial enfoque à investigação do comportamento das ligações (rígidas e semi-rígidas). Aborda-se o projecto de estruturas de betão pré-fabricado às acções acidentais. E por fim, dedicam-se os últimos capítulos ao comportamento das estruturas pré-fabricadas face às acções sísmicas. Nesta área, o bom desempenho das estruturas e grande parte do conhecimento e da tecnologia actual advém da resposta dada pelos engenheiros, investigadores e construtores aos fenómenos naturais que afectam as nossas construções, como comprova o desempenho das ligações dúcteis resistentes a momentos em edifícios pré fabricados de betão no verdadeiro teste sísmico que foram os sismos de Christchurch de 2010 e 2011.