Lecture Notes in Computer Science 7554
|
|
- Violet McKinney
- 8 years ago
- Views:
Transcription
1 Lecture Notes in Computer Science 7554 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbruecken, Germany
2 Francisco Heron de Carvalho Junior (Eds.) Programming Languages 16th Brazilian Symposium, SBLP 2012 Natal, Brazil, September 23-28, 2012 Proceedings 13
3 Volume Editors Francisco Heron de Carvalho Junior Universidade Federal do Ceará, Departamento de Computação Campus Universitário do Pici, Bloco 910, Fortaleza, Brazil Universidade do Minho, Departamento de Informática Campus de Gualtar, Braga, Portugal ISSN e-issn ISBN e-isbn DOI / Springer Heidelberg Dordrecht London New York Library of Congress Control Number: CR Subject Classification (1998): D.3.1-2, D.3.4, D.2.5-6, D.2.9, D.1.5, D.2.11 LNCS Sublibrary: SL 2 Programming and Software Engineering Springer-Verlag Berlin Heidelberg 2012 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (
4 Preface The Brazilian Symposium on Programming Languages (SBLP) is an annual conference that has been promoted by the Brazilian Computer Society (SBC) since In the last three years, it has been organized in the context of CBSOFT (Brazilian Conference on Software: Theory and Practice), co-located with a number of other events on computer science and software engineering. SBLP 2012 was its 16th edition held in Natal, Brazil. It was organized by the Department of Informatics and Applied Mathematics (DIMAP) of the Federal University of Rio Grande do Norte (UFRN), collocated with the 2012 editions of SBMF (Brazilian Symposium on Formal Methods), SBES (Brazilian Symposium on Software Engineering), and SBCARS (Brazilian Symposium on Software Components, Architecture and Reuse), under CBSOFT The previous editions of SBLP were held in São Paulo (2011), Salvador (2010), Gramado (2009), Fortaleza (2008), Natal (2007), Itatiaia (2006), Recife (2005), Niterói (2004), Ouro Preto (2003), Rio de Janeiro (2002), Curitiba (2001), Recife (2000), Porto Alegre (1999), Campinas (1997), and Belo Horizonte (1996). The Program Committee (PC) of SBLP 2012 was formed by 36 members, from 10 countries. The Committee was responsible for selecting 10 full papers and 2 short papers from a total of 27 submissions, with authors from Brazil, Czech Republic, France, Netherlands, Portugal, USA and Uruguay. Each paper was reviewed by at least five reviewers, including 21 reviewers outside the PC. The refereeing reports were discussed by the reviewers, generally leading to a consensus. The final selection was made by the Program Committee Co-chairs, based on the final evaluations but also taking into account the reviewers reports as well as all comments received during the discussion phase. As in previous editions, the authors of the 10 full papers were invited to submit extended versions of their works to be considered for publication in a special issue of a reputed journal in computer science. The technical program of SBLP 2012 also included keynote talks from Bernhard K. Aichernig (Graz University of Technology, Austria), entitled The Science of Killing Bugs in a Black Box, and Luis S. Barbosa (Universidade do Minho, Portugal), entitled Software Components as Invariant-Typed Arrows. Finally, we would like to thank all members of the PC for their efforts, the referees for their reviews and contribution to the final discussion, the invited speakers for accepting our invitation and enriching the technical program with interesting talks, and all the authors, the sponsors and the Organizing Committee of CBSOFT 2012 for contributing to the success of SBLP September 2012 Francisco Heron de Carvalho Junior
5 Organization SBLP 2012 was organized by the Department of Informatics and Applied Mathematics, Federal University of Rio Grande do Norte, and sponsored by the Brazilian Computer Society (SBC), in the context of CBSOFT 2012 (Third Brazilian Conference on Software: Theory and Practice). Organizing Committee Nélio Cacho Martin Musicante UFRN, Brazil UFRN, Brazil Steering Committee Christiano Braga UFF, Brazil Ricardo Massa Ferreira Lima André Luis de Medeiros Santos Francisco Carvalho Junior UFC, Brazil Program Committee Chairs Francisco Carvalho Junior UFC, Brazil Universidade do Minho, Portugal Program Committee Alberto Pardo Alex Garcia Alvaro Freitas Moreira André Rauber Du Bois Andre Santos Carlos Camarão Christiano Braga Fernando Castor Filho Fernando Quintão Pereira João Saraiva João F. Ferreira Jonathan Aldrich José Luiz Fiadeiro Lucilia Figueiredo Manuel António Martins Universidad de La Republica, Uruguay IME, Brazil UFRGS, Brazil UFPel, Brazil UFF, Brazil Universidade do Minho, Portugal Teesside University, UK Carnegie Mellon University, USA University of Leicester, UK UFOP, Brazil Universidade de Aveiro, Portugal
6 VIII Organization Marcelo A. Maia Marcello Bonsangue Marcelo d Amorim Marco Tulio Valente Mariza A. S. Bigonha Martin A. Musicante Noemi Rodriguez Paulo Borba Peter Mosses Qiu Zongyang Rafael Dueire Lins Renato Cerqueira Ricardo Massa RobertoS.Bigonha Roberto Ierusalimschy Sandro Rigo Sérgio Soares Simon Thompson Varmo Vene UFU, Brazil Leiden University/CWI, The Netherlands UFRN, Brazil PUC-Rio, Brazil Swansea University, UK Peking University, China PUC-Rio, Brazil UFMG,Brazil PUC-Rio, Brazil UNICAMP, Brazil University of Kent, UK University of Tartu, Estonian Additional Referees T. M. Gawlitza V. Vojdani M. Garcia J. Mendes J. Barbosa V. Rebello S. Gouw L. Santos A. Annamaa P. Martins N. Oliveira M. Viera H. Yang A. Sanchez G. Albuquerque-Junior C. Vieira H. Rebêlo J. Saraiva L. Sierra Sponsoring Institutions CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior Ministério da Educação, Brazilian Government Instituto Nacional de Ciência e Tecnologia para Engenharia de Software Microsoft Research NatalCard
7 Table of Contents Software Components as Invariant-Typed Arrows (Keynote Talk)... 1 The Science of Killing Bugs in a Black Box (Keynote Talk)... 6 Bernhard Klaus Aichernig Spill Code Placement for SIMD Machines Diogo Nunes Sampaio, Elie Gedeon, Fernando Magno Quintão Pereira, and Sylvain Collange Left Recursion in Parsing Expression Grammars Sérgio Medeiros, Fabio Mascarenhas, and Roberto Ierusalimschy Speed and Precision in Range Analysis Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, and Fernando Magno Quintão Pereira Parameter Based Constant Propagation Péricles Rafael Oliveira Alves, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira, and Eduardo Lage Figueiredo Adaptable Parsing Expression Grammars Leonardo Vieira dos Santos Reis, Roberto da Silva Bigonha, Vladimir Oliveira Di Iorio, and Luis Eduardo de Souza Amorim Optimizing a Geomodeling Domain Specific Language Bruno Morais Ferreira, Fernando Magno Quintão Pereira, Hermann Rodrigues, and Britaldo Silveira Soares-Filho A System for Runtime Type Introspection in C Maximilien de Bayser and Renato Cerqueira Model-Based Programming Environments for Spreadsheets Jácome Cunha, João Saraiva, and Joost Visser A Quantitative Assessment of Aspectual Feature Modules for Evolving Software Product Lines Felipe Nunes Gaia, Gabriel Coutinho Sousa Ferreira, Eduardo Figueiredo, and Marcelo de Almeida Maia Attribute Grammar Macros Marcos Viera and Doaitse Swierstra Author Index
Lecture Notes in Computer Science 5161
Lecture Notes in Computer Science 5161 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3422
Lecture Notes in Computer Science 3422 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 3161
Lecture Notes in Computer Science 3161 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7850
Lecture Notes in Computer Science 7850 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 7021
Lecture Notes in Computer Science 7021 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationLecture Notes in Computer Science 8703
Lecture Notes in Computer Science 8703 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationISE Satellite Student Regional Symposium - Environmental Electrochemistry Meeting (Semana de Eletroquímica Ambiental (in Portuguese))
ISE Satellite Student Regional Symposium - Environmental Electrochemistry Meeting (Semana de Eletroquímica Ambiental (in Portuguese)) Aim The proposal to hold the Environmental Electrochemistry Meeting
More informationBúzios, December 12, 2012. Jorge Zubelli Organizing Committee
We hereby certify that, Adriano De Cezaro, Fundação Universidade do Rio Grande, participated in the Mathematics & Finance: Research in Options, held at Hotel Atlântico, Búzios - RJ, from December 7 to
More informationCHANGING INTERNATIONAL INVESTMENT STRATEGIES: THE NEW FORMS OF FOREIGN INVESTMENT IN BRAZIL
9 Originally published by Ipea in January 1982 as number 45 of the series Texto para Discussão. CHANGING INTERNATIONAL INVESTMENT STRATEGIES: THE NEW FORMS OF FOREIGN INVESTMENT IN BRAZIL Eduardo A. Guimarães
More informationLecture Notes in Computer Science 7482
Lecture Notes in Computer Science 7482 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationBúzios, November 25, 2009. Jorge P. Zubelli Coordinator
We hereby certify that Alessandro Martim Marques, Banco Itaú S.a., participated in the Research in Options 2009, held at Hotel Atlântico Búzios, Búzios, RJ, from November 23 to 25, 2009. We hereby certify
More information11ª Reunião da Sociedade Portuguesa de Neurociências
11ª Reunião da Sociedade Portuguesa de Neurociências 4 6 de Junho, 2009 Local: Braga Comissão Organizadora: Nuno Sousa (Chair) Armando Almeida Patrícia Maciel Joana Palha José Miguel Pêgo João Sousa António
More informationAngra dos Reis, December 1, 2011. Jorge Zubelli Organizing Committee
We hereby certify that, Alan De Genaro Dario, Bm&Fbovespa, participated in the Mathematics & Finance: Research in Options, held at Hotel do Bosque, Angra dos Reis - RJ, from November 25 to December 1,
More informationOncology Meetings: Gastric Cancer State of Art March 27 and 28th, 2014
Oncology Meetings: Gastric Cancer State of Art March 27 and 28th, 2014 Meeting Venue: School of Life and Health Science, Minho University Braga, Portugal Campus de Gualtar Room A1 Limited places: 250 places
More informationFlorianópolis, March 21, 2014. Elizabeth Wegner Karas Organizing Committee
We hereby certify that, Ana Flora Pereira de Castro Humes, USP - Escola Politécnica, participated in the X Brazilian Workshop on Continuous Optimization. Celebrating Clovis Gonzaga's 70th birthday held
More informationFabiano Cutigi Ferrari (CV)
Fabiano Cutigi Ferrari (CV) Last update: 12/jan/2015 Professional Address: Departamento Computação Universidade Federal de São Carlos (UFSCar) Rodovia Washington Luis, Km 235 13565-905 - São Carlos, SP
More informationTHE EVOLUTION OF THE POPULATION- BASED CANCER REGISTRIES IN BRAZIL: A PERFORMANCE EVALUATION
2nd International Cancer Control Congress November 25 to 28, 07 THE EVOLUTION OF THE POPULATION- BASED CANCER REGISTRIES IN BRAZIL: A PERFORMANCE EVALUATION Cláudio Pompeiano Noronha; Gulnar Azevedo Mendonça;
More informationLecture Notes in Computer Science 3599
Lecture Notes in Computer Science 3599 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationOral and Cranial Implants
Oral and Cranial Implants Hugh Devlin Ichiro Nishimura Editors Oral and Cranial Implants Recent Research Developments Editors Hugh Devlin School of Dentistry University of Manchester Manchester United
More informationIX.br - Brasil Internet Exchange - Participants Diversity - 27th Euro-IX - 27 Oct 2015 - Berlin, Germany IX.br Engineering Team <eng@ix.
IX.br Engineering Team - 1 IX.br Brasil Internet Exchange Participants Diversity 27th Euro-IX 27 Oct 2015 - Berlin, Germany Eduardo Ascenço Reis Julimar Mendes
More informationLecture Notes in Computer Science 3654
Lecture Notes in Computer Science 3654 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationJosé M. F. Moura, Director of ICTI at Carnegie Mellon Carnegie Mellon Victor Barroso, Director of ICTI in Portugal www.cmu.
José M. F. Moura, Director of ICTI at Victor Barroso, Director of ICTI in Portugal www.cmu.edu/portugal Portugal program timeline 2005: Discussions and meeting with Ministry of Science Technology, Higher
More informationUNIVERSIDADE FEDERAL DE VIÇOSA Departamento de Engenharia Agrícola Tel.: (031) 3899 2734 - Fax: (031) 3899 2735 36571-000 - Viçosa-MG
UNIVERSIDADE FEDERAL DE VIÇOSA Departamento de Engenharia Agrícola Tel.: (031) 3899 2734 - Fax: (031) 3899 2735 36571-000 - Viçosa-MG VISIT OF PROFESSORS FROM UNIVERSITY OF KENTUCKY, IOWA STATE UNIVERSITY,
More informationJ I C S. ournal of ntegrated ircuits and ystems. Volume 8 Number 1 ISSN 1807-1953. March 2013. www.sbc.org.br/jics www.sbmicro.org.
J I C S ournal of ntegrated ircuits and ystems Volume 8 Number 1 ISSN 1807-1953 March 2013 A 65nm CMOS 60 GHz Class F-E Power Amplifier for WPAN Applications N. Deltimple, S. Dréan, E. Kerhervé, B. Martineau,
More informationManagement through the
Handbook of Research on Effective Project Management through the Integration of Knowledge and Innovation George Lealjamil Informagöes em Rede, Brazil Sergio Maravilhas Lopes CETAC.MEDIA - Porto and Aveiro
More informationUniversity of São Paulo School of Economics, Business Administration and Accounting at Ribeirão Preto
University of São Paulo School of Economics, Business Administration and Accounting at Ribeirão Preto The University of São Paulo Praça do Relógio - Clock Square Established in January 25th, 1934; Public
More informationLecture Notes in Computer Science 4814
Lecture Notes in Computer Science 4814 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationThe Banks and the Italian Economy
The Banks and the Italian Economy Damiano Bruno Silipo The Banks and the Italian Economy Physica Verlag A Springer Company Editor Professor Damiano Bruno Silipo Dipartimento di Economia e Statistica Università
More informationEnhancing Health and. Information Systems and Technologies for. Social Care. Reference. Polytechnic Institute of Leiria, Portugal
Information Systems and Technologies for Enhancing Health and Social Care Ricardo Martinho Polytechnic Institute of Leiria, Portugal Rui Rijo Polytechnic Institute of Leiria, Portugal Maria Manuela Cruz-Cunha
More informationBahia, October 22, 2011. Paulo Varandas Organizing Committee
We hereby certify that, Alien Herrera Torres, Universidade Federal Fluminense, participated in the Workshop on Dynamical Systems, held at Bahia, Salvador, from October 16 to 22, 2011. We hereby certify
More informationJarbas Nunes Vidal Filho Curriculum Vitae
Jarbas Nunes Vidal Filho Curriculum Vitae June/2014 Jarbas Nunes Vidal Filho Curriculum Vitae Personal data Name Gender Birth Jarbas Nunes Vidal Filho Masculine 31/07/1986 - Limoeiro Do Norte - Ceará -
More informationSpringerBriefs in Criminology
SpringerBriefs in Criminology More information about this series at http://www.springer.com/series/10159 Wesley G. Jennings Rolf Loeber Dustin A. Pardini Alex R. Piquero David P. Farrington Offending
More information8:50 Opening statement - Dr. Felipe José Fernández Coimbra (Head of the Department of Abdominal Surgery, Hospital A. C.
IV SYMPOSIUM OF THE GASTROINTESTINAL ONCOLOGY CONTINUING MEDICAL EDUCATION PROGRAM - DEPARTMENT OF ABDOMINAL SURGERY, SURGICAL ONCOLOGY, A. C. CAMARGO CANCER HOSPITAL ESOPHAGOGASTRIC CANCER AND GIST SCIENTIFIC
More information- Instituto Brasileiro de Política e Direito da Informática - IBDI
Contact information 1. Organization's Name: - Instituto Brasileiro de Política e Direito da Informática - IBDI (Brazilian Institute of Policy and Cyberlaw, or Brazilian Institute of IT Law and Legal Policy)
More informationValue of IEEE s Online Collections
Value of IEEE s Online Collections Judy H. Brady, IEEE Aveiro, Portugal February 2013 About the IEEE A not-for-profit society World s largest technical membership association with over 400,000 members
More informationSBSC 2012 2012 Brazilian Symposium on Collaborative Systems
SBSC 2012 2012 Brazilian Symposium on Collaborative Systems São Paulo, Brazil 15-18 October 2012 Conference Information Papers by Session Papers by Author Getting Started Search Trademarks Edited by Hugo
More informationLUIZ E. BRANDAO, Ph.d.
Curriculum Vitae April 2004 LUIZ E. BRANDAO, Ph.d. Business Address: McCombs School of Business University of Texas at Austin 1 University Station G6500, CBA 6495 Austin, TX 78752-1175 (512) 232-5902 luiz.brandao@mccombs.utexas.edu
More informationPortuguese Research Institutions in History
José Luís Cardoso Technical University of Lisbon jcardoso@iseg.utt.pt Luís Adão da Fonseca University of Porto lfonseca@letras.up.pt The growth in historical research in Portugal over the last two decades
More informationSpringer Proceedings in Mathematics & Statistics
Springer Proceedings in Mathematics & Statistics Volume 135 More information about this series at http://www.springer.com/series/10533 Springer Proceedings in Mathematics & Statistics This book series
More informationInternational Series on Consumer Science
International Series on Consumer Science For further volumes: http://www.springer.com/series/8358 Tsan-Ming Choi Editor Fashion Branding and Consumer Behaviors Scientific Models 1 3 Editor Tsan-Ming Choi
More informationBioactive Essential Oils and Cancer
Bioactive Essential Oils and Cancer Damião Pergentino de Sousa Editor Bioactive Essential Oils and Cancer 1 3 Editor Damião Pergentino de Sousa Federal University of Paraiba João Pessoa, Paraíba Brazil
More informationMANAGEMENT FUNDAMENTALS
The effective strategic planning and proven execution capability, associated with innovationand value creation-oriented management, are the principles that guide Ultrapar in its growth trajectory. The
More informationComputer Science Department Federal University of Minas Gerais
Computer Science Department Federal University of Minas Gerais Center of Excelence in Information Tecnology Outline Overview UFMG The Computer Science Department Research and Graduate Studies in Computer
More informationEuropass Curriculum Vitae
Europass Curriculum Vitae Personal information First name(s) / Surname(s) Nuno Ernesto Salgado Oliveira Address(es) Rua Tapada da Fonte, 1018, 4760-024, Antas, Vila Nova de Famalicão, Portugal Telephone(s)
More informationLecture Notes in Computer Science 3706
Lecture Notes in Computer Science 3706 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationBúzios, December 5, 2013. Jorge Zubelli Organizing Committee
We hereby certify that, Alberto Moraes Marques, Petróleo Brasileiro S/a, participated in the Mathematics & Finance: Research in Options, held at Pérola Búzios Hotel, Búzios - RJ, from November 30 to December
More informationOPERATOR ALGEBRAS AND QUANTUM PHYSICS A Satellite Conference to the XVIII International Congress on Mathematical Physics.
We hereby certify that Alan Garbarz, from CONICET / IFLP, Universidad de Buenos Aires, Argentina, participated in the Satellite Conference Operator Algebras and Quantum Physics, held at the We hereby certify
More informationChair: Reinaldo Castro Souza, PUC-Rio - Brazil
Chair: Reinaldo Castro Souza, PUC-Rio - Brazil The 4 th IIF workshop on Risk, Volatility and Forecasting in Energy and Financial Markets took place at PUC-Rio (Catholic University of Rio de Janeiro, Brazil)
More informationDesign of Flexible Production Systems
Design of Flexible Production Systems Tullio Tolio (Ed.) Design of Flexible Production Systems Methodologies and Tools 13 Professor Tullio Tolio Politecnico di Milano Dipartimento di Meccanica Via La Masa
More informationSpatial Inequalities
Spatial Inequalities GeoJournal Library Volume 110 Managing Editor: Daniel Z. Sui, Columbus, Ohio, USA Founding Series Editor: Wolf Tietze, Helmstedt, Germany Editorial Board: Paul Claval, France Yehuda
More informationAdvanced Topics in Information Security MAP-I Curricular Unit 2009/2010
Advanced Topics in Information Security MAP-I Curricular Unit 2009/2010 Summary This document describes a Ph.D. level course, corresponding to a Curriculum Unit credited with 5 ECTS. It is offered jointly
More informationBanco Bradesco S.A. Calendar of Corporate Events 2012
Information on the Company Banco Bradesco S.A. Calendar of Corporate s 2012 Company Name Banco Bradesco S.A. Corporate Head Office Address Cidade de Deus, Vila Yara, Osasco, SP Internet Address www.bradesco.com.br
More informationNatal RN 23 a 25 de Maio de 2007 ANAIS 2007. Departamento de Informática e Matemática Aplicada Universidade Federal do Rio Grande do Norte
XI SIMPÓSIO BRASILEIRO DE LINGUAGENS DE PROGRAMAÇÃO Natal RN 23 a 25 de Maio de 2007 ANAIS 2007 Promoção Comissão Especial de Linguagens de Programação SBC - Sociedade Brasileira de Computação Organização
More informationLaw and New Development Strategies: Brazil and Beyond
presents: Law and New Development Strategies: Brazil and Beyond Sponsors: São Paulo Law School of Fundação Getulio Vargas (Direito GV) University of São Paulo (USP), Faculty of Law Institute for Global
More informationDEVELOPMENT AND IMPLEMENTATION OF AN AUTOMATED SYSTEM TO EXCHANGE ATTENUATORS OF THE OB85/1 GAMMA IRRADIATOR
2011 International Nuclear Atlantic Conference - INAC 2011 Belo Horizonte,MG, Brazil, October 24-28, 2011 ASSOCIAÇÃO BRASILEIRA DE ENERGIA NUCLEAR - ABEN ISBN: 978-85-99141-04-5 DEVELOPMENT AND IMPLEMENTATION
More informationAnd so Scientia Agricola has gone international...
And so Scientia Agricola has gone international... 1st Brazil-China Bilateral Meeting on STM Publishing São Paulo, 05/23/14 Luís Reynaldo Ferracciú Alleoni Editor-in-Chief Universidade de São Paulo University
More informationApplying Comparative Effectiveness Data to Medical Decision Making
Applying Comparative Effectiveness Data to Medical Decision Making Carl V. Asche Editor Applying Comparative Effectiveness Data to Medical Decision Making A Practical Guide Adis Editor Carl V. Asche Research
More informationRail Brazil Tech Business Summit Location: Expo Center Norte November 5-7 2013 São Paulo
Rail Brazil Tech Business Summit Location: Expo Center Norte November 5-7 2013 São Paulo Building a New Platform for Brazilian Rail Sector: Political Strategies, Technologies and Cost Reduction Solutions
More informationJava and the Java Virtual Machine
Java and the Java Virtual Machine Springer Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Robert F. SHirk Joachim Schmid Egon Borger Java and the Java Virtual Machine
More informationVolume 10 Number 1 April 2015
Volume 10 Number 1 April 2015 ISSN 1807-1953 Oxygen Plasma Surface Treatment onto ITO Surface for OLEDs Based on Europium Complex G. Santos, M. R. Cavallari, F. J. Fonseca, and L. Pereira MWCNT Devices
More informationAutomated Firewall Analytics
Automated Firewall Analytics Ehab Al-Shaer Automated Firewall Analytics Design, Configuration and Optimization 123 Ehab Al-Shaer University of North Carolina Charlotte Charlotte, NC, USA ISBN 978-3-319-10370-9
More informationMINUTES OF THE BOARD OF DIRECTORS MEETING HELD ON MAY 12, 2011
Publicly Held Company MINUTES OF THE BOARD OF DIRECTORS MEETING HELD ON MAY 12, 2011 1. Date, Time and Venue: May 12, 2011, at 10:00 A.M., at the Company s headquarters, located in the city and state of
More informationIdeas Economy: Brazil The next level of competition October 4 th 2012, São Paulo
Synopsis Ideas Economy: Brazil The next level of competition October 4 th 2012, São Paulo The Economist s Ideas Economy: Brazil event will explore the most important issues affecting the social and economic
More informationLibrary and Information Sciences
Library and Information Sciences Chuanfu Chen Ronald Larsen Editors Library and Information Sciences Trends and Research Editors Chuanfu Chen School of Information Management Wuhan University Wuhan China
More informationLecture Notes in Mathematics 2033
Lecture Notes in Mathematics 2033 Editors: J.-M. Morel, Cachan B. Teissier, Paris Subseries: École d Été de Probabilités de Saint-Flour For further volumes: http://www.springer.com/series/304 Saint-Flour
More informationSarah M. Loos. Education. Research Interests. Fellowships. Honors/Awards
Computer Science Department, CMU 5000 Forbes Avenue Pittsburgh, Pennsylvania 15213 Phone: +1 812.606.7760 Email: sloos@cs.cmu.edu Website: www.cs.cmu.edu/~sloos Education Ph.D. Carnegie Mellon University,
More information3 rd National Conference on Science and Technology
República de Angola Ministério da Ciência e Tecnologia 3 rd National Conference on Science and Technology Conference theme: Science, Technology and Innovation at the service of society 2 nd call Luanda,
More informationDistributed Honeypots Project: How It s Being Useful for CERT.br
Distributed Honeypots Project: How It s Being Useful for CERT.br Cristine Hoepers cristine@cert.br Klaus Steding-Jessen jessen@cert.br Computer Emergency Response Team Brazil - CERT.br http://www.cert.br/
More information1991-1994 Bachelor in Computer Science. Federal University of Goiás, UFG, Brasil. Year of degree: 1994.
Sand Luz Corrêa Curriculum Vitae Personal data Name Sand Luz Corrêa. Name in bibliography citations Correa, Sand; CORREA, SAND. Birth information Professional address Digital information Dec-16-1972 Anápolis,
More informationA Transformative Year. NOVA Program Community College Consortium Northern Virginia Community College
A Transformative Year NOVA Program Community College Consortium Northern Virginia Community College It was my pleasure to host President Jorge Guimarães of CAPES to our campus in February 2012. NOVA s
More informationUnderstanding Competitive Advantage
Understanding Competitive Advantage Fredrik Nilsson Birger Rapp Understanding Competitive Advantage The Importance of Strategic Congruence and Integrated Control With 44 Figures 4y Springer Professor Dr.
More informationLecture Notes in Computer Science 3747
Lecture Notes in Computer Science 3747 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationPreliminary Agenda for Standard s 2008 Brazil Investor Trip
Preliminary Agenda for Standard s 2008 Brazil Investor Trip Monday, April 14 - Rio de Janeiro 1:00-3:00PM MPX Lunch at restaurant TBD Energy Eduardo Karrer, CFO and IR Andréa Pereira, IR Xisto Viera, Director
More informationSONAE PREPARING FUTURE GROWTH
SONAE PREPARING FUTURE GROWTH 1. CORPORATE STRATEGIC GUIDELINES 2. NEW PORTFOLIO ORGANISATION 3. NEW MANAGEMENT ORGANISATION 1. CORPORATE STRATEGIC GUIDELINES 2. NEW PORTFOLIO ORGANISATION 3. NEW MANAGEMENT
More information3:00 p.m.: B1. Spain vs. B2 Netherlands at Arena Fonte Nova, Salvador
Thursday, June 12 4:00 p.m.: A1. Brazil vs. A2. Croatia at Arena Corinthians, São Paulo Friday, June 13 12:00 p.m.: A3. Mexico vs. A4. Cameroon at Estadio das Dunas, Natal 3:00 p.m.: B1. Spain vs. B2 Netherlands
More informationSoftware Process Automation
Software Process Automation Alan M. Christie Software Process Automation The Technology and Its Adoption With 48 Figures and 19Tables Springer Alan M. Christie Software Engineering Institute Carnegie Mellon
More informationUNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C. 20549 FORM 6-K/A
6-K/A 1 bbd20110812_6ka.htm CALENDAR OF CORPORATE EVENTS - 2011 UNITED STATES SECURITIES AND EXCHANGE COMMISSION Washington, D.C. 20549 FORM 6-K/A REPORT OF FOREIGN PRIVATE ISSUER PURSUANT TO RULE 13a-16
More informationNET SERVIÇOS DE COMUNICAÇÃO S.A. CORPORATE TAX ID (CNPJ) # 00.108.786/0001-65 NIRE # 35.300.177.240 PUBLICLY TRADED COMPANY
NET SERVIÇOS DE COMUNICAÇÃO S.A. CORPORATE TAX ID (CNPJ) # 00.108.786/0001-65 NIRE # 35.300.177.240 PUBLICLY TRADED COMPANY MINUTES OF THE ANNUAL GENERAL MEETING HELD ON APRIL 19, 2004 VENUE, TIME AND
More informationTicket Categories available for 2014 FIFA World Cup
1. Which Ticket Categories are offered by FIFA? There will be four price categories offered for the 2014 FIFA World Cup : - Category 1: This is the highest priced and located in prime areas within the
More informationPractice Profile. Rui Castro Practice Profile 1
Practice Profile Rui Castro Practice Profile 1 Table of contents 1. Presentation 2. Curriculum Curriculum vitae 3. Works The practice work Rui Castro Practice Profile 2 1. Presentation Rui Castro is an
More informationBig-Data Analytics and Cloud Computing
Big-Data Analytics and Cloud Computing Marcello Trovati Richard Hill Ashiq Anjum Shao Ying Zhu Lu Liu Editors Big-Data Analytics and Cloud Computing Theory, Algorithms and Applications 123 Editors Marcello
More informationLIGHT S.A. Corporate Taxpayer s ID (CNPJ/MF) No. 03.378.521/0001-75 Corporate Registry (NIRE) No. 33.3.0026316-1 PUBLICLY HELD COMPANY.
LIGHT S.A. Corporate Taxpayer s ID (CNPJ/MF) No. 03.378.521/0001-75 Corporate Registry (NIRE) No. 33.3.0026316-1 PUBLICLY HELD COMPANY. EXCERPT FROM THE MINUTES OF LIGHT S.A. ( Company ) S BOARD OF DIRECTORS'
More informationBone Structure and Properties Special Thematic Session
Bone Structure and Properties Special Thematic Session http://cbeb.org.br/cbeb2014/index.php/en/ Thematic Session Motivation With the increase of life expectancy the problems resulting from osteoporosis
More informationThe Product Manager s Toolkit
The Product Manager s Toolkit Gabriel Steinhardt The Product Manager s Toolkit Methodologies, Processes and Tasks in High-Tech Product Management ISBN 978-3-642-04507-3 e-isbn 978-3-642-04508-0 DOI 10.1007/978-3-642-04508-0
More informationCarlos Manuel Rodrigues Machado
PERSONAL INFORMATION Carlos Manuel Rodrigues Machado 4715-152 Braga (Portugal) +351 253055897 +351 967281949 cmachado1974@gmail.com Sex Male Date of birth 21/12/1974 PREFERRED JOB Research and Development
More informationSchool of Economics, Business Administration and Accounting at Ribeirão Preto. University of São Paulo
School of Economics, Business Administration and Accounting at Ribeirão Preto University of São Paulo University of São Paulo Established in January 25th, 1934 Public University maintained by the State
More information1st SEMESTER (beginning in September) Code Course Year ECTS Degree Lecturer Group(s) in English
1st SEMESTER (beginning in September) Code Course Year ECTS Degree Lecturer Group(s) in English Level: Bachelor (open to students at all levels) L1805 Marketing Management 1 6 Ralitza Nikolaeva GAi L5004
More informationRui Jorge Pereira Gonçalves. December 4, 1979, Porto Paranhos. Portuguese. Regularized
1. IDENTIFICATION 1.1 PERSONAL DATA Name: Date of birth: Nationality : ID: Military Service: Rui Jorge Pereira Gonçalves December 4, 1979, Porto Paranhos Portuguese BI n.º 11499030, emitted at February
More informationVERSION 1.1 SEPTEMBER 14, 2014 IGELU 2014: USE.PT UPDATE REPORT NATIONAL/REGIONAL USER GROUP REPRESENTATIVES MEETING PRESENTED BY: PAULO LOPES
VERSION 1.1 SEPTEMBER 14, 2014 IGELU 2014: USE.PT UPDATE REPORT NATIONAL/REGIONAL USER GROUP REPRESENTATIVES MEETING PRESENTED BY: PAULO LOPES IGELU 2014: USE.PT UPDATE REPORT ORGANIZATION AND ACTIVITIES
More informationBanco Bradesco S.A. Calendar of Corporate Events - 2011
Calendar of Corporate s - 2011 Information on the Company Company Name Corporate Head Office Address Internet Address Investor Relations Officer Investor Relations Contact Newspapers in which corporate
More informationMaster Degree in Systems and Automation Engineering Engineering Department - Universidade Federal de Lavras
History Since 2007 Main areas: Electrical Engineering and Biomedical Engineering Lines of research: Computational Intelligence, Modeling, Systems Automation; Signal Processing, Instrumentation and Vision
More informationScience popularization actions for teaching food science and technology in Rio de Janeiro state*
Science popularization actions for teaching food science and technology in Rio de Janeiro state* Renata Torrezan Embrapa Agroindústria de Alimentos E-mail: renata.torrezan@embrapa.br) João Eugênio Diaz
More informationThe Brazilian Academy of Sciences
The Brazilian Academy of Sciences Lucia Mendonça Previato Instituto de Biofísica Carlos Chagas Filho Universidade Federal do Rio de Janeiro February 2011 Country Brazil Population According to the Brazilian
More informationREPORT OF THE BRAZILIAN SECTION OF THE COMBUSTION INSTITUTE - 2012/2013
REPORT OF THE BRAZILIAN SECTION OF THE COMBUSTION INSTITUTE - 2012/2013 President: Amir Antonio Martins Oliveira, Ph.D. Department of Mechanical Engineering Universidade Federal de Santa Catarina - UFSC
More informationSpatial Data on the Web
Spatial Data on the Web Alberto B elussi B arbara Catania Eliseo Clementini Elena F errari (Eds.) Spatial Data on the Web Modeling and Management With 111 F igures 123 Editors Alberto Belussi University
More informationNew Frontiers in Entrepreneurship
New Frontiers in Entrepreneurship International Studies In Entrepreneurship Series Editors: Zoltan J. Acs Geroge Manson University Fairfox, VA, USA David B. Audretsch Indiana University Bloomington, IN,
More informationProgress Report 2011-2013
Progress Report 2011-2013 Instituto de Pesquisas Energéticas e Nucleares São Paulo - Brasil 2014 Progress Report 2011-2013 Instituto de Pesquisas Energéticas e Nucleares São Paulo - Brasil 2014 Progress
More informationHuman Rights in European Criminal Law
Human Rights in European Criminal Law ThiS is a FM Blank Page Stefano Ruggeri Editor Human Rights in European Criminal Law New Developments in European Legislation and Case Law after the Lisbon Treaty
More informationLecture Notes in Computer Science 8101
Lecture Notes in Computer Science 8101 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,
More informationBelo Horizonte, MG, September 17 th - 18 th, 2003. Maria Edith Rolla CEMIG
MEETING REPORT BRAZILIAN ASSOCIATION OF LARGE HYDROELECTRIC COMPANIES (ABRAGE) 3 RD TECHNICAL MEETING ON THE GOLDEN MUSSEL (LIMNOPERNA FORTUNEI) Belo Horizonte, MG, September 17 th - 18 th, 2003 Maria
More information