Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Barbosa, Valmir C."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The predecessor-existence problem for
k
-reversible processes
Leonardo I.L. Oliveira
,
Valmir C. Barbosa
,
Fábio Protti
Theoretical Computer Science
562
, 2014, pp. 406-418
Revisiting deadlock prevention: A probabilistic approach
Fabiano de S. Oliveira
,
Valmir C. Barbosa
Networks
63
(2), 2014, pp. 203-210
Improving the TFold test for differential shotgun proteomics
Paulo C. Carvalho
,
John R. Yates III
,
Valmir C. Barbosa
Bioinformatics
28
(12), 2012, pp. 1652-1654
Analyzing marginal cases in differential shotgun proteomics
Paulo C. Carvalho
,
Juliana S.G. Fischer
,
Jonas Perales
,
John R. Yates
,
Valmir C. Barbosa
,
Elias Bareinboim
Bioinformatics
27
(2), 2011, pp. 275-276
XDIA: Improving on the label-free data-independent analysis
Paulo C. Carvalho
,
Xuemei Han
,
Tao Xu
,
Daniel Cociorva
,
Maria da Gloria Carvalho
,
Valmir C. Barbosa
,
John R. Yates III
Bioinformatics
26
(6), 2010, pp. 847-848
YADA: A tool for taking the most out of high-resolution spectra
Paulo C. Carvalho
,
Tao Xu
,
Xuemei Han
,
Daniel Cociorva
,
Valmir C. Barbosa
,
John R. Yates III
Bioinformatics
25
(20), 2009, pp. 2734-2736
Partially ordered distributed computations on asynchronous point-to-point networks
Ricardo C. Corrêa
,
Valmir C. Barbosa
Parallel Computing
35
(1), 2009, pp. 12-28
An algorithm for clock synchronization with the gradient property in sensor networks
Rodolfo M. Pussente
,
Valmir C. Barbosa
Journal Parallel Distributed Computing
69
(3), 2009, pp. 261-265
Cell-centric heuristics for the classification of cellular automata
Valmir C. Barbosa
,
Fernando M.N. Miranda
,
Matheus C.M. Agostini
Parallel Computing
32
(1), 2006, pp. 44-66
Finding routes in anonymous sensor networks
Renato C. Dutra
,
Valmir C. Barbosa
Information Processing Letters
98
(4), 2006, pp. 139-144
Minimal chordal sense of direction and circulant graphs
Rodrigo S.C. Leão
,
Valmir C. Barbosa
Lecture Notes in Computer Science
4162
, 2006, pp. 670-680
Local heuristics and the emergence of spanning subgraphs in complex networks
Alexandre O. Stauffer
,
Valmir C. Barbosa
Theoretical Computer Science
355
(1), 2006, pp. 80-95
On reducing the complexity of matrix clocks
Lúcia M.A. Drummond
,
Valmir C. Barbosa
Parallel Computing
29
(7), 2003, pp. 895-905
A priority dynamics for generalized drinking philosophers
Valmir C. Barbosa
,
Mario R.F. Benevides
,
Ayru L. Oliveira Filho
Information Processing Letters
79
(4), 2001, pp. 189-195
Generating all the acyclic orientations of an undirected graph
Valmir C. Barbosa
,
Jayme L. Szwarcfiter
Information Processing Letters
72
(1-2), 1999, pp. 71-74
Defeasible time-stepping
Roseli S. Wedemann
,
Valmir C. Barbosa
,
Raul Donangelo
Parallel Computing
25
(4), 1999, pp. 461-489
Distributed breakpoint detection in message-passing programs
Lúcia Maria De A. Drummond
,
Valmir C. Barbosa
Journal Parallel Distributed Computing
39
(2), 1996, pp. 153-167
An algorithm for FIFO message delivery among migrating tasks
Valmir C. Barbosa
,
Stella C.S. Porto
Information Processing Letters
53
, 1995, pp. 261-267
A string-matching algorithm for the CREW PRAM
Nalvo F., Jr. de Almeida
,
Valmir C. Barbosa
Information Processing Letters
47
(5), 1993, pp. 257-259
Time sharing in hypercube multiprocessors
Eliseu M. Chaves Filho
,
Valmir C. Barbosa
Proceedings of the 4th IEEE Symposium on Parallel and Distributed Processing, SPDP'92 (Arlington, Texas, December 1-4, 1992)
, 1992, pp. 354-359
Experiments in parallel heuristic search
Lélio de P. Sá Freitas
,
Valmir C. Barbosa
Proceedings of the 1991 International Conference on Parallel Processing. Vol.~III Algorithms and Applications, ICPP'91 (St.~Charles, IL, August 12-16, 1991)
, 1991, pp. 62-65
Blocking versus nonblocking interprocess communication: A note on the effect on concurrency
Valmir C. Barbosa
Information Processing Letters
36
, 1990, pp. 171-175
A distributed implementation of simulated annealing
Valmir C. Barbosa
,
Eli Gafni
Journal Parallel Distributed Computing
6
, 1989, pp. 411-434