![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Valmir C. Barbosa
Person information
- affiliation: Federal University of Rio de Janeiro, Brazil
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j71]Fabio David
, José Ferreira de Rezende
, Valmir C. Barbosa
:
Exact Solution of the Full RMSA Problem in Elastic Optical Networks. IEEE Netw. Lett. 6(1): 55-59 (2024) - [j70]Gabriel F. C. de Queiroz
, José Ferreira de Rezende
, Valmir C. Barbosa
:
A flexible algorithm to offload DAG applications for edge computing. J. Netw. Comput. Appl. 222: 103791 (2024) - 2023
- [i46]Gabriel F. C. de Queiroz, José Ferreira de Rezende, Valmir C. Barbosa:
A flexible algorithm to offload DAG applications for edge computing. CoRR abs/2306.09458 (2023) - [i45]Raphael M. Guedes, José Ferreira de Rezende, Valmir C. Barbosa:
Near-optimal pilot assignment in cell-free massive MIMO. CoRR abs/2308.03547 (2023) - [i44]Fabio David, José Ferreira de Rezende, Valmir C. Barbosa:
Exact solution of the full RMSA problem in elastic optical networks. CoRR abs/2309.07621 (2023) - 2022
- [j69]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
:
Increasing confidence in proteomic spectral deconvolution through mass defect. Bioinform. 38(22): 5119-5120 (2022) - [i43]Eduardo J. Aguilar, Valmir C. Barbosa:
Shape complexity in cluster analysis. CoRR abs/2205.08046 (2022) - 2021
- [j68]Raphael M. Guedes
, José Ferreira de Rezende
, Valmir C. Barbosa
:
Integrated Optimization of Heterogeneous-Network Management and the Elusive Role of Macrocells. IEEE Access 9: 149552-149559 (2021) - [i42]Raphael M. Guedes, José Ferreira de Rezende, Valmir C. Barbosa:
Integrated optimization of heterogeneous-network management and the elusive role of macrocells. CoRR abs/2104.00508 (2021) - 2020
- [j67]Jefferson Elbert Simões
, Daniel R. Figueiredo
, Valmir C. Barbosa
:
Local Symmetry in Random Graphs. IEEE Trans. Netw. Sci. Eng. 7(3): 1913-1924 (2020) - [j66]Guilherme Iecker Ricardo
, José Ferreira de Rezende
, Valmir C. Barbosa
:
Scheduling Wireless Links in the Physical Interference Model by Fractional Edge Coloring. IEEE Wirel. Commun. Lett. 9(4): 528-532 (2020)
2010 – 2019
- 2019
- [j65]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
:
Top-Down Garbage Collector: a tool for selecting high-quality top-down proteomics mass spectra. Bioinform. 35(18): 3489-3490 (2019) - 2018
- [j64]Carlos Vinícius G. C. Lima
, Leonardo I. L. Oliveira, Valmir C. Barbosa
, Mitre Costa Dourado, Fábio Protti, Jayme Luiz Szwarcfiter:
A computational study of f-reversible processes on graphs. Discret. Appl. Math. 245: 77-93 (2018) - [c20]Ricardo M. Oliveira, Flavio B. Gonzaga, Valmir C. Barbosa, Geraldo Bonorino Xexéo:
A Distributed System for SearchOnMath Based on the Microsoft BizSpark Program. SBBD 2018: 289-294 - [c19]Juan P. A. Lopes, Fabiano de S. Oliveira
, Paulo E. D. Pinto, Valmir C. Barbosa
:
Sketching Data Structures for Massive Graph Problems. Poly/DMAH@VLDB 2018: 57-67 - [i41]Guilherme Iecker Ricardo, José Ferreira de Rezende, Valmir C. Barbosa:
Scheduling wireless links in the physical interference model by fractional edge coloring. CoRR abs/1805.01881 (2018) - 2017
- [j63]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:
DiagnoProt: a tool for discovery of new molecules by mass spectrometry. Bioinform. 33(12): 1883-1885 (2017) - [j62]Valmir C. Barbosa
:
Information Integration from Distributed Threshold-Based Interactions. Complex. 2017: 7046359:1-7046359:14 (2017) - [j61]Fabiano de S. Oliveira
, Valmir C. Barbosa
:
A note on counting independent terms in asymptotic expressions of computational complexity. Optim. Lett. 11(8): 1757-1765 (2017) - [i40]Ricardo M. Oliveira, Flavio B. Gonzaga, Valmir C. Barbosa, Geraldo Bonorino Xexéo:
A distributed system for SearchOnMath based on the Microsoft BizSpark program. CoRR abs/1711.04189 (2017) - 2016
- [j60]Fabio R. J. Vieira, José Ferreira de Rezende
, Valmir C. Barbosa
:
Scheduling wireless links by vertex multicoloring in the physical interference model. Comput. Networks 99: 125-133 (2016) - [j59]Rodrigo R. Esch, Fábio Protti, Valmir C. Barbosa
:
Adaptive event sensing in networks of autonomous mobile agents. J. Netw. Comput. Appl. 71: 118-129 (2016) - [c18]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: 538-541 - [i39]Jefferson Elbert Simões, Daniel R. Figueiredo, Valmir Carneiro Barbosa:
Approximating the degree sequences of two random graphs. CoRR abs/1601.02478 (2016) - [i38]Fabiano de S. Oliveira, Valmir C. Barbosa
:
On the mediation of program allocation in high-demand environments. CoRR abs/1604.08137 (2016) - 2015
- [j58]Kátia K. Cassiano, Valmir C. Barbosa
:
Error-Prone Cellular Automata as Metaphors of Immunity as Computation. Complex Syst. 24(2) (2015) - [j57]Kátia K. Cassiano, Valmir Carneiro Barbosa:
Information Integration in Elementary Cellular Automata. J. Cell. Autom. 10(3-4): 235-260 (2015) - [j56]Luciano Dyballa
, Valmir C. Barbosa
:
Further insights into the interareal connectivity of a cortical network. Netw. Sci. 3(4): 526-550 (2015) - [j55]Leonardo I. L. Oliveira, Valmir Carneiro Barbosa
, Fábio Protti:
The predecessor-existence problem for k-reversible processes. Theor. Comput. Sci. 562: 406-418 (2015) - [c17]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: 4470-4474 - [c16]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: 769-774 - [i37]Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa:
Scheduling wireless links by graph multicoloring in the physical interference model. CoRR abs/1504.01647 (2015) - [i36]Rodrigo R. Esch, Fábio Protti, Valmir Carneiro Barbosa:
Adaptive event sensing in networks of autonomous mobile agents. CoRR abs/1506.01310 (2015) - [i35]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 abs/1510.03913 (2015) - [i34]Fabiano de S. Oliveira, Valmir Carneiro Barbosa:
Counting independent terms in big-oh notation. CoRR abs/1512.09363 (2015) - 2014
- [j54]Flavio B. Gonzaga, Valmir C. Barbosa
, Geraldo Xexéo
:
The network structure of mathematical knowledge according to the Wikipedia, MathWorld, and DLMF online libraries. Netw. Sci. 2(3): 367-386 (2014) - [j53]Fabiano de S. Oliveira
, Valmir Carneiro Barbosa
:
Revisiting deadlock prevention: A probabilistic approach. Networks 63(2): 203-210 (2014) - [c15]Pedro Smith Coutinho, José Ferreira de Rezende
, Valmir Carneiro Barbosa
:
Cooperation in Cognitive Radio Networks. SBRC 2014: 394-401 - [i33]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 abs/1410.2834 (2014) - [i32]Luciano Dyballa, Valmir C. Barbosa:
Further insights into the interareal connectivity of a cortical network. CoRR abs/1411.0431 (2014) - 2013
- [j52]Valmir Carneiro Barbosa
:
The Conduciveness of CA-Rule Graphs. Artif. Life 19(2): 255-266 (2013) - [j51]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): 1343-1344 (2013) - [j50]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): 273-285 (2013) - [i31]Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti:
The predecessor-existence problem for k-reversible processes. CoRR abs/1307.7259 (2013) - [i30]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 abs/1311.6126 (2013) - 2012
- [j49]Paulo C. Carvalho, John R. Yates III, Valmir Carneiro Barbosa
:
Improving the TFold test for differential shotgun proteomics. Bioinform. 28(12): 1652-1654 (2012) - [j48]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): 1584-1598 (2012) - [i29]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 abs/1203.1905 (2012) - [i28]Valmir Carneiro Barbosa:
The conduciveness of CA-rule graphs. CoRR abs/1204.6181 (2012) - [i27]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 abs/1212.3536 (2012) - 2011
- [j47]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): 275-276 (2011) - [j46]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): 551-581 (2011) - [c14]Luis Otavio Rigo Junior, Valmir Carneiro Barbosa:
Evolved Preambles for MAX-SAT Heuristics. IJCCI (ECTA-FCTA) 2011: 23-31 - [i26]Luis Otavio Rigo Junior, Valmir Carneiro Barbosa:
Evolved preambles for MAX-SAT heuristics. CoRR abs/1102.3868 (2011) - [i25]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 abs/1106.1590 (2011) - 2010
- [j45]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): 847-848 (2010) - [c13]Rodrigo S. C. Leão, Valmir C. Barbosa
:
Exploiting the distribution of distances between nodes to efficiently solve the localization problem in wireless sensor networks. PM2HW2N@MSWiM 2010: 9-16 - [i24]Valmir Carneiro Barbosa:
Network conduciveness with application to the graph-coloring and independent-set optimization transitions. CoRR abs/1003.1412 (2010) - [i23]Fabiano de S. Oliveira, Valmir Carneiro Barbosa:
Revisiting deadlock prevention: a probabilistic approach. CoRR abs/1010.4411 (2010)
2000 – 2009
- 2009
- [j44]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): 2734-2736 (2009) - [j43]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): 266-274 (2009) - [j42]Rodolfo M. Pussente, Valmir Carneiro Barbosa
:
An algorithm for clock synchronization with the gradient property in sensor networks. J. Parallel Distributed Comput. 69(3): 261-265 (2009) - [j41]Ricardo C. Corrêa
, Valmir Carneiro Barbosa
:
Partially ordered distributed computations on asynchronous point-to-point networks. Parallel Comput. 35(1): 12-28 (2009) - [c12]Rodrigo S. C. Leão, Valmir Carneiro Barbosa
:
Approximate Conditional Distributions of Distances between Nodes in a Two-Dimensional Sensor Network. ASMTA 2009: 324-338 - 2008
- [j40]Andre Nathan, Valmir Carneiro Barbosa
:
V-like Formations in Flocks of Artificial Birds. Artif. Life 14(2): 179-188 (2008) - [j39]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) - [j38]Rosa M. V. Figueiredo
, Valmir Carneiro Barbosa
, Nelson Maculan, Cid C. de Souza
:
Acyclic Orientations with Path Constraints. RAIRO Oper. Res. 42(4): 455-467 (2008) - [i22]Rodrigo S. C. Leão, Valmir Carneiro Barbosa:
Approximate conditional distributions of distances between nodes in a two-dimensional sensor network. CoRR abs/0812.3259 (2008) - 2007
- [j37]Alexandre O. Stauffer, Valmir Carneiro Barbosa:
Probabilistic heuristics for disseminating information in networks. IEEE/ACM Trans. Netw. 15(2): 425-435 (2007) - [i21]Rodolfo M. Pussente, Valmir Carneiro Barbosa:
An algorithm for clock synchronization with the gradient property in sensor networks. CoRR abs/0704.3890 (2007) - [i20]Fabio R. J. Vieira, Valmir Carneiro Barbosa:
Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions. CoRR abs/0710.0672 (2007) - 2006
- [j36]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): 744-761 (2006) - [j35]Renato C. Dutra, Valmir Carneiro Barbosa
:
Finding routes in anonymous sensor networks. Inf. Process. Lett. 98(4): 139-144 (2006) - [j34]Valmir Carneiro Barbosa
, Fernando M. N. Miranda, Matheus C. M. Agostini:
Cell-centric heuristics for the classification of cellular automata. Parallel Comput. 32(1): 44-66 (2006) - [j33]Luis Otavio Rigo Junior
, Valmir Carneiro Barbosa
:
Two-dimensional cellular automata and the analysis of correlated time series. Pattern Recognit. Lett. 27(12): 1353-1360 (2006) - [j32]Alexandre O. Stauffer
, Valmir Carneiro Barbosa
:
Local heuristics and the emergence of spanning subgraphs in complex networks. Theor. Comput. Sci. 355(1): 80-95 (2006) - [c11]Alexandre H. L. Porto, Valmir Carneiro Barbosa
:
Multiple Sequence Alignment Based on Set Covers. EvoWorkshops 2006: 127-137 - [c10]Alexandre H. L. Porto, Valmir Carneiro Barbosa
:
A Methodology for Determining Amino-Acid Substitution Matrices from Set Covers. EvoWorkshops 2006: 138-148 - [c9]Rodrigo S. C. Leão, Valmir Carneiro Barbosa
:
Minimal Chordal Sense of Direction and Circulant Graphs. MFCS 2006: 670-680 - [i19]Andre Nathan, Valmir Carneiro Barbosa:
V-like formations in flocks of artificial birds. CoRR abs/cs/0611032 (2006) - [i18]Ricardo C. Corrêa, Valmir Carneiro Barbosa:
Partially ordered distributed computations on asynchronous point-to-point networks. CoRR abs/cs/0611165 (2006) - [i17]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 abs/cs/0612140 (2006) - 2005
- [j31]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: 87-93 (2005) - [i16]Rodrigo S. C. Leão, Valmir Carneiro Barbosa:
Minimal chordal sense of direction and circulant graphs. CoRR abs/cs/0503009 (2005) - [i15]Rodrigo S. C. Leão, Valmir Carneiro Barbosa
:
6-cycle double covers of cubic graphs. CoRR abs/cs/0505088 (2005) - [i14]Renato C. Dutra, Valmir Carneiro Barbosa:
Finding routes in anonymous sensor networks. CoRR abs/cs/0507021 (2005) - [i13]Luis Otavio Rigo Junior, Valmir Carneiro Barbosa:
Two-dimensional cellular automata and the analysis of correlated time series. CoRR abs/cs/0507023 (2005) - [i12]Rosa M. V. Figueiredo, Valmir Carneiro Barbosa, Nelson Maculan, Cid C. de Souza:
Acyclic orientations with path constraints. CoRR abs/cs/0510064 (2005) - [i11]Alexandre O. Stauffer, Valmir Carneiro Barbosa:
A dissemination strategy for immunizing scale-free networks. CoRR abs/cs/0511080 (2005) - [i10]Alexandre O. Stauffer, Valmir Carneiro Barbosa
:
A study of the edge-switching Markov-chain method for the generation of random graphs. CoRR abs/cs/0512105 (2005) - 2004
- [j30]Lucia Draque Penso, Valmir Carneiro Barbosa
:
A distributed algorithm to find k-dominating sets. Discret. Appl. Math. 141(1-3): 243-253 (2004) - [j29]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): 41-63 (2004) - [j28]Valmir Carneiro Barbosa
, Luciana C. D. Campos:
A Novel Evolutionary Formulation of the Maximum Independent Set Problem. J. Comb. Optim. 8(4): 419-437 (2004) - [i9]Alexandre O. Stauffer, Valmir Carneiro Barbosa:
Probabilistic heuristics for disseminating information in networks. CoRR cs.NI/0409001 (2004) - [i8]Alexandre O. Stauffer, Valmir Carneiro Barbosa:
Local heuristics and the emergence of spanning subgraphs in complex networks. CoRR cs.NI/0411090 (2004) - [i7]Carlos A. G. Assis, Edil S. T. Fernandes, Valmir Carneiro Barbosa:
Modeling the input history of programs for improved instruction-memory performance. CoRR cs.OS/0411080 (2004) - 2003
- [j27]Lúcia M. A. Drummond
, Valmir Carneiro Barbosa
:
On reducing the complexity of matrix clocks. Parallel Comput. 29(7): 895-905 (2003) - [i6]Lucia Draque Penso, Valmir Carneiro Barbosa:
A distributed algorithm to find k-dominating sets. CoRR cs.DC/0309040 (2003) - [i5]Lúcia M. A. Drummond, Valmir Carneiro Barbosa:
On reducing the complexity of matrix clocks. CoRR cs.DC/0309042 (2003) - [i4]Alexandre H. L. Porto, Valmir Carneiro Barbosa:
Finding approximate palindromes in strings. CoRR cs.DS/0309043 (2003) - [i3]Valmir Carneiro Barbosa, Luciana C. D. Campos:
A novel evolutionary formulation of the maximum independent set problem. CoRR cs.NE/0309038 (2003) - [i2]Valmir Carneiro Barbosa, Carlos A. G. Assis, Josina O. do Nascimento:
Two novel evolutionary formulations of the graph coloring problem. CoRR cs.NE/0309039 (2003) - [i1]Valmir Carneiro Barbosa:
The combinatorics of resource sharing. CoRR cs.OS/0309044 (2003) - 2002
- [j26]Alexandre H. L. Porto, Valmir Carneiro Barbosa
:
Finding approximate palindromes in strings. Pattern Recognit. 35(11): 2581-2591 (2002) - [c8]Edil S. T. Fernandes, Valmir Carneiro Barbosa
, Fabiano Ramos:
Instruction Usage and the Memory Gap Problem. SBAC-PAD 2002: 169-175 - 2001
- [j25]Lucia Draque Penso, Valmir Carneiro Barbosa
:
A distributed algorithm for k-dominating sets. Electron. Notes Discret. Math. 7: 130-133 (2001) - [j24]Valmir Carneiro Barbosa
, Mario R. F. Benevides
, Ayru L. Oliveira Filho:
A priority dynamics for generalized drinking philosophers. Inf. Process. Lett. 79(4): 189-195 (2001) - [j23]Valmir Carneiro Barbosa
, Mario R. F. Benevides
, Felipe M. G. França
:
Sharing Resources at Nonuniform Access Rates. Theory Comput. Syst. 34(1): 13-26 (2001) - [c7]Rodrigo Basilio, Gerson Zaverucha, Valmir Carneiro Barbosa
:
Learning Logic Programs with Neural Networks. ILP 2001: 15-26
1990 – 1999
- 1999
- [j22]Valmir Carneiro Barbosa
, Jayme Luiz Szwarcfiter:
Generating all the Acyclic Orientations of an Undirected Graph. Inf. Process. Lett. 72(1-2): 71-74 (1999) - [j21]Roseli Suzi Wedemann, Valmir Carneiro Barbosa
, Raul Donangelo:
Defeasible time-stepping. Parallel Comput. 25(4): 461-489 (1999) - [j20]Roseli Suzi Wedemann, Valmir Carneiro Barbosa, Raul Donangelo:
Erratum to "Defeasible time-stepping" [Parallel Computing 25(4): 461-489 (1999)]. Parallel Comput. 25(6): 767 (1999) - 1998
- [j19]Svetozar Margenov, Valmir Carneiro Barbosa:
An Introduction to Distributed Algorithms [Book Review]. IEEE Concurr. 6(1): 86-87 (1998) - [j18]Ricardo José Machado, Valmir Carneiro Barbosa
, Paulo Alexandre Neves:
Learning in the combinatorial neural model. IEEE Trans. Neural Networks 9(5): 831-847 (1998) - [c6]Nelson A. Hallack, Gerson Zaverucha, Valmir Carneiro Barbosa
:
Towards a Hybrid Model of First-Order Theory Refinement. Hybrid Neural Systems 1998: 92-106 - [c5]Romulo M. de Menezes, Gerson Zaverucha, Valmir Carneiro Barbosa:
A Penalty-Function Approach to Rule Extraction from Knowledge-Based Neural Networks. ICONIP 1998: 1497-1500 - 1996
- [b2]Valmir Carneiro Barbosa:
An introduction to distributed algorithms. MIT Press 1996, ISBN 978-0-262-02412-9, pp. I-XIII, 1-365 - [j17]Lúcia Maria de A. Drummond
, Valmir Carneiro Barbosa
:
Distributed Breakpoint Detection in Message-Passing Programs. J. Parallel Distributed Comput. 39(2): 153-167 (1996) - 1995
- [j16]Valmir Carneiro Barbosa
, Stella C. S. Porto:
An Algorithm for FIFO Message Delivery Among Migrating Tasks. Inf. Process. Lett. 53(5): 261-267 (1995) - 1994
- [j15]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): 321-359 (1994) - [j14]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): 257-272 (1994) - 1993
- [b1]Valmir Carneiro Barbosa:
Massively parallel models of computation - distributed parallel processing in artificial intelligence and optimization. Ellis Horwood series in artificial intelligence, Ellis Horwood 1993, ISBN 978-0-13-562968-0, pp. I-XII, 1-253 - [j13]Leila M. R. Eizirik, Valmir Carneiro Barbosa
, Sueli Bandeira Teixeira Mendes:
A Bayesian-Network Approach to Lexical Disambiguation. Cogn. Sci. 17(2): 257-283 (1993) - [j12]Nalvo F. de Almeida Jr.
, Valmir Carneiro Barbosa
:
A String-Matching Algorithm for the CREW PRAM. Inf. Process. Lett. 47(5): 257-259 (1993) - 1992
- [j11]Luís Alfredo V. de Carvalho, Valmir C. Barbosa
:
Fast linear system solution by neural networks. Oper. Res. Lett. 11(3): 141-145 (1992) - [c4]Eliseu M. Chaves Filho, Valmir Carneiro Barbosa
:
Time Sharing in Hypercube Multiprocessors. SPDP 1992: 354-359 - 1991
- [j10]Edil S. T. Fernandes, Valmir C. Barbosa
, Alberto Ferreira de Souza
, Nelson Q. Vasconcelos:
Micro-instruction placement by simulated annealing. Microprocessing and Microprogramming 32(1-5): 23-28 (1991) - [j9]Valmir C. Barbosa
, Lúcia Maria de A. Drummond
, Astrid Luise H. Hellmuth:
An integrated software environment for large-scale Occam programming. Microprocessing and Microprogramming 32(1-5): 393-400 (1991) - [c3]Lélio de P. Sá Freitas, Valmir Carneiro Barbosa:
Experiments in Parallel Heuristic Search. ICPP (3) 1991: 62-65 - 1990
- [j8]Valmir Carneiro Barbosa
:
Blocking Versus Nonblocking Interprocess Communication: A Note on the Effect on Concurrency. Inf. Process. Lett. 36(4): 171-175 (1990) - [j7]Valmir C. Barbosa
, Maria Cristina Silva Boeres:
An Occam-based evaluation of a parallel version of simulated annealing. Microprocessing and Microprogramming 30(1-5): 85-92 (1990) - [j6]Valmir Carneiro Barbosa
, Priscila Machado Vieira Lima
:
On the Distributed Parallel Simulation of Hopfield's Neural Networks. Softw. Pract. Exp. 20(10): 967-983 (1990) - [j5]Valmir Carneiro Barbosa
:
Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs. IEEE Trans. Software Eng. 16(11): 1311-1316 (1990) - [c2]Valmir C. Barbosa
, L. A. V. de Carvalho:
Feasible directions linear programming by neural networks. IJCNN 1990: 941-946
1980 – 1989
- 1989
- [j4]Valmir Carneiro Barbosa
, Eli Gafni:
A Distributed Implementation of Simulated Annealing. J. Parallel Distributed Comput. 6(2): 411-434 (1989) - [j3]Edil Severiano Tavares Fernandes, C. L. de Amorim, Valmir C. Barbosa
, Felipe M. G. França
, A. F. de Souza:
MPH - A Hybrid Parallel Machine. Microprocess. Microprogramming 25(1-5): 229-232 (1989) - [j2]Valmir Carneiro Barbosa
, Eli Gafni:
Concurrency in Heavily Loaded Neighborhood-Constrained Systems. ACM Trans. Program. Lang. Syst. 11(4): 562-584 (1989) - 1988
- [j1]Valmir C. Barbosa
, Felipe M. G. França
:
Specification of a communication virtual processor for parallel processing systems. Microprocess. Microprogramming 24(1-5): 511-518 (1988) - 1987
- [c1]Valmir Carneiro Barbosa, Eli Gafni:
Concurrency in Heavily Loaded Neighborhood-Constrained Systems. ICDCS 1987: 448-457
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint