Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Aspects as componentsMarcelo Medeiros Eler Paulo Cesar Masiero; International Conference on Software Reuse (9. 2006 Turin)Lecture Notes in Computer Science Berlin v. 4039, p. 411-414, 2006Berlim Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1535874 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Using adaptive priority controls for service differentiation in QoS-enabled web serversMário Meireles Teixeira Marcos José Santana; Regina Helena Carlucci Santana; International Conference on Computational Science (4. 2004 Krakow)Lecture Notes in Computer Science v. 3036, p. 537-540, 2004Heidelberg Springer 2004Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1454059 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
Using runtime measurements and historical traces for acquiring knowledge in parallel applicationsLuciano José Senger Marcos José Santana; Regina Helena Carlucci Santana; International Conference on Computational Science (4. 2004 Krakow)Lecture Notes in Computer Science v. 3036, p. 661-665, 2004Heidelberg Springer 2004Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1454032 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Improving scheduling decisions by using knowledge about parallel applications resource usageLuciano José Senger Rodrigo Fernandes de Mello; Marcos José Santana; Regina Helena Carlucci Santana; Laurence Tianruo Yang; High Performance Computing and Communications: First International Conference (2005 Sorrento)Lecture Notes in Computer Science Heidelberger v. 3726,p. 487-498, 2005Heidelberger Springer 2005Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1477412 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Formal Foundations for Software Engineering MethodsHeinrich HussmannSpringer Berlin Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Artigo de Congresso
|
Adapting a software product line engineering process for certifying safety critical embedded systemsRosana Teresinha Vaccare Braga Onofre Trindade Junior; Kalinka Regina Lucas Jaquie Castelo Branco; Luciano de Oliveira Neris; Jaejoon Lee; International Conference on Computer Safety, Reliability and Security (31. 2012 Magdeburg, Germany)Lecture Notes in Computer Science Berlin : Springer-Verlag v. 7612, p. 352-363, 2012Berlin, Heidelberg Springer-Verlag 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2311301 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Generating checking sequences for partial finite state machinesAdenilso da Silva Simão Alexandre Petrenko; International Conference, TestCom 2008 - IFIP TC6/WG 6.1 (20 2008 Tokyo)Lecture Notes in Computer Science Berlin v. 5047, p. 153-168, 2008Berlin Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Models and Tools for Managing Development ProcessesBernhard Westfechtel Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Artigo de Congresso
|
ValiPVM - a graphical tool for structural testing of PVM programsPaulo Sérgio Lopes de Souza Eduardo T Sawabe; Adenilso da Silva Simão; Sílvia Regina Vergílio; Simone do Rocio Senger de Souza; European PVM/MPI User's Group Meeting (15 2008 Irlanda)Lecture Notes in Computer Science v. 5205, p. 257-264, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo de Congresso
|
Structural testing for semaphore-based multithread programsFelipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)Lecture Notes in Computer Science v. 5101, p. 337-346, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |