Valmir Carneiro Barbosa

Instituição:

Universidade Federal do Rio de Janeiro

Centro:

Centro de Tecnologia

Unidade:

Coordenação dos Programas de Pós-Graduação de Engenharia

Departamento:

Programa de Engenharia de Sistemas/COPPE

ORCID:

não disponível no Lattes


Formação:

  • University of California, Berkeley

    | Pós-Doutorado | 2000 - 2000

  • University of California, Berkeley

    | Pós-Doutorado | 1995 - 1995

  • University of California, Los Angeles

    Ciência da Computação | Doutorado | 1982 - 1986

  • Universidade Federal do Rio de Janeiro

    Engenharia de Sistemas e Computação | Mestrado | 1981 - 1982

  • Universidade Federal do Rio de Janeiro

    Engenharia Eletrônica | Graduação | 1976 - 1980
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:
Nenhum artigo cadastrado
Eventos:

(42.86% eventos com DOI)

Titulo DOI Ano
Sketching data structures for massive graph problems 2019
A distributed system for SearchOnMath based on the Microsoft BizSpark program 2018
Practical aspects of l0-sampling algorithms 2018
Análise de complexidade assintótica de algoritmos em grafos por uma abordagem empı́rica 2018
Deadlock models in distributed computation 10.1145/2851613.2851880 2016
Handling flash-crowd events to improve the performance of web applications 10.1145/2695664.2695839 2015
Early detection of epilepsy seizures based on a weightless neural network 10.1109/EMBC.2015.7319387 2015
Cooperation in Cognitive Radio Networks 10.1109/SBRC.2014.47 2014
Scheduling cyclic task graphs with SCC-Map 10.1109/WAMCA.2012.8 2012
Evolved preambles for MAX-SAT heuristics 10.5220/0003660400230031 2011
Exploiting the distribution of distances between nodes to efficiently solve the localization problem in wireless sensor networks 10.1145/1868612.1868615 2010
Approximate conditional distributions of distances between nodes in a two-dimensional sensor network 10.1007/978-3-642-02205-0_23 2009
Caracterização da distribuição de carga em redes complexas submetidas a um tráfego uniforme 2008
Multiple sequence alignment based on set covers 10.1007/11732242_12 2006
A methodology for determining amino-acid substitution matrices from set covers 10.1007/11732242_13 2006
Minimal chordal sense of direction and circulant graphs 10.1007/11821069_58 2006
Reliable interpretation of x86 code 2006
Generating all the cubic graphs that have a 6-cycle double cover 10.1016/j.endm.2005.05.013 2005
Towards code layout improvement through dynamic basic-block motion 2005
Monitoring the structure and behavior of programs 2002
Instruction usage and the memory gap problem 10.1109/CAHPC.2002.1180773 2002
New 0-1 integer formulations of the graph coloring problem 2002
A distributed algorithm for k-dominating sets 10.1016/S1571-0653(04)00242-2 2001
Learning logic programs with neural networks 10.1007/3-540-44797-0_2 2001
Relational intersection as a basis to extend neural networks to learn relational concepts 2001
Aprendizado de programas em lógica utilizando redes neurais 2001
Um estudo do poliedro associado ao problema de coloração de vértices: uma nova formulação inteira 0-1 2001
Towards a hybrid model of first-order theory refinement 10.1007/10719871_7 2000
Rumo a uma lógica bidimensional de conhecimento em sistemas distribuídos assíncronos 1999
A penalty-function approach to rule extraction from knowledge-based neural networks 1998
Detecção de breakpoints em programas MPI 1997
Experimentos com um algoritmo distribuído para troca ordenada de mensagens entre tarefas que migram 1997
Um algoritmo para gerar todas as orientações acíclicas de um grafo 1996
Algoritmos distribuídos para detecção de predicados globais 1995
Deforestation monitoring oh the Amazon region using neural networks - a comparison between different photo-Interpreters and networks 1994
Applying neural networks for deforestation monitoring of the Amazon region 1994
Equalization of the training set for backpropagation networks applied to classification problems 1994
Monitoring the deforestation of the Amazon region with neural networks 10.1109/IJCNN.1993.716769 1993
Um algoritmo de string matching para o modelo CREW-PRAM 1993
Um simulador distribuído baseado no paradigma de eventos condicionais 1993
Um simulador distribuído baseado no paradigma espaço-temporal 1993
A faster elastic-net algorithm for the traveling salesman problem 10.1109/IJCNN.1992.227005 1992
Time sharing in hypercube multiprocessors 10.1109/SPDP.1992.242724 1992
Learning in analog Hopfield networks 10.1109/IJCNN.1991.155335 1991
Experiments in parallel heuristic search 1991
An integrated software environment for large-scale Occam programming 10.1016/0165-6074(91)90376-5 1991
Micro-instruction placement by simulated annealing 10.1016/0165-6074(91)90317-M 1991
Feasible directions linear programming by neural networks 10.1109/IJCNN.1990.137954 1990
A TSP objective function that ensures feasibility at stable points 1990
An Occam-based evaluation of a parallel version of simulated annealing 10.1016/0165-6074(90)90222-U 1990
Uma introdução à computação por redes neuronais 1990
Towards a stochastic neural model for combinatorial optimization 10.1109/IJCNN.1989.118357 1989
Redes neuronais e `simulated annealing' como ferramentas para otimização combinatória 1989
Uma avaliação experimental do desempenho do sistema multiprocessador ACP 1989
Sobre a concorrência na comunicação entre processos paralelos 1989
MPH - A hybrid parallel machine 10.1016/0165-6074(89)90200-7 1989
Specification of a communication virtual processor for parallel processing systems 10.1016/0165-6074(88)90103-2 1988
Técnicas para alocação estática de tarefas em sistemas distribuídos 1988
Uma forma distribuída de busca estocástica para otimização combinatória 1987
Projeto de uma estação PROLOG 1987
Concurrency in heavily loaded neighborhood-constrained systems 1987
Concorrência em sistemas de computação e a cromaticidade de grafos 1987
Optimal snapshots and the maximum flow In precedence graphs 1986
Publicações:
Minha Rede: