Export 9213 results:
Sort by: Author Title Type [ Year  (Desc)]
2011
Gomes, Ana Sofia, and José Júlio Alferes. "Transaction Logic with External Actions." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 272-277. Abstractlpnmr11b.pdf

n/a

Valtchev, {Stanimir Stoyanov}, and DEE Group Author. "An UHF Wireless Power Harvesting System - Analysis and Design." PES 2011: Proceedings of extended abstracts. 2011. 141-142. Abstract

This paper presents a system to harvest electromagnetic energy from the environment. The proposed solution differs from others already existent in the literature because it makes possible to harvest energy from a large frequency spectrum. Typically the existing energy harvesting systems only gather energy from one specific source, thus not taking advantage of the several RF sources existing in one place. The full system and its componentsare simulated and implemented, and the results obtained are shown. The system harvest energy from UHF sources, and converts the harvested energy to a DC voltage, in order to feed electronic devices. This conversion is made through the utilization of a voltage multiplier, followed by a voltage regulator.

Baptista, Adérito, Cecília M. Gomes, and Hervé Paulino. "Reconfiguração Dinâmica de Modelos de Interação para Redes de Sensores." Atas do INFORUM 2011 - Terceiro Simpósio de Informática. Eds. Raul Barbosa, and Luís Caires. Universidade de Coimbra, 2011. 705-716. Abstract
n/a
P. Espada, M. Goulão, and J. Araújo. "Measuring complexity and completeness of KAOS goal models." Proceedings of the International Workshop on Empirical Requirements Engineering (EmpiRE 2011), at the 19th International Requirements Engineering Conference (RE 2011). IEEE Computer Society, 2011. 29-32. Abstract

n/a

Paulino, Hervé, and João Ruivo Santos. "A Middleware Framework for the Web Integration of Sensor Networks." Sensor Systems and Software - Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers. Eds. Gerard Parr, and Philip Morrow. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engi. Springer-Verlag, 2011. 75-90. Abstract
n/a
M. Goulão, A. Moreira, J. Araújo, and J. Santos. "Streamlining scenario modeling with Model-Driven Development: A case study." Proceedings of the Model-Driven Requirements Engineering Workshop (MoDRE 2011), at the 19th International Requirements Engineering Conference (RE 2011). IEEE Computer Society, 2011. 55-63. Abstract

n/a

P. Patricio, V. Amaral, J. Araújo, and R. Monteiro. "Towards a Unified Goal-Oriented Language." IEEE COMPSAC 2011 proceedings. IEEE Computer Society, 2011. Abstract

n/a

Dias, Ricardo, João Louren{\c c}o, and Nuno Pregui{\c c}a. "Efficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis." Proceedings of the 3nd USENIX conference on Hot topics in parallelism (HotPar’11). HotPar’11. Usenix Association, 2011. Abstract
Concurrent programs may suffer from concurrency anomalies that may lead to erroneous and unpredictable program behaviors. To ensure program correctness, these anomalies must be diagnosed and corrected. This paper addresses the detection of both low- and high-level anomalies in the Transactional Memory setting. We propose a static analysis procedure and a framework to address Transactional Memory anomalies. We start by dealing with the classic case of low-level dataraces, identifying concurrent accesses to shared memory cells that are not protected within the scope of a memory transaction. Then, we address the case of high-level dataraces, bringing the programmer’s attention to pairs of memory transactions that were misspecified and should have been combined into a single transaction. Our framework was applied to a set of programs, collected form different sources, containing well known low- and high-level anomalies. The framework demonstrated to be accurate, confirming the effectiveness of using static analysis techniques to precisely identify concurrency anomalies in Transactional Memory programs.
Caires, L., Jorge A. Perez, J. C. Seco, Hugo T. Vieira, and Lúcio Ferrão. "Type-based Access Control in Data-Centric Systems." Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011. Ed. Gilles Barthe. Lecture Notes in Computer Science. Springer-Verlag, 2011.
P. Varela, J. Araújo, I. Brito, and A. Moreira. "Aspect-Oriented Analysis for Software Product Lines Requirements Engineering." 26th Symposium On Applied Computing, ACM SAC 2011. ACM Press, 2011. 654-671. Abstract

n/a

Martins, R., Rybarczyk Y., and Fonseca J. "3D game for the rehabilitation of aphasic patients." 4th Annual Conference in Science and Art of Video Games. Porto, Portugal 2011. copy.pdf
Catarino, I., and C. Paine. "3He gas gap heat switch." Cryogenics. 51 (2011): 45-48. Abstract

n/a

