skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: Nome da Publicação: Lecture Notes in Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Aspects as components

Marcelo Medeiros Eler Paulo Cesar Masiero; International Conference on Software Reuse (9. 2006 Turin)

Lecture Notes in Computer Science Berlin v. 4039, p. 411-414, 2006

Berlim Springer 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1535874 ) e outros locais(Acessar)

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Using adaptive priority controls for service differentiation in QoS-enabled web servers

Má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, 2004

Heidelberg Springer 2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1454059 ) e outros locais(Acessar)

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Using runtime measurements and historical traces for acquiring knowledge in parallel applications

Luciano 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, 2004

Heidelberg Springer 2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1454032 ) e outros locais(Acessar)

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Improving scheduling decisions by using knowledge about parallel applications resource usage

Luciano 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, 2005

Heidelberger Springer 2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-1477412 ) e outros locais(Acessar)

5
Formal Foundations for Software Engineering Methods
Formal Foundations for Software Engineering Methods
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Foundations for Software Engineering Methods

Heinrich Hussmann

Springer Berlin Heidelberg 1997

Acesso online. A biblioteca também possui exemplares impressos.

6
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Adapting a software product line engineering process for certifying safety critical embedded systems

Rosana 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, 2012

Berlin, Heidelberg Springer-Verlag 2012

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2311301 ) e outros locais(Acessar)

7
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Generating checking sequences for partial finite state machines

Adenilso 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, 2008

Berlin Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

8
Models and Tools for Managing Development Processes
Models and Tools for Managing Development Processes
Material Type:
Livro
Adicionar ao Meu Espaço

Models and Tools for Managing Development Processes

Bernhard Westfechtel Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online. A biblioteca também possui exemplares impressos.

9
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

ValiPVM - a graphical tool for structural testing of PVM programs

Paulo 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, 2008

Heidelberger Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

10
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Structural testing for semaphore-based multithread programs

Felipe 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, 2008

Heidelberger Springer 2008

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (9)
  2. Disponível na Biblioteca (30)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (29)
  2. Livros  (4)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2005  (6)
  2. 2005Até2008  (7)
  3. 2009Até2012  (4)
  4. 2013Até2016  (11)
  5. Após 2016  (5)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Fortes, R
  2. Simão, A
  3. Petrenko, A
  4. Santana, R
  5. Santana, M

Buscando em bases de dados remotas. Favor aguardar.