skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Computer Science, Hardware & Architecture remover Academic OneFile remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Designing concurrent and distributed control systems
Designing concurrent and distributed control systems
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Designing concurrent and distributed control systems

Aarsten, Amund ; Brugali, Davide ; Menga, Giuseppe

Communications of the ACM, 1996-10, Vol.39 (10), p.50-58

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
The Seattle report on database research
The Seattle report on database research
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

The Seattle report on database research

Abadi, Daniel ; Ailamaki, Anastasia ; Andersen, David ; Bailis, Peter ; Balazinska, Magdalena ; Bernstein, Philip A. ; Boncz, Peter ; Chaudhuri, Surajit ; Cheung, Alvin ; Doan, Anhai ; Dong, Luna ; Franklin, Michael J. ; Freire, Juliana ; Halevy, Alon ; Hellerstein, Joseph M. ; Idreos, Stratos ; Kossmann, Donald ; Kraska, Tim ; Krishnamurthy, Sailesh ; Markl, Volker ; Melnik, Sergey ; Milo, Tova ; Mohan, C. ; Neumann, Thomas ; Ooi, Beng Chin ; Ozcan, Fatma ; Patel, Jignesh ; Pavlo, Andrew ; Popa, Raluca ; Ramakrishnan, Raghu ; Re, Christopher ; Stonebraker, Michael ; Suciu, Dan

Communications of the ACM, 2022-08, Vol.65 (8), p.72-79

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Secrecy by typing in security protocols
Secrecy by typing in security protocols
Material Type:
Artigo 		Adicionar ao Meu Espaço

Secrecy by typing in security protocols

Abadi, Martin

Journal of the ACM, 1999-09, Vol.46 (5), p.749-786 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
Analyzing security protocols with secrecy types and logic programs
Analyzing security protocols with secrecy types and logic programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analyzing security protocols with secrecy types and logic programs

ABADI, Martin ; BLANCHET, Bruno

Journal of the ACM, 2005, Vol.52 (1), p.102-146 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
Efficient parallelisation of the packet classification algorithms on multi-core central processing units using multi-threading application program interfaces
Efficient parallelisation of the packet classification algorithms on multi-core central processing units using multi-threading application program interfaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient parallelisation of the packet classification algorithms on multi-core central processing units using multi-threading application program interfaces

Abbasi, Mahdi ; Rafiee, Milad

IET computers & digital techniques, 2020-11, Vol.14 (6), p.313-321 [Periódico revisado por pares]

The Institution of Engineering and Technology

Texto completo disponível

Citações Citado por
6
Knowledge abstraction
Knowledge abstraction
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Knowledge abstraction

ABBOTT, R. J

Communications of the ACM, 1987-08, Vol.30 (8), p.664-671

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
Program design by informal english descriptions
Program design by informal english descriptions
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Program design by informal english descriptions

ABBOTT, R. J

Communications of the ACM, 1983-11, Vol.26 (11), p.882-894

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
Lessons learned from modeling the dynamics of software development
Lessons learned from modeling the dynamics of software development
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Lessons learned from modeling the dynamics of software development

ABDEL-HAMID, T. K ; MADNICK, S

Communications of the ACM, 1989-12, Vol.32 (12), p.1426-1455

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Software-defined environments for science and engineering
Software-defined environments for science and engineering
Material Type:
Artigo 		Adicionar ao Meu Espaço

Software-defined environments for science and engineering

AbdelBaky, Moustafa ; Diaz-Montes, Javier ; Parashar, Manish Dongarra, Jack ; Tourancheau, Bernard

The international journal of high performance computing applications, 2018-01, Vol.32 (1), p.104-122 [Periódico revisado por pares]

London, England: SAGE Publications

Texto completo disponível

Citações Citado por
10
Accelerating atmospheric physics parameterizations using graphics processing units
Accelerating atmospheric physics parameterizations using graphics processing units
Material Type:
Artigo 		Adicionar ao Meu Espaço

Accelerating atmospheric physics parameterizations using graphics processing units

Abdi, Daniel S ; Jankov, Isidora

The international journal of high performance computing applications, 2024-03 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1.249)

Refinar Meus Resultados

Tipo de Recurso 

  1. magazinearticle  (1.640)
  2. Artigos  (1.537)
  3. Resenhas  (3)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1970  (208)
  2. 1970Até1982  (253)
  3. 1983Até1995  (777)
  4. 1996Até2009  (893)
  5. Após 2009  (1.052)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (3.179)
  2. Japonês  (197)
  3. Português  (2)
  4. Espanhol  (2)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.