Valmir Carneiro Barbosa

ORCID

Publication Activity (10 Years)

Years Active: 1987-2016
Publications (10 Years): 2

Top Venues

Publications

Valmir Carneiro Barbosa, Alan Diêgo A. Carneiro, Fábio Protti, Uéverton S. Souza
Deadlock models in distributed computation: foundations, design, and computational complexity. SAC (2016)
Jefferson Elbert Simões, Daniel R. Figueiredo, Valmir Carneiro Barbosa
Approximating the degree sequences of two random graphs. CoRR (2016)
Ubiratam de Paula Junior, Lúcia M. A. Drummond, Daniel de Oliveira, Yuri Frota, Valmir Carneiro Barbosa
Handling flash-crowd events to improve the performance of web applications. SAC (2015)
Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti
The predecessor-existence problem for k-reversible processes. Theor. Comput. Sci. 562 (2015)
Kleber de Aguiar, Felipe Maia Galvão França, Valmir Carneiro Barbosa, César A. D. Teixeira
Early detection of epilepsy seizures based on a weightless neural network. EMBC (2015)
Rodrigo R. Esch, Fábio Protti, Valmir Carneiro Barbosa
Adaptive event sensing in networks of autonomous mobile agents. CoRR (2015)
Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa
Scheduling wireless links by graph multicoloring in the physical interference model. CoRR (2015)
Fabiano de S. Oliveira, Valmir Carneiro Barbosa
Counting independent terms in big-oh notation. CoRR (2015)
Ubiratam de Paula Junior, Daniel de Oliveira, Yuri Frota, Valmir Carneiro Barbosa, Lúcia M. A. Drummond
Detecting and Handling Flash-Crowd Events on Cloud Environments. CoRR (2015)
Kátia K. Cassiano, Valmir Carneiro Barbosa
Information Integration in Elementary Cellular Automata. J. Cell. Autom. 10 (3-4) (2015)
Ubiratam de Paula Junior, Lúcia M. A. Drummond, Daniel de Oliveira, Yuri Frota, Valmir Carneiro Barbosa
Handling Flash-Crowd Events to Improve the Performance of Web Applications. CoRR (2014)
Fabiano de S. Oliveira, Valmir Carneiro Barbosa
Revisiting deadlock prevention: A probabilistic approach. Networks 63 (2) (2014)
Pedro Smith Coutinho, José Ferreira de Rezende, Valmir Carneiro Barbosa
Cooperation in Cognitive Radio Networks. SBRC (2014)
Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida
Local heuristic for the refinement of multi-path routing in wireless mesh networks. Comput. Networks 57 (1) (2013)
Diogo B. Lima, Yasset Pérez-Riverol, Fabio C. S. Nogueira, Gilberto B. Domont, Jesus Noda, Felipe da Veiga Leprevost, Vladimir Besada, Felipe M. G. França, Valmir Carneiro Barbosa, Aniel Sánchez, Paulo C. Carvalho
Effectively addressing complex proteomic search spaces with peptide spectrum matching. Bioinform. 29 (10) (2013)
Valmir Carneiro Barbosa
The Conduciveness of CA-Rule Graphs. Artif. Life 19 (2) (2013)
Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti
The predecessor-existence problem for k-reversible processes. CoRR (2013)
Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti
An energy function and its application to the periodic behavior of k-reversible processes. CoRR (2013)
Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida
Local heuristic for the refinement of multi-path routing in wireless mesh networks CoRR (2012)
Flavio B. Gonzaga, Valmir Carneiro Barbosa, Geraldo Xexéo
The network structure of mathematical knowledge according to the Wikipedia, MathWorld, and DLMF online libraries CoRR (2012)
Valmir Carneiro Barbosa
The conduciveness of CA-rule graphs CoRR (2012)
Paulo C. Carvalho, John R. Yates III, Valmir Carneiro Barbosa
Improving the TFold test for differential shotgun proteomics. Bioinform. 28 (12) (2012)
Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida
Scheduling links for heavy traffic on interfering routes in wireless mesh networks. Comput. Networks 56 (5) (2012)
Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida
Scheduling links for heavy traffic on interfering routes in wireless mesh networks CoRR (2011)
Luis Otavio Rigo Junior, Valmir Carneiro Barbosa
Evolved preambles for MAX-SAT heuristics CoRR (2011)
Luis Otavio Rigo Junior, Valmir Carneiro Barbosa
Evolved Preambles for MAX-SAT Heuristics. IJCCI (ECTA-FCTA) (2011)
Fabio R. J. Vieira, Valmir Carneiro Barbosa
Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions. Nat. Comput. 10 (1) (2011)
Paulo C. Carvalho, Juliana S. G. Fischer, Jonas Perales, John R. Yates III, Valmir Carneiro Barbosa, Elias Bareinboim
Analyzing marginal cases in differential shotgun proteomics. Bioinform. 27 (2) (2011)
Paulo C. Carvalho, Xuemei Han, Tao Xu, Daniel Cociorva, Maria da Gloria Carvalho, Valmir Carneiro Barbosa, John R. Yates III
XDIA: improving on the label-free data-independent analysis. Bioinform. 26 (6) (2010)
Valmir Carneiro Barbosa
Network conduciveness with application to the graph-coloring and independent-set optimization transitions CoRR (2010)
Fabiano de S. Oliveira, Valmir Carneiro Barbosa
Revisiting deadlock prevention: a probabilistic approach CoRR (2010)
Rodolfo M. Pussente, Valmir Carneiro Barbosa
An algorithm for clock synchronization with the gradient property in sensor networks. J. Parallel Distributed Comput. 69 (3) (2009)
Valmir Carneiro Barbosa, Fernando M. L. Ferreira, Daniel V. Kling, Eduardo Lopes, Fábio Protti, Eber A. Schmitz
Structured construction and simulation of nondeterministic stochastic activity networks. Eur. J. Oper. Res. 198 (1) (2009)
Rodrigo S. C. Leão, Valmir Carneiro Barbosa
Approximate Conditional Distributions of Distances between Nodes in a Two-Dimensional Sensor Network. ASMTA (2009)
Ricardo C. Corrêa, Valmir Carneiro Barbosa
Partially ordered distributed computations on asynchronous point-to-point networks. Parallel Comput. 35 (1) (2009)
Paulo C. Carvalho, Tao Xu, Xuemei Han, Daniel Cociorva, Valmir Carneiro Barbosa, John R. Yates III
YADA: a tool for taking the most out of high-resolution spectra. Bioinform. 25 (20) (2009)
Rodrigo S. C. Leão, Valmir Carneiro Barbosa
Approximate conditional distributions of distances between nodes in a two-dimensional sensor network CoRR (2008)
Andre Nathan, Valmir Carneiro Barbosa
V-like Formations in Flocks of Artificial Birds. Artif. Life 14 (2) (2008)
Paulo C. Carvalho, Juliana S. G. Fischer, Emily I. Chen, John R. Yates III, Valmir Carneiro Barbosa
PatternLab for proteomics: a tool for differential shotgun proteomics. BMC Bioinform. 9 (2008)
Rosa M. V. Figueiredo, Valmir Carneiro Barbosa, Nelson Maculan, Cid C. de Souza
Acyclic Orientations with Path Constraints. RAIRO Oper. Res. 42 (4) (2008)
Alexandre O. Stauffer, Valmir Carneiro Barbosa
Probabilistic heuristics for disseminating information in networks. IEEE/ACM Trans. Netw. 15 (2) (2007)
Rodolfo M. Pussente, Valmir Carneiro Barbosa
An algorithm for clock synchronization with the gradient property in sensor networks CoRR (2007)
Fabio R. J. Vieira, Valmir Carneiro Barbosa
Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions CoRR (2007)
Alexandre H. L. Porto, Valmir Carneiro Barbosa
Multiple Sequence Alignment Based on Set Covers. EvoWorkshops (2006)
Valmir Carneiro Barbosa, Fernando M. N. Miranda, Matheus C. M. Agostini
Cell-centric heuristics for the classification of cellular automata. Parallel Comput. 32 (1) (2006)
Rodrigo S. C. Leão, Valmir Carneiro Barbosa
Minimal Chordal Sense of Direction and Circulant Graphs. MFCS (2006)
Alexandre H. L. Porto, Valmir Carneiro Barbosa
A Methodology for Determining Amino-Acid Substitution Matrices from Set Covers. EvoWorkshops (2006)
Ricardo C. Corrêa, Valmir Carneiro Barbosa
Partially ordered distributed computations on asynchronous point-to-point networks CoRR (2006)
Carlos A. G. Assis, Edil S. T. Fernandes, Valmir Carneiro Barbosa
Modeling the Input History of Programs for Improved Instruction-Memory Performance. Comput. J. 49 (6) (2006)
Andre Nathan, Valmir Carneiro Barbosa
V-like formations in flocks of artificial birds CoRR (2006)
Renato C. Dutra, Valmir Carneiro Barbosa
Finding routes in anonymous sensor networks. Inf. Process. Lett. 98 (4) (2006)
Luis Otavio Rigo Junior, Valmir Carneiro Barbosa
Two-dimensional cellular automata and the analysis of correlated time series. Pattern Recognit. Lett. 27 (12) (2006)
Alexandre O. Stauffer, Valmir Carneiro Barbosa
Local heuristics and the emergence of spanning subgraphs in complex networks. Theor. Comput. Sci. 355 (1) (2006)
Valmir Carneiro Barbosa, Fernando M. L. Ferreira, Daniel V. Kling, Eduardo Lopes, Fábio Protti, Eber A. Schmitz
On simulating nondeterministic stochastic activity networks CoRR (2006)
Alexandre O. Stauffer, Valmir Carneiro Barbosa
A dissemination strategy for immunizing scale-free networks CoRR (2005)
Rosa M. V. Figueiredo, Valmir Carneiro Barbosa, Nelson Maculan, Cid C. de Souza
Acyclic orientations with path constraints CoRR (2005)
Rodrigo S. C. Leão, Valmir Carneiro Barbosa
6-cycle double covers of cubic graphs CoRR (2005)
Luis Otavio Rigo Junior, Valmir Carneiro Barbosa
Two-dimensional cellular automata and the analysis of correlated time series CoRR (2005)
Renato C. Dutra, Valmir Carneiro Barbosa
Finding routes in anonymous sensor networks CoRR (2005)
Rodrigo S. C. Leão, Valmir Carneiro Barbosa
Minimal chordal sense of direction and circulant graphs CoRR (2005)
Rodrigo S. C. Leão, Valmir Carneiro Barbosa
Generating all the cubic graphs that have a 6-cycle double cover. Electron. Notes Discret. Math. 19 (2005)
Alexandre O. Stauffer, Valmir Carneiro Barbosa
A study of the edge-switching Markov-chain method for the generation of random graphs CoRR (2005)
Valmir Carneiro Barbosa, Luciana C. D. Campos
A Novel Evolutionary Formulation of the Maximum Independent Set Problem. J. Comb. Optim. 8 (4) (2004)
Lucia Draque Penso, Valmir Carneiro Barbosa
A distributed algorithm to find k-dominating sets. Discret. Appl. Math. 141 (1-3) (2004)
Alexandre O. Stauffer, Valmir Carneiro Barbosa
Local heuristics and the emergence of spanning subgraphs in complex networks CoRR (2004)
Carlos A. G. Assis, Edil S. T. Fernandes, Valmir Carneiro Barbosa
Modeling the input history of programs for improved instruction-memory performance CoRR (2004)
Alexandre O. Stauffer, Valmir Carneiro Barbosa
Probabilistic heuristics for disseminating information in networks CoRR (2004)
Valmir Carneiro Barbosa, Carlos A. G. Assis, Josina O. do Nascimento
Two Novel Evolutionary Formulations of the Graph Coloring Problem. J. Comb. Optim. 8 (1) (2004)
Valmir Carneiro Barbosa, Luciana C. D. Campos
A novel evolutionary formulation of the maximum independent set problem CoRR (2003)
Lúcia M. A. Drummond, Valmir Carneiro Barbosa
On reducing the complexity of matrix clocks. Parallel Comput. 29 (7) (2003)
Lúcia M. A. Drummond, Valmir Carneiro Barbosa
On reducing the complexity of matrix clocks CoRR (2003)
Valmir Carneiro Barbosa
The combinatorics of resource sharing CoRR (2003)
Valmir Carneiro Barbosa, Carlos A. G. Assis, Josina O. do Nascimento
Two novel evolutionary formulations of the graph coloring problem CoRR (2003)
Alexandre H. L. Porto, Valmir Carneiro Barbosa
Finding approximate palindromes in strings CoRR (2003)
Lucia Draque Penso, Valmir Carneiro Barbosa
A distributed algorithm to find k-dominating sets CoRR (2003)
Alexandre H. L. Porto, Valmir Carneiro Barbosa
Finding approximate palindromes in strings. Pattern Recognit. 35 (11) (2002)
Edil S. T. Fernandes, Valmir Carneiro Barbosa, Fabiano Ramos
Instruction Usage and the Memory Gap Problem. SBAC-PAD (2002)
Rodrigo Basilio, Gerson Zaverucha, Valmir Carneiro Barbosa
Learning Logic Programs with Neural Networks. ILP (2001)
Valmir Carneiro Barbosa, Mario R. F. Benevides, Felipe M. G. França
Sharing Resources at Nonuniform Access Rates. Theory Comput. Syst. 34 (1) (2001)
Lucia Draque Penso, Valmir Carneiro Barbosa
A distributed algorithm for k-dominating sets. Electron. Notes Discret. Math. 7 (2001)
Valmir Carneiro Barbosa, Mario R. F. Benevides, Ayru L. Oliveira Filho
A priority dynamics for generalized drinking philosophers. Inf. Process. Lett. 79 (4) (2001)
Valmir Carneiro Barbosa, Jayme Luiz Szwarcfiter
Generating all the Acyclic Orientations of an Undirected Graph. Inf. Process. Lett. 72 (1-2) (1999)
Roseli S. Wedemann, Valmir Carneiro Barbosa, Raul Donangelo
Defeasible time-stepping. Parallel Comput. 25 (4) (1999)
Roseli S. Wedemann, Valmir Carneiro Barbosa, Raul Donangelo
Erratum to "Defeasible time-stepping" [Parallel Computing 25(4): 461-489 (1999)]. Parallel Comput. 25 (6) (1999)
Svetozar Margenov, Valmir Carneiro Barbosa
An Introduction to Distributed Algorithms [Book Review]. IEEE Concurr. 6 (1) (1998)
Ricardo José Machado, Valmir Carneiro Barbosa, Paulo Alexandre Neves
Learning in the combinatorial neural model. IEEE Trans. Neural Networks 9 (5) (1998)
Nelson A. Hallack, Gerson Zaverucha, Valmir Carneiro Barbosa
Towards a Hybrid Model of First-Order Theory Refinement. Hybrid Neural Systems (1998)
Romulo M. de Menezes, Gerson Zaverucha, Valmir Carneiro Barbosa
A Penalty-Function Approach to Rule Extraction from Knowledge-Based Neural Networks. ICONIP (1998)
Lúcia Maria de A. Drummond, Valmir Carneiro Barbosa
Distributed Breakpoint Detection in Message-Passing Programs. J. Parallel Distributed Comput. 39 (2) (1996)
Valmir Carneiro Barbosa, Stella C. S. Porto
An Algorithm for FIFO Message Delivery Among Migrating Tasks. Inf. Process. Lett. 53 (5) (1995)
Valmir Carneiro Barbosa, Lúcia Maria de A. Drummond, Astrid Luise H. Hellmuth
From distributed algorithms to OCCAM programs by successive refinements. J. Syst. Softw. 26 (3) (1994)
Valmir Carneiro Barbosa, Ricardo José Machado, Frederico dos S. Liporace
A neural system for deforestation monitoring on Landsat images of the Amazon Region. Int. J. Approx. Reason. 11 (4) (1994)
Nalvo F. de Almeida Jr., Valmir Carneiro Barbosa
A String-Matching Algorithm for the CREW PRAM. Inf. Process. Lett. 47 (5) (1993)
Leila M. R. Eizirik, Valmir Carneiro Barbosa, Sueli Bandeira Teixeira Mendes
A Bayesian-Network Approach to Lexical Disambiguation. Cogn. Sci. 17 (2) (1993)
Eliseu M. Chaves Filho, Valmir Carneiro Barbosa
Time Sharing in Hypercube Multiprocessors. SPDP (1992)
Lélio de P. Sá Freitas, Valmir Carneiro Barbosa
Experiments in Parallel Heuristic Search. ICPP (3) (1991)
Valmir Carneiro Barbosa
Blocking Versus Nonblocking Interprocess Communication: A Note on the Effect on Concurrency. Inf. Process. Lett. 36 (4) (1990)
Valmir Carneiro Barbosa
Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs. IEEE Trans. Software Eng. 16 (11) (1990)
Valmir Carneiro Barbosa, Priscila Machado Vieira Lima
On the Distributed Parallel Simulation of Hopfield's Neural Networks. Softw. Pract. Exp. 20 (10) (1990)
Valmir Carneiro Barbosa, Eli Gafni
A Distributed Implementation of Simulated Annealing. J. Parallel Distributed Comput. 6 (2) (1989)

Valmir Carneiro Barbosa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Valmir Carneiro Barbosa