-
Physical Sciences
Computer Networks and Communications
Thiago Caberlon SANTINI; Christoph BORCHERT; Christian DIETRICH; Horst SCHIRMEIER; Martin HOFFMANN et al.
2017.
Effectiveness of software-based hardening for radiation-induced soft errors in real-time operating systems.
In:
Arcs 2017 - 30th international conference on architecture of computing systems.
Alemanha.
-
Physical Sciences
Computer Science Applications
Thiago Caberlon SANTINI; Christoph BORCHERT; Christian DIETRICH; Horst SCHIRMEIER; Martin HOFFMANN et al.
2016.
Evaluating the radiation reliability of dependability-oriented real-time operating systems.
In:
Selse 2016 - 12th workshop on silicon errors in logic - system effects.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Edison Pignaton FREITAS; Bruno COZER; Cristiano G FERREIRA; Flávio Rech WAGNER; Tony LARSSON.
2016.
A practical study on wcet estimation on multicore processors for avionics applications.
In:
Aerospace technology congress.
Suécia.
-
Physical Sciences
Computer Networks and Communications
Thiago Caberlon SANTINI; Paolo RECH; Luigi CARRO; Flávio Rech WAGNER.
2015.
Exploiting cache conflicts to reduce radiation sensitivity of operating systems on embedded systems.
In:
Cases 2015 - international conference on compilers; architecture and synthesis for embedded systems.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Thiago Caberlon SANTINI; Luigi CARRO; Flávio Rech WAGNER; Paolo RECH.
2015.
Reliability analysis of operating systems for embedded soc.
In:
Radecs 2015 - 15th european conference on radiation and its effects on components and systems.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Thiago Caberlon SANTINI; Paolo RECH; Anderson SARTOR; Ulisses Brisolara CORRÊA; Luigi CARRO et al.
2015.
Evaluation of failures masking across the software stack.
In:
Median (manufacturable and dependable multicore architectures at nanoscale) workshop.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Gustavo Girão Barreto Da SILVA; Flávio Rech WAGNER.
2015.
Managing cache memory resources in adaptive many-core systems.
In:
Iess 2015 - international embedded systems symposium.
Brasil.
-
Life Sciences
Physiology
-
Physical Sciences
Computer Science (miscellaneous)
Canabarro Diego RAFAEL; Flávio Rech WAGNER.
2014.
A governança da internet - definição; desafios e perspectivas.
In:
9º encontro da associação brasileira de ciência política.
Brasil.
-
Physical Sciences
Computer Science Applications
Gustavo Girão Barreto Da SILVA; Thiago Caberlon SANTINI; Flávio Rech WAGNER.
2013.
Exploring resource mapping policies for dynamic clustering on noc-based mpsocs.
In:
Date - design; automation and test in europe.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Andrei COSTA; Vinicius Steffens PAZZINI; Luciana FOSS; Simone André Da Costa CAVALHEIRO; Lisane Brisolara De BRISOLARA et al.
2013.
Automatic translation from uml to simulik caam.
In:
Weit 2013 - ii workshop-escola em informática teórica.
Brasil.
-
Physical Sciences
Biomedical Engineering
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Language and Linguistics
Luciana FOSS; Simone André Da Costa CAVALHEIRO; Nicolas BISI; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER.
2011.
From uml to simulink: a graph grammar specification.
In:
Simpósio brasileiro de métodos formais.
Brasil.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Artificial Intelligence
João Claudio OTERO; Fabiane DILLENBURG; Leila RIBEIRO; Flávio Rech WAGNER.
2011.
Formal verification of a deadlock recovering algorithm for heterogeneus noc routing support.
In:
Workshop on diagnostic services in network-on-chips.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Gustavo Girão Barreto Da SILVA; Flávio Rech WAGNER.
2011.
Hardware and software support for parallel programming models on nocs.
In:
Workshop on diagnostic services in network-on-chips.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
Érika Fernandes COTA; Luigi CARRO; Lucio Mauro DUARTE; Leila RIBEIRO; Flávio Rech WAGNER.
2011.
Xmodel: an unified effort towards the development of high-quality mobile applications.
In:
Workshop on software engineering for mobile application development.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Edison Pignaton FREITAS; Bernhard BÖSCH; Rodrigo Schmidt ALLGAYER; Leonardo STEINFELD; Carlos Eduardo PEREIRA et al.
2011.
Análise de desempenho da utilização do framework afme em uma aplicação de seguimento de trajetória para rede de sensores sem fio utilizando agentes móveis.
In:
Simpósio brasileiro de automação inteligente.
Brasil.
-
Physical Sciences
Biomedical Engineering
-
Physical Sciences
Computer Science (miscellaneous)
-
Life Sciences
Neuroscience (miscellaneous)
Leonardo KUNZ; Gustavo Girão Barreto Da SILVA; Flávio Rech WAGNER.
2011.
Improving the efficiency of a hardware transactional memory on an noc-based mpsoc.
In:
Design; automation and test in europe conference and exhibition.
França.
-
Physical Sciences
Computer Science Applications
Carlos Oberdan ROLIM; Edison Pignaton FREITAS; Tales HEIMFARTH; Carlos Eduardo PEREIRA; Claudio Fernando GEYER et al.
2011.
Reviewing dependability issues and suitable solutions for emerging wireless sensor networks applications.
In:
Xii workshop de testes e tolerância a falhas.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Edison Pignaton FREITAS; Rodrigo Schmidt ALLGAYER; Tales HEIMFARTH; Flávio Rech WAGNER; Tony LARSSON et al.
2010.
Coordination mechanism and customizable hardware platform to provide heterogeneous wireless sensor networks support.
In:
Workshop on real-time and embedded systems.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Lucio Mauro DUARTE; Luciana FOSS; Flávio Rech WAGNER; Tales HEIMFARTH.
2010.
A probabilistic model checking technique for the verification of self-organising emergent systems.
In:
Xxxvii seminário integrado de software e hardware - semish.
Brasil.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
Edison Pignaton FREITAS; Tales HEIMFARTH; Flávio Rech WAGNER; Armando Morado FERREIRA; Carlos Eduardo PEREIRA et al.
2010.
Geo-aware handover of mission agents using opportunistic communication in vanet.
In:
Next generation teletraffic and wired/wireless advanced networking.
Rússia.
-
Physical Sciences
Artificial Intelligence
Lucio Mauro DUARTE; Luciana FOSS; Flávio Rech WAGNER; Tales HEIMFARTH.
2010.
Model checking the ant colony optimisation.
In:
International conference on biologically inspired collaborative computing.
Austrália.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
Rodrigo Schmidt ALLGAYER; Carlos Eduardo PEREIRA; Leonardo STEINFELD; Luigi CARRO; Flávio Rech WAGNER.
2010.
Aplicação de agentes móveis em redes de sensores sem fio para localização e seguimento de objetos alvos móveis.
In:
Congresso brasileiro de automática.
Brasil.
-
Physical Sciences
Biomedical Engineering
-
Physical Sciences
Computer Science Applications
Edison Pignaton FREITAS; Tales HEIMFARTH; Ivayr Farah NETTO; Carlos Eduardo LINO; Carlos Eduardo PEREIRA et al.
2010.
Uav relay network to support wsn connectivity.
In:
Ultra modern telecommunications.
Rússia.
-
Physical Sciences
Engineering (miscellaneous)
Edison Pignaton FREITAS; Tales HEIMFARTH; Ivayr Farah NETTO; Alex Guimarães Cardoso De SÁ; Carlos Eduardo PEREIRA et al.
2010.
Enhanced wireless sensor network setup strategy supported by intelligent software agents.
In:
Ieee conference on sensors.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Energy Engineering and Power Technology
Elias Teodoro Da Silva JUNIOR; Flávio Rech WAGNER; Carlos Eduardo PEREIRA.
2009.
Energy reduction in distributed real-time embedded applications.
In:
Wtr 2009 - 11th brazilian workshop on real-time and embedded systems.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Sandro Neves SOARES; Ashok HALAMBI; Aviral SHRIVASTAVA; Flávio Rech WAGNER; Nikil DUTT.
2009.
Adaptive reduced bit-width instruction set architecture (adapt-risa).
In:
Vlsi-soc 2009 - 17th ifip wg 10.5 international conference on very large scale integration.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
Gustavo Girão Barreto Da SILVA; Daniel BARCELOS; Flávio Rech WAGNER.
2009.
Performance and energy evaluation of memory hierarchies in noc-based mpsocs under latency.
In:
Vlsi-soc 2009 - 17th ifip wg 10.5 international conference on very large scale integration.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Edison Pignaton FREITAS; Marco Aurélio WEHRMEISTER; Tales HEIMFARTH; Flávio Rech WAGNER; Armando Morado FERREIRA et al.
2009.
An agent framework support to provide sensor network's intelligent setup and adaptation.
In:
Sbai 2009 - ix simpósio brasileiro de automação inteligente.
Brasil.
-
Physical Sciences
Computer Networks and Communications
-
Physical Sciences
Computer Science (miscellaneous)
Edison Pignaton FREITAS; Tales HEIMFARTH; Flávio Rech WAGNER; Armando Morado FERREIRA; Carlos Eduardo PEREIRA et al.
2009.
An agent framework to support sensor networks - setup and adaptation.
In:
Wahoc 2009 - workshop on ad-hoc wireless networks.
Polônia.
-
Physical Sciences
Engineering (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
Elias Teodoro Da Silva JUNIOR; Carlos Eduardo PEREIRA; Flávio Rech WAGNER.
2008.
Middleware for mpsoc real-time embedded applications.
In:
Ospert'08 - 4th international workshop on operating systems platforms for embedded real-time applications.
Estados Unidos.
-
Physical Sciences
Engineering (miscellaneous)
Sandro Neves SOARES; Flávio Rech WAGNER.
2008.
Proposta de uma técnica que trata a densidade de código; conservando energia em sistemas embarcados low-end.
In:
Wpuc'08 - workshop on pervasive and ubiquitous computing.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Sandro Neves SOARES; Flávio Rech WAGNER.
2007.
From classroom to research: providing different services for computer architecture education.
In:
Wcae'07 ? workshop in computer architecture education.
Estados Unidos.
-
Life Sciences
Biochemistry, Genetics and Molecular Biology (miscellaneous)
Lisane Brisolara De BRISOLARA; Marcio Ferreira Da Silva OLIVEIRA; Francisco Assis Do NASCIMENTO; Luigi CARRO; Flávio Rech WAGNER.
2007.
Using uml as a front-end for an efficient simulink-based multithread code generation targeting mpsocs.
In:
4th workshop on uml for soc.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Marcio Ferreira Da Silva OLIVEIRA; Eduardo Wenzel BRIÃO; Francisco Assis Do NASCIMENTO; Flávio Rech WAGNER.
2007.
Model driven engineering for mpsoc design space exploration.
In:
Sbcci 2007 - 20th symposium on integrated circuits and systems design.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Edgard Faria CORREA; Leonardo Alves De Paula E SILVA; Luigi CARRO; Flávio Rech WAGNER.
2007.
Fitting the router characteristics in nocs to meet qos requirements.
In:
Sbcci 2007 - 20th symposium on integrated circuits and systems desig.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Daniel BARCELOS; Eduardo Wenzel BRIÃO; Flávio Rech WAGNER.
2007.
A hybrid memory organization to enhance task migration and dynamic task allocation in noc-based mpsocs.
In:
Sbcci 2007 - 20th symposium on integrated circuits and systems design.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Emilena SPECHT; Ricardo Miotto REDIN; Luigi CARRO; Luis Da Cunha LAMB; Érika Fernandes COTA et al.
2007.
Analysis of the use of declarative languages for enhanced embedded system software development.
In:
Sbcci 2007 - 20th symposium on integrated circuits and systems design.
Estados Unidos.
-
Physical Sciences
Biomedical Engineering
-
Health Sciences
Medicine (miscellaneous)
Eduardo Wenzel BRIÃO; Daniel BARCELOS; Fabio WRONSKI; Flávio Rech WAGNER.
2007.
Impact of task migration in noc-based mpsocs for soft real-time applications.
In:
Vlsi-soc 2007 - ifip wg 10.5 international conference on very large scale integration.
Estados Unidos.
-
Physical Sciences
Computer Networks and Communications
Elias Teodoro Da Silva JUNIOR; Marco Aurélio WEHRMEISTER; Flávio Rech WAGNER; Carlos Eduardo PEREIRA.
2007.
An approach to improve predictability in communication services in distributed real-time embedded systems.
In:
Jtres'07 - 5th international workshop on java technologies for real-time and embedded systems.
Austria.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Marco Antonio Zanatta ALVES; Henrique Cota FREITAS; Flávio Rech WAGNER; Philippe Olivier Alexandre NAVAUX.
2007.
Influência do compartilhamento de cache l2 em um chip multiprocessado sob cargas de trabalho com conjuntos de dados contíguos e não-contíguos.
In:
Wscad'07 - vii workshop em sistemas computacionais de alto desempenho.
Brasil.
-
Physical Sciences
Energy Engineering and Power Technology
Jonatan F SILVA; Flávio Rech WAGNER; Sandro Neves SOARES.
2007.
Explorando o espaço de projeto com o objetivo de redução do consumo de energia usando reduced bit-width instruction set architecture.
In:
Wscad'07 - vii workshop em sistemas computacionais de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Marcio Ferreira Da Silva OLIVEIRA; Eduardo Wenzel BRIÃO; Francisco Assis Do NASCIMENTO; Lisane Brisolara De BRISOLARA; Luigi CARRO et al.
2006.
Multi-objective design space exploration based on uml.
In:
Workshop on uml for soc.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Biomedical Engineering
-
Physical Sciences
Computer Networks and Communications
Henrique Cota FREITAS; Flávio Rech WAGNER; Carlos Augusto P S MARTINS; Philippe Olivier Alexandre NAVAUX.
2006.
Projeto de um processador de rede intra-chip para controle de comunicação entre múltiplos cores.
In:
Wscad'07 - vii workshop em sistemas computacionais de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Marcelo MORAES; Érika Fernandes COTA; Flávio Rech WAGNER; Luigi CARRO; Marcelo Soares LUBASZEWSKI.
2005.
An application-oriented method for the selection of self-test routines in real-time embedded systems.
In:
Latw´05 - 6th latin-american test workshop.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
João Claudio OTERO; Flávio Rech WAGNER; Luigi CARRO.
2005.
Javarray - um array reconfigurável para redução de consumo de energia em arquiteturas java.
In:
Xi iberchip workshop.
Brasil.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Elias Teodoro Da Silva JUNIOR; Luigi CARRO; Flávio Rech WAGNER; Carlos Eduardo PEREIRA.
2005.
Development of multithread real-time applications using a hardware scheduler.
In:
Ifip wg 10.5 conference on very large scale integration system-on-chip.
Austrália.
-
Physical Sciences
Computer Science Applications
Elias Teodoro Da Silva JUNIOR; Marco Aurélio WEHRMEISTER; Fabiano CARVALHO; Leandro Buss BECKER; Carlos Eduardo PEREIRA et al.
2005.
Exploração do espaço de projeto em hw/sw co-design de sistemas de tempo real embarcados orientados a objetos: o objeto escalonador.
In:
Vii workshop de tempo real.
Brasil.
-
Physical Sciences
Computer Science Applications
Marcio Ferreira Da Silva OLIVEIRA; Lisane Brisolara De BRISOLARA; Flávio Rech WAGNER; Luigi CARRO.
2005.
Embedded sw design exploration using uml-based estimation tools.
In:
Workshop on uml for soc.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Leandro Buss BECKER; Marco Aurélio WEHRMEISTER; Luigi CARRO; Flávio Rech WAGNER; Carlos Eduardo PEREIRA.
2004.
Assessing the impact of traditional real-time scheduling algorithms on top of embedded applications.
In:
28th ifac/ifip workshop on real-time programming.
Turquia.
-
Physical Sciences
Computer Science (miscellaneous)
Edgard Faria CORREA; Eduardo BASSO; Gustavo WILKE; Flávio Rech WAGNER; Luigi CARRO.
2004.
The implications of real-time behavior in networks-on-chip architectures.
In:
Dipes - ifip working conference on distributed and parallel embedded systems.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Lisane Brisolara De BRISOLARA; Leandro Buss BECKER; Luigi CARRO; Flávio Rech WAGNER; Carlos Eduardo PEREIRA.
2004.
Evaluating high-level models for real-time embedded systems design.
In:
Dipes - ifip working conference on distributed and parallel embedded systems.
França.
-
Physical Sciences
Computer Science Applications
Julio Carlos Balzano De MATTOS; Lisane Brisolara De BRISOLARA; Renato HENTSCHKE; Luigi CARRO; Flávio Rech WAGNER.
2004.
Design space exploration with automatic generation of ip-based embedded software.
In:
Dipes - ifip working conference on distributed and parallel embedded systems.
França.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Electrical and Electronic Engineering
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Energy Engineering and Power Technology
André Borin SOARES; Marcos BOSCHETTI; Luigi CARRO; Flávio Rech WAGNER; Altamiro Amadeu SUSIN et al.
2004.
Power consumption analysis in architectures for the wavelet transform processing.
In:
X workshop iberchip.
Colômbia.
-
Physical Sciences
Computer Science (miscellaneous)
Edgard Faria CORREA; Cesar Albenes ZEFERINO; Rodrigo CARDOZO; Altamiro Amadeu SUSIN; Flávio Rech WAGNER et al.
2004.
A heterogeneous router for networks-on-chip.
In:
X workshop iberchip.
Colômbia.
-
Physical Sciences
Computer Science Applications
Marcio Seiji OYAMADA; Alexandre Irigon GERVINI; Edgard Faria CORREA; Flávio Rech WAGNER; Luigi CARRO.
2004.
Análise de desempenho e consumo de potência na comunicação interprocessos em software embarcado.
In:
X workshop iberchip.
Colômbia.
-
Physical Sciences
Computer Science (miscellaneous)
Sandro SILVA; Alex PANATO; Flávio Rech WAGNER; Ricardo Augusto Da Luz REIS; Sergio BAMPI.
2004.
Implementação em fpga de um multiplicador de ponto flutuante com pipeline profundo.
In:
X workshop iberchip.
Colômbia.
-
Physical Sciences
Computer Science Applications
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
Cirano IOCHPE; Flávio Rech WAGNER; André Dias BASTOS; Guillermo Nudelman HESS; Marcia ALMEIDA.
2004.
Urban planning by simulation of population growth.
In:
Geoinfo - vi simpósio brasileiro de geoinformática.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Edgard Faria CORREA; Rodrigo CARDOZO; Érika Fernandes COTA; Antonio Carlos Beck FILHO; Flávio Rech WAGNER et al.
2003.
Testing the wrappers of a network-on-chip: a case study.
In:
Latw´03 - 4th latin american test workshop.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Edgard Faria CORREA; Alexandre Irigon GERVINI; Flávio Rech WAGNER; Luigi CARRO; João Cesar NETTO et al.
2003.
Modelagem e geração de sistema operacional de tempo real para sistemas embarcados.
In:
Workshop de tempo real.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Carlos Alberto BERTOTTO; Flávio Rech WAGNER; Carlos Eduardo PEREIRA.
2003.
Proposta de uma biblioteca de classes aplicada à modelagem e simulação de sistemas de manufaturas.
In:
Iii seminário internacional de controle e automação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Carlos Alberto BERTOTTO; Flávio Rech WAGNER; Carlos Eduardo PEREIRA.
2003.
A class library for manufacturing systems.
In:
Eurosis industrial simulation conference.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science Applications
Érika Fernandes COTA; Luigi CARRO; Flávio Rech WAGNER; Marcelo Soares LUBASZEWSKI.
2003.
Bisted cores and test time minimization in noc-based systems.
In:
Trp´03 - ieee 4th international test resource partitioning workshop.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Engineering (miscellaneous)
Alexandre Irigon GERVINI; Edgard Faria CORREA; Luigi CARRO; Flávio Rech WAGNER.
2003.
Avaliação de desempenho; área e potência de mecanismos de comunicação em sistemas embarcados.
In:
Xxx seminário integrado de software e hardware.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Sandro Neves SOARES; Flávio Rech WAGNER.
2002.
T&d bench2: um ambiente de modelagem de processadores.
In:
Iii workshop em sistemas computacionais de alto desempenho.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Daniel De Freitas WILDT; Flávio Rech WAGNER.
2001.
Adapting simulation environments to hla: a case study.
In:
Esm'2001 - 15th european simulation multiconference.
República Tcheca.
-
Physical Sciences
Computer Science (miscellaneous)
João Claudio OTERO; Flávio Rech WAGNER.
2001.
An object-oriented methodology for modeling the precise behavior of processor architectures.
In:
11th ifip conference on vlsi-soc.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Braulio Adriano De MELLO; Flávio Rech WAGNER.
2001.
A standardized co-simulation backbone.
In:
11th ifip conference on vlsi-soc.
França.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science Applications
Marcio Seiji OYAMADA; Flávio Rech WAGNER.
2000.
Co-simulation of embedded electronic systems.
In:
Ess'2000 - 12nd european simulation symposium.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
Gustavo Ribeiro RODRIGUES; Douglas BECKER; Flávio Rech WAGNER.
2000.
Csdsim: a didactic processor simulation environment based on the client / server architecture.
In:
Sbac-pad'2000 - 12th symposium on computer architecture and high performance computing.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luigi CARRO; Marcio Eduardo KREUTZ; Flávio Rech WAGNER; Marcio Seiji OYAMADA.
2000.
A design methodology for embedded systems based on multiple processors.
In:
Dipes'2000 - ifip workshop on distributed and parallel embedded systems.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
Sandro Neves SOARES; Flávio Rech WAGNER.
2000.
Uma análise de ferramentas de software para o ensino de organização e arquitetura de computadores.
In:
International conference on engineering and computer education.
Brasil.
-
Physical Sciences
Computer Science Applications
Flávio Rech WAGNER; Marcio Seiji OYAMADA; Luigi CARRO; Marcio Eduardo KREUTZ.
1999.
Object-oriented modeling and co-simulation of embedded electronic systems.
In:
Ifip wg 10.5 vlsi conference.
Portugal.
-
Physical Sciences
Computer Science (miscellaneous)
Guilherme Roehe VACCARO; Flávio Rech WAGNER.
1999.
On the requirements of simulation output analysis software.
In:
Ess'99 - 11th european simulation symposium.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Vanderlei Moraes RODRIGUES; Flávio Rech WAGNER.
1999.
A logic for synchronous transitions.
In:
Iii simpósio brasileiro de linguagens de programacao.
Brasil.
-
Physical Sciences
Artificial Intelligence
Vanderlei Moraes RODRIGUES; Flávio Rech WAGNER.
1999.
A logic for synchronous transitions with dynamic conflicts.
In:
Xxv conferencia latinoamericana de informatica.
Paraguai.
-
Social Sciences & Humanities
Linguistics and Language
Vanderlei Moraes RODRIGUES; Flávio Rech WAGNER.
1999.
A logic to specify and verify synchronous transitions.
In:
3rd irish workshop on formal methods.
Irlanda.
-
Physical Sciences
Computer Science (miscellaneous)
Marcio Seiji OYAMADA; Flávio Rech WAGNER.
1999.
Ambiente para co-simulação simoo - vss synopsys.
In:
V workshop iberchip.
Peru.
-
Life Sciences
Neuroscience (miscellaneous)
Vanderlei Moraes RODRIGUES; Flávio Rech WAGNER.
1998.
Synchronous transitions and their temporal logic.
In:
I workshop de métodos formais.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vanderlei Moraes RODRIGUES; Flávio Rech WAGNER.
1998.
A temporal logic for dataflow vhdl.
In:
Xi simpósio brasileiro de concepção de circuitos integrados.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Taisy Silva WEBER; Ingrid Eleonora Schreiber Jansch PÔRTO; Flávio Rech WAGNER; Paulo Blauth MENEZES.
1998.
Uma experiência com hiperdocumentos e internet no suporte a disciplinas de computação.
In:
Vi workshop de educação em informática.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Bernardo COPSTEIN; Flávio Rech WAGNER; Carlos Eduardo PEREIRA.
1997.
Simoo - an environment for the object-oriented discrete simulation.
In:
Ess'97 - 9th european simulation symposium.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
Lia Goldstein GOLENDZINER; Clesio Saraiva Dos SANTOS; Flávio Rech WAGNER.
1997.
Modeling an engineering design application using extended object-oriented concepts.
In:
5th international conference on database systems for advanced applications.
Austrália.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Vanderlei Moraes RODRIGUES; Flávio Rech WAGNER.
1997.
A synchronous transition system and its application to the formal verification of vhdl designs.
In:
X simpósio brasileiro de concepção de circuitos integrados.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER.
1996.
The integrated development of tools and environments for electronic design.
In:
2nd world conference on integrated design and process technology.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Carla Maria Dal Sasso FREITAS; Flávio Rech WAGNER; Paulo Rech WAGNER.
1996.
A new paradigm for visual interactive modeling and simulation.
In:
Ess'96 - 8th european simulation symposium.
Itália.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Bernardo COPSTEIN; Carlos Eduardo PEREIRA; Flávio Rech WAGNER.
1996.
The object-oriented approach and the event discrete simulation paradigm.
In:
10th european simulation multiconference.
Hungria.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER; Gleiber Fernandes ROYES.
1996.
A semantic task flow manager.
In:
Apchdl'96 - asia / pacific conference on hardware description languages.
Índia.
-
Physical Sciences
Computer Science (miscellaneous)
Marcelo COHEN; Carla Maria Dal Sasso FREITAS; Flávio Rech WAGNER.
1996.
Behavioral animation modeling in the windows environment.
In:
Ix simpósio brasileiro de computação gráfica e processamento de imagens.
Brasil.
-
Social Sciences & Humanities
Education
Carla Maria Dal Sasso FREITAS; Flávio Rech WAGNER; Paulo Rech WAGNER.
1996.
Um novo paradigma para modelagem e simulação interativa visual.
In:
Ix simpósio brasileiro de computação gráfica e processamento de imagens.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vanderlei Moraes RODRIGUES; Flávio Rech WAGNER.
1996.
Verificação de projetos vhdl com o uso de sistemas de transição e lógica temporal.
In:
Ix simpósio brasileiro de concepção de circuitos integrados.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Gleiber Fernandes ROYES; Flávio Rech WAGNER.
1996.
Um gerenciador semântico de fluxos de tarefas.
In:
Ix simpósio brasileiro de concepção de circuitos integrados.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER.
1995.
Design management requirements for hardware description languages.
In:
Euro-dac'95 with euro-vhdl'95.
Inglaterra.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER.
1995.
A methodology for the development of integrated and open hdl-based design environments.
In:
12th ifip international conference on computer hardware description languages and their applications.
Japão.
-
Physical Sciences
Computer Science Applications
Isabel MANSSOUR; Carla Maria Dal Sasso FREITAS; Dalcidio Moraes CLAUDIO; Flávio Rech WAGNER.
1995.
Visualizing and exploring meteorological data using atool-oriented approach.
In:
International conference on visualization and modeling.
Inglaterra.
-
Physical Sciences
Computer Science Applications
Ernesto LINDSTAEDT; Flávio Rech WAGNER.
1995.
Um ambiente de simulação visual interativa.
In:
Xxii semish - seminário integrado de software e hardware.
Brasil.
-
Social Sciences & Humanities
Arts and Humanities (miscellaneous)
Raul Fernando WEBER; Ingrid Eleonora Schreiber Jansch PÔRTO; Flávio Rech WAGNER; Taisy Silva WEBER.
1995.
Uma experiência prática no ensino de arquitetura de computadores.
In:
Iii workshop de educação em informática.
Brasil.
-
Physical Sciences
Computer Science Applications
Flávio Rech WAGNER; Miguel R FORNARI; Lia Goldstein GOLENDZINER.
1994.
A tightly coupled approach to design and data management.
In:
Euro-dac'94 - european design automation conference.
França.
-
Physical Sciences
Computer Science (miscellaneous)
Helena Grazziotin RIBEIRO; Flávio Rech WAGNER; Lia Goldstein GOLENDZINER.
1994.
Configuration management in the star framework.
In:
4th international ifip working conference on electronic design automation frameworks.
Brasil.
-
Physical Sciences
Artificial Intelligence
Miguel R FORNARI; Lia Goldstein GOLENDZINER; Flávio Rech WAGNER.
1994.
Schema evolution in the star framework.
In:
4th international ifip working conference on electronic design automation frameworks.
Brasil.
-
Social Sciences & Humanities
Linguistics and Language
Ronaldo Dos Santos MELLO; Lia Goldstein GOLENDZINER; Flávio Rech WAGNER.
1994.
The visual interface of the star framework.
In:
4th international ifip working conference on electronic design automation frameworks.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER; Ingrid Eleonora Schreiber Jansch PÔRTO; Taisy Silva WEBER; Raul Fernando WEBER.
1994.
Uma proposta de currículo em arquitetura de computadores.
In:
Ii workshop de educação em informática.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Vanderlei Moraes RODRIGUES; Flávio Rech WAGNER.
1994.
Compilação de simuladores lógicos orientados a eventos com ouso de co-rotinas.
In:
Viii simpósio brasileiro de concepção de circuitos integrados.
Brasil.
-
Physical Sciences
Computer Science Applications
Carla Maria Dal Sasso FREITAS; Flávio Rech WAGNER.
1994.
Análise exploratória visual orientada a ferramentas.
In:
Vii simpósio brasileiro de computação gráfica e processamento de imagens.
Brasil.
-
Physical Sciences
Artificial Intelligence
Miguel R FORNARI; Lia Goldstein GOLENDZINER; Flávio Rech WAGNER.
1994.
Evolução de esquemas para o ambiente star.
In:
Xxi seminário integrado de software e hardware.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER.
1993.
Prevail-dm: a framework-based environment for formal hardware verification.
In:
Conference on computer hardware description languages; x.
Canadá.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER.
1993.
A framework-based realization of an environment for formal hardware verification.
In:
The european conference on design automation.
França.
-
Physical Sciences
Artificial Intelligence
Carla Maria Dal Sasso FREITAS; Flávio Rech WAGNER.
1993.
A methodology for selecting visual representations in scientific and simulation applications.
In:
Ess'93 - european simulation symposium.
Holanda.
-
Physical Sciences
Computer Science (miscellaneous)
Helena Grazziotin RIBEIRO; Lia Goldstein GOLENDZINER; Flávio Rech WAGNER.
1993.
Gerente de configurações do ambiente star.
In:
Simposio brasileiro de banco de dados; viii.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luciana Porcher NEDEL; Carla Maria Dal Sasso FREITAS; Flávio Rech WAGNER.
1993.
Modelo para simulação de superfícies deformáveis baseada na análise dinâmica.
In:
Vi simpósio brasileiro de computação gráfica e processamento de imagens.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER.
1992.
Design version management in the star framework.
In:
Workshop on electronic design automation frameworks; iii.
Alemanha.
-
Life Sciences
Neuroscience (miscellaneous)
Robson LEMOS; Rui M BASTOS; Carla Maria Dal Sasso FREITAS; Flávio Rech WAGNER.
1992.
Animação da dinâmica do movimento e colisões de corpos rigidos.
In:
Xviii conferencia latinoamericana de informatica.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Paulo Rech WAGNER; Flávio Rech WAGNER.
1992.
O ambiente de simulação do sistema amplo.
In:
Vii simpósio brasileiro de concepção de circuitos integrados.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER; Arnaldo Viegas De LIMA.
1991.
Design version management in the garden framework.
In:
Design automation conference; 28th.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER.
1990.
Data management facilities in the amplo design framework.
In:
Workshop on electronic design automation frameworks.
Estados Unidos.
-
Social Sciences & Humanities
Education
Lia Goldstein GOLENDZINER; Flávio Rech WAGNER; Carla Maria Dal Sasso FREITAS.
1989.
Modeling digital systems in an integrated design environment.
In:
Ix international conference on computer hardware description languages;ifip.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
Lia Goldstein GOLENDZINER; Flávio Rech WAGNER; Carla Maria Dal Sasso FREITAS; Vania BOKLIS; Karin BECKER.
1989.
Representing digital systems as complex objects.
In:
Btw89 - datenbanksysteme in buero; technik und wissenschaft.
Suiça.
-
Physical Sciences
Computer Science Applications
Flávio Rech WAGNER; Carla Maria Dal Sasso FREITAS; Lia Goldstein GOLENDZINER.
1987.
The amplo system: an integrated environment for digital systems design.
In:
Workshop on tool integration and design environments; ifip.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER; Carla Maria Dal Sasso FREITAS; Lia Goldstein GOLENDZINER.
1987.
A digital systems design methodology based on nets of agencies.
In:
Viii international conference on computer hardware description languages;ifip.
Holanda.
-
Physical Sciences
Computer Science (miscellaneous)
Flávio Rech WAGNER.
1986.
A multi-level digital systems simulation based on nets of agencies.
In:
Conference on recent advances in simulation of complex systems;jsst.
Japão.