Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
The use of program profiling for software maintenance with applications to the year 2000 problemReps, Thomas ; Ball, Thomas ; Das, Manuvir ; Larus, JamesFoundations of Software Engineering: Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering : Zurich, Switzerland; 22-25 Sept. 1997, 1997, p.432-449 [Periódico revisado por pares]New York NY: Springer-Verlag New York, IncTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Approximation Schemes for Minimum 2-Connected Spanning Subgraphs in Weighted Planar GraphsBerger, André ; Czumaj, Artur ; Grigni, Michelangelo ; Zhao, HairongAlgorithms – ESA 2005, 2005, p.472-483 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
3 |
Material Type: Artigo
|
Minimum augmentation of local edge-connectivity between vertices and vertex subsets in undirected graphsIshii, Toshimasa ; Hagiwara, MasayukiDiscrete Applied Mathematics, 2006-11, Vol.154 (16), p.2307-2329 [Periódico revisado por pares]Lausanne: Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Minimum Augmentation of Edge-Connectivity between Vertices and Sets of Vertices in Undirected GraphsIshii, Toshimasa ; Akiyama, Yoko ; Nagamochi, HiroshiAlgorithmica, 2010-04, Vol.56 (4), p.413-436 [Periódico revisado por pares]New York: Springer-VerlagTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Refining data flow information using infeasible pathsBodík, Rastislav ; Gupta, Rajiv ; Soffa, MaryFoundations of Software Engineering: Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering : Zurich, Switzerland; 22-25 Sept. 1997, 1997, p.361-377 [Periódico revisado por pares]New York NY: Springer-Verlag New York, IncTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Range Assignment for High Connectivity in Wireless Ad Hoc NetworksCalinescu, Gruia ; Wan, Peng-JunAd-Hoc, Mobile, and Wireless Networks, 2003, p.235-246 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Power Optimization for Connectivity ProblemsHajiaghayi, Mohammad T. ; Kortsarz, Guy ; Mirrokni, Vahab S. ; Nutov, ZeevInteger Programming and Combinatorial Optimization, 2005, p.349-361 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
8 |
Material Type: Ata de Congresso
|
Fast approximation schemes for Euclidean multi-connectivity problemsCZUMAJ, A ; LINGAS, A27th international colloquium / ICALP 2000,Geneva, Switzerland,2000-07-09 - 2000-07-15, 2000, Vol.1853, p.856-868 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
9 |
Material Type: Artigo
|
Edge-connectivity augmentation of graphs over symmetric parity familiesSzigeti, ZoltánDiscrete mathematics, 2008-12, Vol.308 (24), p.6527-6532 [Periódico revisado por pares]Kidlington: Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Gray-Scale Thinning Algorithm Using Local Min/Max OperationsKim, Kyoung Min ; Lee, Buhm ; Choi, Nam Sup ; Kang, Gwan Hee ; Park, Joong Jo ; Suen, Ching Y.Document Analysis Systems VII, 2006, p.62-70 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |