| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes |
Composicionalidade de Primitivas - Uma Abordagem Categorial Simone André da Costa.  |
RITA  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luciano Barbosa, Franklin Ramalho, Ana Carolina Salgado |
Atualizando Informação Dinâmica na Web: o Caso do Conteúdo de Notícias. |
RITA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gladimir V. G. Baranoski, Jon G. Rokne |
An Introduction to Light Interaction with Plants. |
RITA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Estefane G. M. de Lacerda, André Carlos Ponce de Leon Ferreira de Carvalho, Teresa Bernarda Ludermir |
Um Tutorial sobre Algoritmos Genéticos. |
RITA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Manuel M. Oliveira |
Image-Based Modeling and Rendering Techniques: A Survey. |
RITA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Wagner Toledo Corrêa, Manuel M. Oliveira, Cláudio T. Silva, Jianning Wang |
Modeling and Rendering of Real Environments. |
RITA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Lisandro Zambenedetti Granville, Liane Margarida Rockenbach Tarouco |
Gerenciamento Integrado de QoS em Redes de Computadores. |
RITA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Everton Vidal Vieira, Olga Regina Pereira Bellon, Luciano Silva |
Mineração de Imagens. |
RITA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luís Fernando Friedrich |
CompOSES: Uma Abordagem para Composição de Sistemas Operacionais para Aplicações Embutidas. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lau Cheuk Lung, Joni da Silva Fraga |
Extensões nas especificações FT-CORBA para Sistemas Distribuídos de Larga Escala. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Rômulo Silva de Oliveira, Alexandre Carissimi, Simão S. Toscani |
Sistemas Operacionais. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | João Comba, Rui Bastos |
Special Effects With Current Graphics Hardware. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Iara Augustin, Adenauer C. Yamin, Edson N. Silva Junior, Jorge L. V. Barbosa, Cláudio F. R. Geyer, Gerson G. H. Cavalheiro |
ISAM: um Middleware para Aplicações Móveis Distribuídas. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mauro Marcelo Mattos, Roberto Pacheco |
Uma Revisão Sobre Tendências Tecnológicas em Sistemas Operacionais. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ney Laert Vilar Calazans, Fernando Gehm Moraes, Delfim Luiz Torok, Andrey V. Andreoli |
Projeto para Prototipação de um IP Soft Core MAC Ethernet. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Carla Maria Dal Sasso Freitas, Olinda M. Chubachi, Paulo Roberto Gomes Luzzardi, Ricardo Andrade Cava |
Visualização de Informações. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Renato P. Ribas, André Inácio Reis, Marcelo Lubaszewski |
Concepção de Circuitos e Sistemas Integrados. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Soraia Raupp Musse |
Behavioral Modeling of Virtual Human Actors. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Márcio Eduardo Kreutz, César Albenes Zeferino, Luigi Carro, Altamiro Amadeu Susin |
Análise e Seleção de Redes de Interconexão para Síntese de Sistemas no Ambiente S3E2S. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Lincoln R. Nunes, Arthur H. C. Oliveira, Alexandre S. Santiago, Rubens Takiguti |
Modular Test Code for Microcontroller Units with ROM. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Augusto Ken Morita, Marcio Toma, Wilhelmus A. M. Van Noije |
Implementação de Um Sistema de Decriptografia para Controle Bancário em Hardware tipo FPGA. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gilson A. Giraldi, Raúl A. Feijóo, Ricardo C. Farias |
Parallel Volume Rendering of Unstructured Data with Application to Hemodynamics. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | José Luís Almada Güntzel, Ricardo Augusto da Luz Reis |
Análise de Timing Funcional de Circuitos VLSI Contendo Portas Complexas. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | André Luiz Battaiola, Rodrigo G. Domingues, Bruno Feijó, Dilza Szwarcman, Esteban Walter Gonzalez Clua, Lauro E. Kosovitz, Marcelo Dreux, Carlos A. Pessoa, Geber L. Ramalho |
Desenvolvimento de Jogos em Computadores e Celulares. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marcos Craizer |
Equações de Evolução em Processamento de Imagens. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | William Prodanov, Márcio C. Schneider |
Um Schmitt-Trigger Comparador de Corrente Digitalmente Programável. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alceu de Souza Britto Jr., Cinthia Obladen de Almendra Freitas, Edson J. R. Justino, Díbio Leandro Borges, Jacques Facon, Flávio Bortolozzi, Robert Sabourin |
Técnicas em Processamento e Análise de Documentos Manuscritos. |
RITA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Liang Zhao |
Scene Segmentation by Oscillatory Correlation. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Arnaldo de Albuquerque Araújo, Silvio Jamil Ferzoli Guimarães |
Recuperação de Informação Visual com Base no Conteúdo em Imagens e Vídeos Digitais. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alberto Barbosa Raposo, Adailton José Alves Da Cruz, Alessandro de Lima Bicho, Alfredo K. Kojima, Carlos A. M. dos Santos, Isla C. F. da Silva, Léo Pini Magalhães, Paulo C. P. de Andrade |
Ferramentas de Programação Livres para Computação Gráfica e Animação por Computador. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | David Déharbe, Anamaria Martins Moreira, Leila Ribeiro 0001, Vanderlei Moraes Rodrigues |
Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fernando Náufel do Amaral, Edward Hermann Haeusler |
A logic-based approach for real-time object-oriented software development. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Aline Brum Loreto, Laira Vieira Toscani, Leila Ribeiro 0001 |
Complexity analysis of reactive graph grammars. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Paulo Borba, Augusto Sampaio |
Basic Laws of ROOL: an object-oriented language. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Patrícia D. L. Machado |
Formal testing from structured algebraic specifications: normalisationand the oracle problem. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin |
Using the ACL2 Theorem Prover to Reason about VHDL Components. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Maria Andréia F. Rodrigues |
Aplicações Gráficas em Medicina: Técnicas e Modelos Realistas de Deformação. |
RITA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Flávio A. de Lima, Roberto Tom Price |
Estendendo UML para Modelagem de Sistemas de Informação na Internet Baseados em Documentos. |
RITA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Adriana Soares Pereira, Cláudio F. R. Geyer |
Um Agente para Seleção de Estratégias de Ensino em Ambientes Educacionais na Internet. |
RITA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Juliana Silva de Herbert, Ana Maria de Alencar Price |
Teste de Software Orientado a Objetos: Técnicas, Estratégias e Ferramentas. |
RITA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Hans-Jürgen Dobner |
Reliability in Concurrent Scientific Computing for Volterra Type Equations. |
RITA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marco Túlio de Oliveira Valente, Roberto da Silva Bigonha, Antonio Alfredo Ferreira Loureiro, Mariza Andrade da Silva Bigonha |
Linguagens para Computação móvel na Internet. |
RITA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marcus Fontoura, Carlos José Pereira de Lucena |
Um Ambiente para Modelagem e Execução de Processos. |
RITA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Eloi L. Favero, Jacques Robin |
Um Ambiente para Desenvolvimento de Gramáticas Computacionais para o Português. |
RITA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Graciela D. S. Hadad, Gladys Noemí Kaplan, Alejandro Oliveros, Julio César Sampaio do Prado Leite |
Integración de Escenarios con el Léxico Extendido del Lenguaje en la Elicitación de Requerimientos: aplicación a un caso real. |
RITA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jorge L. V. Barbosa, Cláudio F. R. Geyer |
Software Multiparadigma Distribuído. |
RITA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Lia Goldstein Golendziner, Clesio Saraiva dos Santos |
Uma abordagem multi-nível para suporte a versões em bancos de dados orientados a objetos. |
RITA |
1998 |
DBLP BibTeX RDF |
|
| 1 | José Mauro Volkmer de Castilho |
A State-Space Approach for Database Redesign. |
RITA |
1998 |
DBLP BibTeX RDF |
|
| 1 | Luiz A. M. Palazzo, José Mauro Volkmer de Castilho |
Processamento Semântico de Informações Situadas. |
RITA |
1998 |
DBLP BibTeX RDF |
|
| 1 | Miguel Rodrigues Fornari, Lia Goldstein Golendziner, Flávio Rech Wagner |
Schema Evolution in the STAR Framework. |
RITA |
1998 |
DBLP BibTeX RDF |
|
| 1 | Lia Goldstein Golendziner, Clesio Saraiva dos Santos, Flávio Rech Wagner |
Modeling an engineering design application using extended object-oriented concepts. |
RITA |
1998 |
DBLP BibTeX RDF |
|
| 1 | |
Outras Publicações de José Mauro Volkmer de Castilho e Lia Goldstein Golendziner. |
RITA |
1998 |
DBLP BibTeX RDF |
|
| 1 | José Mauro Volkmer de Castilho, Stanley Loh |
Uma Abordagem Baseada em Regras Heurísticas para Construção de Especificações Diagramáticas de Requisitos. |
RITA |
1998 |
DBLP BibTeX RDF |
|
| 1 | José Mauro Volkmer de Castilho, Mara Abel |
Sistema de Informação Total: Gerência de Dados e Conhecimento. |
RITA |
1998 |
DBLP BibTeX RDF |
|
| 1 | Raul Fernando Weber |
Segurança na Internet. |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Stanley Loh, Leandro Krug Wives, Antônio Severo Frainer |
Uma abordagem para a Busca Contextual de Documentos na Internet. |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Fabio Q. B. da Silva, Danielle M. Franklin, Luciana S. Varejão, Andre Luís de Medeiros Santos, Fabiana Martins Ramos |
I-DREAM: An Intranet BaseD Resource and Application Monitoring System. |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Rômulo Silva de Oliveira |
Computação imprecisa. |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Dante Carlos Antunes, Carlos A. Heuser, Nina Edelweiss |
TempER: uma abordagem para modelagem temporal de banco de dados. |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gilmário Barbosa dos Santos, Elizabeth Sueli Specialski, Paulo Sergio da Silva Borges |
O problema da correlação de alarmes: uma proposta de aplicação da teoria "Rough sets". |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Leonardo Mendonça de Moura, Carlos José Pereira de Lucena |
O Ambiente Visual Spider para o Desenvolvimento de Aplicações para a Internet. |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Marcelo Campo, Roberto Tom Price |
Automated recognition of design patterns for framework understanding. |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Soeli T. Fiorini, Julio César Sampaio do Prado Leite |
Integrando processos de negócio à elicitação de requisitos. |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ingrid Jansch-Pôrto, Taisy Silva Weber |
Recuperação de processos em sistemas distribuídos. |
RITA |
1997 |
DBLP BibTeX RDF |
|
| 1 | Paulo W. de Oliveira, Dalcidio Moraes Claudio |
An Interval fixed-point theorem. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Fernanda A. Oliveira |
Enclosing solutions of two point boundary value problems. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Christoph Baumhof, Gerd Bohlender |
A VLSI vector arithmetic coprocessor for the PCs. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | João Batista S. de Oliveira |
A Backward Mode for slope evaluation and remark on backward methods for interval variables. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael J. Schulte |
Hardware interval multipliers. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Tiarajú Asmuz Diverio, Philippe Olivier Alexandre Navaux, Dalcidio Moraes Claudio, Carlos Amaral Hölbig, Ursula A. L. Fernandes, R. L. Sagula |
High performance with high accuracy laboratory. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Tim Kersten |
A case study for the use of verifying BLAS in na LAPACK like verifying driver-routine for the solution of linear systems. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Antônio Carlos da Rocha Costa, Raul Sidnei Wazlawick |
Non-supervised sensory-motors agents learning. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Genésio Gomes da Cruz Neto, Rafael Dueire Lins |
Are functional languages suitable for scientific computing? |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Norian Maranghello |
Simulação de circuitos elétricos: uma resenha. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio |
Computational arithmetic: an updated view. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Christian P. Ullrich |
Software for fast validated solution of linear systems. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Sílvia Delgado Olabarriaga |
Tricotomia e a reprodução de cores em computador. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Ana Valéria Farias Barroso, Bernadette Farias Lóscio, Mirna Geyla Lopes Brandão, Roberta Sousa Almeida Pontes |
O ambiente VITAO- visão integrada automatizada orientada a objetos. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Regivan Hugo Nunes Santiago, Benedito Melo Acióly |
Toward a logic for numerical approximations. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Evgenija D. Popova, Christian P. Ullrich |
Embedding directed intervals in Mathematica. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Agenor Martins, Edilson Ferneda |
Aprendizagem por analogia na máquina e nas pessoas. |
RITA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Paulo Alberto de Azeredo |
Classificação por intercalação: um método confiável. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Paulo Blauth Menezes |
Marked Petri Nets. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francisco Ibañez, Raymundo Forradellas, Fernando Barber, Rafael Berlanga Llavori |
Dos Enfoques de la Programación Lógica con Restricciones. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Fernando de Freitas Rezende |
Concurrency control techniques and the KBMS Enviroment: A critical analysis. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Cirano Iochpe, Maria Aparecida M. Souto |
Transações de Banco de Dados: novos requisitos de processamento de aplicações não convencionais. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Carla Maria Dal Sasso Freitas, Flávio Rech Wagner |
Ferramentas de suporte às tarefas da análise exploratória visual. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dalcidio Moraes Claudio, Maria Angelica Camargo, Vilmar Trevisan |
Um algoritmo algébrico para isolar zeros de polinômios. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dalcidio Moraes Claudio, Siegfried M. Rump |
Inclusion methods for real and complex functions in one variable. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Newton José Vieira |
Recuperando Caminhos no esquema algorítmico Union-Find. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter Struss, Waldir L. Roque |
Qualitative Reasoning and Model-Based Diagnosis: foundations & applications. |
RITA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Dalcidio Moraes Claudio, Paulo Ricardo de Ávila Zingano |
A two-sided method for nonlinear equations with cubic convergence. |
RITA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Marta Mattoso |
Banco de dados e Paralelismo: uma experiência prática. |
RITA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Thomas De Araujo Buck, Márcio L. Andrade Netto |
Reconhecimento de Padrões através de Máscaras Nebulosas. |
RITA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Maria del Rosario Girardi, Roberto Tom Price |
O paradigma de desenvolvimento por objetos. |
RITA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Laira Vieira Toscani, Paulo A. S. Veloso |
A Programação Dinâmica: um caso particular da Divisão e Conquista. |
RITA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Maria Lencastre P. de Menezes Cruz, Ana Carolina Salgado |
BR+: Modelo dinâmico de dados para um ambiente multimídia. |
RITA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Raul Fernando Weber |
Vírus de computador. |
RITA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Ingrid Jansch-Pôrto |
Fundamentos de Tolerância a Falhas. |
RITA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Marcos de Lacerda Pessoa |
RADMAX: an intelligent Computer packed for Dam Design and Dam Safety using Radar Observations. |
RITA |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license