skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Applied Sciences remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Precise analysis of string expressions
Precise analysis of string expressions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Precise analysis of string expressions

Christensen, Aske Simon ; Møller, Anders ; Schwartzbach, Michael I. Cousot, Radhia

Lecture notes in computer science, 2003, p.1-18 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
2
Static Checking of Dynamically Generated Queries in Database Applications
Static Checking of Dynamically Generated Queries in Database Applications
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Static Checking of Dynamically Generated Queries in Database Applications

Gould, Carl ; Su, Zhendong ; Devanbu, Premkumar

International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004, 2004, p.645-654

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
3
The Santa Claus problem
The Santa Claus problem
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The Santa Claus problem

Bansal, Nikhil ; Sviridenko, Maxim

Annual ACM Symposium on Theory of Computing: Proceedings of the thirty-eighth annual ACM symposium on Theory of computing; 21-23 May 2006, 2006, p.31-40 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
Scheduling parallel tasks onto NUMA multiprocessors with inter-processor communication overhead
Scheduling parallel tasks onto NUMA multiprocessors with inter-processor communication overhead
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Scheduling parallel tasks onto NUMA multiprocessors with inter-processor communication overhead

Lai, Guan-Joe ; Fang, Jywe-Fei ; Sung, Pei-Shan ; Pean, Der-Lin Yang, Laurence Tianruo ; Guo, Minyi

Lecture notes in computer science, 2003, p.65-75 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
5
Optimal Superblock Scheduling Using Enumeration
Optimal Superblock Scheduling Using Enumeration
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Optimal Superblock Scheduling Using Enumeration

Shobaki, Ghassan ; Wilken, Kent

37th International Symposium on Microarchitecture (MICRO-37'04), 2004, p.283-293

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
6
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications

Gould, Carl ; Su, Zhendong ; Devanbu, Premkumar

International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004, 2004, p.697-698

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
7
A theory of computation based on quantum logic (I)
A theory of computation based on quantum logic (I)
Material Type:
Artigo 		Adicionar ao Meu Espaço

A theory of computation based on quantum logic (I)

Ying, Mingsheng

Theoretical computer science, 2005-11, Vol.344 (2-3), p.134-207 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
8
Computing on the restricted LARPBS model
Computing on the restricted LARPBS model
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computing on the restricted LARPBS model

Pan, Yi Yang, Laurence Tianruo ; Guo, Minyi

Lecture notes in computer science, 2003, p.9-13 [Periódico revisado por pares]

Berlin, Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
9
Static Placement, Dynamic Issue (SPDI) Scheduling for EDGE Architectures
Static Placement, Dynamic Issue (SPDI) Scheduling for EDGE Architectures
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Static Placement, Dynamic Issue (SPDI) Scheduling for EDGE Architectures

Nagarajan, Ramadass ; Kushwaha, Sundeep K. ; Burger, Doug ; McKinley, Kathryn S. ; Lin, Calvin ; Keckler, Stephen W.

PACT: Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques; 29 Sept.-03 Oct. 2004, 2004, p.74-84

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
10
Feature-Oriented Programming and the AHEAD Tool Suite
Feature-Oriented Programming and the AHEAD Tool Suite
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Feature-Oriented Programming and the AHEAD Tool Suite

Batory, Don

International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004, 2004, p.702-703

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (63.430)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (60.534)
  2. Anais de Congresso  (8.469)
  3. Book Chapters  (1.475)
  4. magazinearticle  (767)
  5. Livros  (69)
  6. Dissertações  (6)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1987  (1.730)
  2. 1987Até1994  (7.593)
  3. 1995Até2002  (17.965)
  4. 2003Até2011  (33.412)
  5. Após 2011  (11.055)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (6.772)
  2. Francês  (72)
  3. Chinês  (11)
  4. Alemão  (10)
  5. Português  (4)
  6. Coreano  (2)
  7. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.