Valmir C. Barbosa

According to our database, Valmir C. Barbosa authored at least 106 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Exact Solution of the Full RMSA Problem in Elastic Optical Networks.

Fabio David, José Ferreira de Rezende, Valmir C. Barbosa

IEEE Netw. Lett., March, 2024

A flexible algorithm to offload DAG applications for edge computing.

Gabriel F. C. de Queiroz, José Ferreira de Rezende, Valmir C. Barbosa

J. Netw. Comput. Appl., February, 2024

2023

Near-optimal pilot assignment in cell-free massive MIMO.

Raphael M. Guedes, José Ferreira de Rezende, Valmir C. Barbosa

CoRR, 2023

2022

Increasing confidence in proteomic spectral deconvolution through mass defect.

Milan A. Clasen, Louise U. Kurt, Marlon D. M. Santos, Diogo B. Lima, Fan Liu, Fábio C. Gozzo, Valmir C. Barbosa, Paulo C. Carvalho

Bioinform., November, 2022

Shape complexity in cluster analysis.

Eduardo J. Aguilar, Valmir C. Barbosa

CoRR, 2022

2021

Integrated Optimization of Heterogeneous-Network Management and the Elusive Role of Macrocells.

Raphael M. Guedes, José Ferreira de Rezende, Valmir C. Barbosa

IEEE Access, 2021

2020

Scheduling Wireless Links in the Physical Interference Model by Fractional Edge Coloring.

Guilherme Iecker Ricardo, José Ferreira de Rezende, Valmir C. Barbosa

IEEE Wirel. Commun. Lett., 2020

Local Symmetry in Random Graphs.

Jefferson Elbert Simões, Daniel R. Figueiredo, Valmir C. Barbosa

IEEE Trans. Netw. Sci. Eng., 2020

2019

Top-Down Garbage Collector: a tool for selecting high-quality top-down proteomics mass spectra.

Diogo B. Lima, André Ramos Fernandes Da Silva, Mathieu Dupré, Marlon D. M. Santos, Milan A. Clasen, Louise U. Kurt, Priscila F. Aquino, Valmir C. Barbosa, Paulo C. Carvalho, Julia Chamot-Rooke

Bioinform., 2019

2018

A computational study of f-reversible processes on graphs.

Carlos Vinícius G. C. Lima, Leonardo I. L. Oliveira, Valmir C. Barbosa, Mitre Costa Dourado, Fábio Protti, Jayme Luiz Szwarcfiter

Discret. Appl. Math., 2018

Sketching Data Structures for Massive Graph Problems.

Juan P. A. Lopes, Fabiano de S. Oliveira, Paulo E. D. Pinto, Valmir C. Barbosa

Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2018

A Distributed System for SearchOnMath Based on the Microsoft BizSpark Program.

Ricardo M. Oliveira, Flavio B. Gonzaga, Valmir C. Barbosa, Geraldo Bonorino Xexéo

Proceedings of the XXXIII Simpósio Brasileiro de Banco de Dados, 2018

2017

A note on counting independent terms in asymptotic expressions of computational complexity.

Fabiano de S. Oliveira, Valmir C. Barbosa

Optim. Lett., 2017

Information Integration from Distributed Threshold-Based Interactions.

Valmir C. Barbosa

Complex., 2017

DiagnoProt: a tool for discovery of new molecules by mass spectrometry.

André Ramos Fernandes Da Silva, Diogo B. Lima, Alejandro Leyva, Rosario Durán, Carlos Batthyany, Priscila F. Aquino, Juliana C. Leal, Jimmy E. Rodriguez, Gilberto B. Domont, Marlon D. M. Santos, Julia Chamot-Rooke, Valmir C. Barbosa, Paulo C. Carvalho

Bioinform., 2017

2016

Adaptive event sensing in networks of autonomous mobile agents.

Rodrigo R. Esch, Fábio Protti, Valmir C. Barbosa

J. Netw. Comput. Appl., 2016

Approximating the degree sequences of two random graphs.

Jefferson Elbert Simões, Daniel R. Figueiredo, Valmir Carneiro Barbosa

CoRR, 2016

On the mediation of program allocation in high-demand environments.

Fabiano de S. Oliveira, Valmir C. Barbosa

CoRR, 2016

Scheduling wireless links by vertex multicoloring in the physical interference model.

Fabio R. J. Vieira, José Ferreira de Rezende, Valmir C. Barbosa

Comput. Networks, 2016

Deadlock models in distributed computation: foundations, design, and computational complexity.

Valmir Carneiro Barbosa, Alan Diêgo A. Carneiro, Fábio Protti, Uéverton S. Souza

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

The predecessor-existence problem for k-reversible processes.

Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti

Theor. Comput. Sci., 2015

Further insights into the interareal connectivity of a cortical network.

Luciano Dyballa, Valmir C. Barbosa

Netw. Sci., 2015

Information Integration in Elementary Cellular Automata.

Kátia K. Cassiano, Valmir Carneiro Barbosa

J. Cell. Autom., 2015

Scheduling wireless links by graph multicoloring in the physical interference model.

Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa

CoRR, 2015

Counting independent terms in big-oh notation.

Fabiano de S. Oliveira, Valmir Carneiro Barbosa

CoRR, 2015

Detecting and Handling Flash-Crowd Events on Cloud Environments.

Ubiratam de Paula Junior, Daniel de Oliveira, Yuri Frota, Valmir Carneiro Barbosa, Lúcia M. A. Drummond

CoRR, 2015

Error-Prone Cellular Automata as Metaphors of Immunity as Computation.

Kátia K. Cassiano, Valmir C. Barbosa

Complex Syst., 2015

Handling flash-crowd events to improve the performance of web applications.

Ubiratam de Paula Junior, Lúcia M. A. Drummond, Daniel de Oliveira, Yuri Frota, Valmir Carneiro Barbosa

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Early detection of epilepsy seizures based on a weightless neural network.

Kleber de Aguiar, Felipe Maia Galvão França, Valmir Carneiro Barbosa, César A. D. Teixeira

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2014

Revisiting deadlock prevention: A probabilistic approach.

Fabiano de S. Oliveira, Valmir Carneiro Barbosa

Networks, 2014

The network structure of mathematical knowledge according to the Wikipedia, MathWorld, and DLMF online libraries.

Flavio B. Gonzaga, Valmir C. Barbosa, Geraldo Xexéo

Netw. Sci., 2014

Cooperation in Cognitive Radio Networks.

Pedro Smith Coutinho, José Ferreira de Rezende, Valmir Carneiro Barbosa

Proceedings of the 2014 Brazilian Symposium on Computer Networks and Distributed Systems, 2014

2013

An energy function and its application to the periodic behavior of k-reversible processes.

Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti

CoRR, 2013

Local heuristic for the refinement of multi-path routing in wireless mesh networks.

Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida

Comput. Networks, 2013

Effectively addressing complex proteomic search spaces with peptide spectrum matching.

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

Bioinform., 2013

The Conduciveness of CA-Rule Graphs.

Valmir Carneiro Barbosa

Artif. Life, 2013

2012

Scheduling links for heavy traffic on interfering routes in wireless mesh networks.

Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida

Comput. Networks, 2012

Improving the TFold test for differential shotgun proteomics.

Paulo C. Carvalho, John R. Yates III, Valmir Carneiro Barbosa

Bioinform., 2012

2011

Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions.

Fabio R. J. Vieira, Valmir Carneiro Barbosa

Nat. Comput., 2011

Analyzing marginal cases in differential shotgun proteomics.

Paulo C. Carvalho, Juliana S. G. Fischer, Jonas Perales, John R. Yates III, Valmir Carneiro Barbosa, Elias Bareinboim

Bioinform., 2011

Evolved Preambles for MAX-SAT Heuristics.

Luis Otavio Rigo Junior, Valmir Carneiro Barbosa

Proceedings of the ECTA and FCTA 2011, 2011

2010

Network conduciveness with application to the graph-coloring and independent-set optimization transitions

Valmir Carneiro Barbosa

CoRR, 2010

XDIA: improving on the label-free data-independent analysis.

Paulo C. Carvalho, Xuemei Han, Tao Xu, Daniel Cociorva, Maria da Gloria Carvalho, Valmir Carneiro Barbosa, John R. Yates III

Bioinform., 2010

Exploiting the distribution of distances between nodes to efficiently solve the localization problem in wireless sensor networks.

Rodrigo S. C. Leão, Valmir C. Barbosa

Proceedings of the 5th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks, 2010

2009

Partially ordered distributed computations on asynchronous point-to-point networks.

Ricardo C. Corrêa, Valmir Carneiro Barbosa

Parallel Comput., 2009

An algorithm for clock synchronization with the gradient property in sensor networks.

Rodolfo M. Pussente, Valmir Carneiro Barbosa

J. Parallel Distributed Comput., 2009

Structured construction and simulation of nondeterministic stochastic activity networks.

Valmir Carneiro Barbosa, Fernando M. L. Ferreira, Daniel V. Kling, Eduardo Lopes, Fábio Protti, Eber A. Schmitz

Eur. J. Oper. Res., 2009

YADA: a tool for taking the most out of high-resolution spectra.

Paulo C. Carvalho, Tao Xu, Xuemei Han, Daniel Cociorva, Valmir Carneiro Barbosa, John R. Yates III

Bioinform., 2009

Approximate Conditional Distributions of Distances between Nodes in a Two-Dimensional Sensor Network.

Rodrigo S. C. Leão, Valmir Carneiro Barbosa

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2009

2008

Acyclic Orientations with Path Constraints.

Rosa M. V. Figueiredo, Valmir Carneiro Barbosa, Nelson Maculan, Cid C. de Souza

RAIRO Oper. Res., 2008

PatternLab for proteomics: a tool for differential shotgun proteomics.

Paulo C. Carvalho, Juliana S. G. Fischer, Emily I. Chen, John R. Yates III, Valmir Carneiro Barbosa

BMC Bioinform., 2008

V-like Formations in Flocks of Artificial Birds.

Andre Nathan, Valmir Carneiro Barbosa

Artif. Life, 2008

2007

Probabilistic heuristics for disseminating information in networks.

Alexandre O. Stauffer, Valmir Carneiro Barbosa

IEEE/ACM Trans. Netw., 2007

2006

Local heuristics and the emergence of spanning subgraphs in complex networks.

Alexandre O. Stauffer, Valmir Carneiro Barbosa

Theor. Comput. Sci., 2006

Two-dimensional cellular automata and the analysis of correlated time series.

Luis Otavio Rigo Junior, Valmir Carneiro Barbosa

Pattern Recognit. Lett., 2006

Cell-centric heuristics for the classification of cellular automata.

Valmir Carneiro Barbosa, Fernando M. N. Miranda, Matheus C. M. Agostini

Parallel Comput., 2006

Finding routes in anonymous sensor networks.

Renato C. Dutra, Valmir Carneiro Barbosa

Inf. Process. Lett., 2006

On simulating nondeterministic stochastic activity networks

Valmir Carneiro Barbosa, Fernando M. L. Ferreira, Daniel V. Kling, Eduardo Lopes, Fábio Protti, Eber A. Schmitz

CoRR, 2006

Modeling the Input History of Programs for Improved Instruction-Memory Performance.

Carlos A. G. Assis, Edil S. T. Fernandes, Valmir Carneiro Barbosa

Comput. J., 2006

Minimal Chordal Sense of Direction and Circulant Graphs.

Rodrigo S. C. Leão, Valmir Carneiro Barbosa

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

A Methodology for Determining Amino-Acid Substitution Matrices from Set Covers.

Alexandre H. L. Porto, Valmir Carneiro Barbosa

Proceedings of the Applications of Evolutionary Computing, 2006

Multiple Sequence Alignment Based on Set Covers.

Alexandre H. L. Porto, Valmir Carneiro Barbosa

Proceedings of the Applications of Evolutionary Computing, 2006

2005

Generating all the cubic graphs that have a 6-cycle double cover.

Rodrigo S. C. Leão, Valmir Carneiro Barbosa

Electron. Notes Discret. Math., 2005

A study of the edge-switching Markov-chain method for the generation of random graphs

Alexandre O. Stauffer, Valmir Carneiro Barbosa

CoRR, 2005

A dissemination strategy for immunizing scale-free networks

Alexandre O. Stauffer, Valmir Carneiro Barbosa

CoRR, 2005

6-cycle double covers of cubic graphs

Rodrigo S. C. Leão, Valmir Carneiro Barbosa

CoRR, 2005

2004

A Novel Evolutionary Formulation of the Maximum Independent Set Problem.

Valmir Carneiro Barbosa, Luciana C. D. Campos

J. Comb. Optim., 2004

Two Novel Evolutionary Formulations of the Graph Coloring Problem.

Valmir Carneiro Barbosa, Carlos A. G. Assis, Josina O. do Nascimento

J. Comb. Optim., 2004

A distributed algorithm to find k-dominating sets.

Lucia Draque Penso, Valmir Carneiro Barbosa

Discret. Appl. Math., 2004

2003

On reducing the complexity of matrix clocks.

Lúcia M. A. Drummond, Valmir Carneiro Barbosa

Parallel Comput., 2003

The combinatorics of resource sharing

Valmir Carneiro Barbosa

CoRR, 2003

2002

Finding approximate palindromes in strings.

Alexandre H. L. Porto, Valmir Carneiro Barbosa

Pattern Recognit., 2002

Instruction Usage and the Memory Gap Problem.

Edil S. T. Fernandes, Valmir Carneiro Barbosa, Fabiano Ramos

Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002

2001

Sharing Resources at Nonuniform Access Rates.

Valmir Carneiro Barbosa, Mario R. F. Benevides, Felipe M. G. França

Theory Comput. Syst., 2001

A priority dynamics for generalized drinking philosophers.

Valmir Carneiro Barbosa, Mario R. F. Benevides, Ayru L. Oliveira Filho

Inf. Process. Lett., 2001

A distributed algorithm for k-dominating sets.

Lucia Draque Penso, Valmir Carneiro Barbosa

Electron. Notes Discret. Math., 2001

Learning Logic Programs with Neural Networks.

Rodrigo Basilio, Gerson Zaverucha, Valmir Carneiro Barbosa

Proceedings of the Inductive Logic Programming, 11th International Conference, 2001

1999

Erratum to "Defeasible time-stepping" [Parallel Computing 25(4): 461-489 (1999)].

Roseli Suzi Wedemann, Valmir Carneiro Barbosa, Raul Donangelo

Parallel Comput., 1999

Defeasible time-stepping.

Roseli Suzi Wedemann, Valmir Carneiro Barbosa, Raul Donangelo

Parallel Comput., 1999

Generating all the Acyclic Orientations of an Undirected Graph.

Valmir Carneiro Barbosa, Jayme Luiz Szwarcfiter

Inf. Process. Lett., 1999

1998

Learning in the combinatorial neural model.

Ricardo José Machado, Valmir Carneiro Barbosa, Paulo Alexandre Neves

IEEE Trans. Neural Networks, 1998

An Introduction to Distributed Algorithms [Book Review].

Svetozar Margenov, Valmir Carneiro Barbosa

IEEE Concurr., 1998

A Penalty-Function Approach to Rule Extraction from Knowledge-Based Neural Networks.

Romulo M. de Menezes, Gerson Zaverucha, Valmir Carneiro Barbosa

Proceedings of the Fifth International Conference on Neural Information Processing, 1998

Towards a Hybrid Model of First-Order Theory Refinement.

Nelson A. Hallack, Gerson Zaverucha, Valmir Carneiro Barbosa

Proceedings of the Hybrid Neural Systems, 1998

1996

Distributed Breakpoint Detection in Message-Passing Programs.

Lúcia Maria de A. Drummond, Valmir Carneiro Barbosa

J. Parallel Distributed Comput., 1996

An introduction to distributed algorithms.

Valmir Carneiro Barbosa

MIT Press, ISBN: 978-0-262-02412-9, 1996

1995

An Algorithm for FIFO Message Delivery Among Migrating Tasks.

Valmir Carneiro Barbosa, Stella C. S. Porto

Inf. Process. Lett., 1995

1994

From distributed algorithms to OCCAM programs by successive refinements.

Valmir Carneiro Barbosa, Lúcia Maria de A. Drummond, Astrid Luise H. Hellmuth

J. Syst. Softw., 1994

A neural system for deforestation monitoring on Landsat images of the Amazon Region.

Valmir Carneiro Barbosa, Ricardo José Machado, Frederico dos S. Liporace

Int. J. Approx. Reason., 1994

1993

A String-Matching Algorithm for the CREW PRAM.

Nalvo F. de Almeida Jr., Valmir Carneiro Barbosa

Inf. Process. Lett., 1993

A Bayesian-Network Approach to Lexical Disambiguation.

Leila M. R. Eizirik, Valmir Carneiro Barbosa, Sueli Bandeira Teixeira Mendes

Cogn. Sci., 1993

Massively parallel models of computation - distributed parallel processing in artificial intelligence and optimization.

Valmir Carneiro Barbosa

Ellis Horwood series in artificial intelligence, Ellis Horwood, ISBN: 978-0-13-562968-0, 1993

1992

Fast linear system solution by neural networks.

Luís Alfredo V. de Carvalho, Valmir C. Barbosa

Oper. Res. Lett., 1992

Time Sharing in Hypercube Multiprocessors.

Eliseu M. Chaves Filho, Valmir Carneiro Barbosa

Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, 1992

1991

Micro-instruction placement by simulated annealing.

Edil S. T. Fernandes, Valmir C. Barbosa, Alberto Ferreira de Souza, Nelson Q. Vasconcelos

Microprocessing and Microprogramming, 1991

An integrated software environment for large-scale Occam programming.

Valmir C. Barbosa, Lúcia Maria de A. Drummond, Astrid Luise H. Hellmuth

Microprocessing and Microprogramming, 1991

Experiments in Parallel Heuristic Search.

Lélio de P. Sá Freitas, Valmir Carneiro Barbosa

Proceedings of the International Conference on Parallel Processing, 1991

1990

Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs.

Valmir Carneiro Barbosa

IEEE Trans. Software Eng., 1990

On the Distributed Parallel Simulation of Hopfield's Neural Networks.

Valmir Carneiro Barbosa, Priscila Machado Vieira Lima

Softw. Pract. Exp., 1990

An Occam-based evaluation of a parallel version of simulated annealing.

Valmir C. Barbosa, Maria Cristina Silva Boeres

Microprocessing and Microprogramming, 1990

Blocking Versus Nonblocking Interprocess Communication: A Note on the Effect on Concurrency.

Valmir Carneiro Barbosa

Inf. Process. Lett., 1990

Feasible directions linear programming by neural networks.

Valmir C. Barbosa, L. A. V. de Carvalho

Proceedings of the IJCNN 1990, 1990

1989

Concurrency in Heavily Loaded Neighborhood-Constrained Systems.

Valmir Carneiro Barbosa, Eli Gafni

ACM Trans. Program. Lang. Syst., 1989

MPH - A Hybrid Parallel Machine.

Edil Severiano Tavares Fernandes, C. L. de Amorim, Valmir C. Barbosa, Felipe M. G. França, A. F. de Souza

Microprocess. Microprogramming, 1989

A Distributed Implementation of Simulated Annealing.

Valmir Carneiro Barbosa, Eli Gafni

J. Parallel Distributed Comput., 1989

1988

Specification of a communication virtual processor for parallel processing systems.

Valmir C. Barbosa, Felipe M. G. França

Microprocess. Microprogramming, 1988