Oliveira, Luís Picciochi, and João M. Lourenço. "Aceleração de Computações Científicas com Processadores Heterogéneos." InForum 2011: Proceedings of InForum Simpósio de Informática. Coimbra: Universidade do Coimbra, 2011. Abstractinforum-pitxyoki.pdf

Actualmente o mercado residencial de computadores inclui não só multiprocessadores com diversos núcleos (CPUs) como também placas gráficas (GPUs) cuja capacidade de processamento tem evoluído a um ritmo exponencial. Este poder computacional pode ser utilizado para outros fins para além do processamento gráfico, tal como o processamento de algoritmos comuns em computação científica. Neste artigo é apresentada, discutida e avaliada a framework Cheetah, uma framework que distribui programas computacionalmente exigentes sobre uma rede de CPUs e GPUs. Um programador que utilize a Cheetah apenas necessita de especificar o seu programa como um conjunto de kernels OpenCL, relegando para a framework a distribuição destes pelas unidades de processamento disponíveis. O programa pode assim escalar à medida que são adicionados novos recursos computacionais, sem quaisquer esforços adicionais de adaptação ou recompilação. Os testes realizados demonstraram a capacidade de a framework providenciar aceleracçõs até duas ordens de grandeza com um esforço de desenvolvimento reduzido, mesmo quando na presença de recursos computacionais limitados.

Freitas, F., V. D. Alves, and M. A. M. Reis. "Advances in bacterial exopolysaccharides: from production to biotechnological applications." Trends in Biotechnology . 29.8 (2011): 388-398.freitas_2011_trends_biotechnol_298_388-398.pdf
Azevedo, S. G., H. Carvalho, and V. Cruz-Machado. "Agile Index: Automotive Supply Chain." World Academy of Science, Engineering and Technology. 79 (2011): 784-790. AbstractWebsite

The supply chains (SCs) have to appeal to new management paradigms to improve their ability to respond rapidly and cost effectively to unpredictable changes in markets and increasing levels of environmental turbulence, both in terms of volume and variety. In this highly demanded context, the Agile paradigm provides the capabilities to SC quickly adapt to changes in the market requirements. The purpose of this paper is to suggest an Agile Index to assess the agility of the automotive companies and corresponding SCs.The proposed integrated assessment model incorporates Agile practices weighted according to their importance to the automotive SC competitiveness and obtained from the Delphi technique.

Estêvão M. S., Carvalho L. C. R., Ferreira Fernandes Marques L. E. M. M. "Analysis of the antioxidant activity of an indole library: cyclic voltammetry versus ROS scavenging activity." Tetrahedron Lett.. 52 (2011): 101-106.
Rybarczyk, Y., Rybarczyk P., Oliveira N., and Vernay D. "Application Internet pour l’évaluation stratégique et personnalisée des situations de handicap." Symposium sur l’Ingénierie de l’Information Médicale’11. Toulouse, France 2011.
Costa, J. C., M. D. Ortigueira, and AG Batista. "ARMA Modelling of Sleep Spindles." Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. Doceis, 2011.
Moreira, Felismina T. C., Rosa A. F. Dutra, João P. C. Noronha, and Goreti M. F. Sales. "Artificial antibodies for Troponin T by its imprinting on the surface of Multiwalled Carbon Nanotubes: its use as sensory surfaces." Biosensors and Bioelectronics. 28.1 (2011): 243-250.
Micaelo, Rui, Jaime Ribeiro, Maria Azevedo, and Nuno Azevedo. "Asphalt compaction study: micromechanical modelling of a simplified lab compaction procedure." Road Materials and Pavement Design. 12.3 (2011): 461-491.Website
Barros, M. T., and A. M. Faísca-Phillips. "Asymmetric Organocatalytic Reactions for the Synthesis of Heterocycles." Heterocyclic Targets in Advanced Organic Synthesis. Eds. M. C. Carreiras, and J. Marco-Contelles. Kerala, India: Research Signpost, 2011. 1-50.
Araújo, João, Vítor H. Fernandes, Manuel M. Jesus, Victor Maltcev, and James D. Mitchell. "Automorphisms of partial endomorphism semigroups." Publicationes Mathematicae Debrecen. 79.1-2 (2011): 23-39.
Araújo, João, Vítor H. Fernandes, Manuel M. Jesus, Victor Maltcev, and James D. Mitchell. "Automorphisms of partial endomorphism semigroups." Publ. Math.. 79 (2011): 23-39. Abstract

n/a

Lucas, V., and M. P. Amado Avaliação da Construção Sustentável. iiSBE. Lisboa, Portugal: iiSBE - UM, 2011.