skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Lista de Todas as Versões Computer Science, Theory & Methods remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Plato: approximate analytics over compressed time series with tight deterministic error guarantees
Plato: approximate analytics over compressed time series with tight deterministic error guarantees
Material Type:
Artigo 		Adicionar ao Meu Espaço

Plato: approximate analytics over compressed time series with tight deterministic error guarantees

Lin, Chunbin ; Boursier, Etienne ; Papakonstantinou, Yannis

Proceedings of the VLDB Endowment, 2020-03, Vol.13 (7), p.1105-1118 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems
Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems

Ramirez, Andres J. ; Knoester, David B. ; Cheng, Betty H. C. ; McKinley, Philip K.

Cluster computing, 2011-09, Vol.14 (3), p.229-244 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
3
PLATO: Predictive Latency-Aware Total Ordering
PLATO: Predictive Latency-Aware Total Ordering
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

PLATO: Predictive Latency-Aware Total Ordering

Balakrishnan, M. ; Birman, K. ; Phanishayee, A.

2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06), 2006, p.175-188

IEEE

Texto completo disponível

Citações Citado por
4
Modeling with Plato: the unified modeling language in a cultural context
Modeling with Plato: the unified modeling language in a cultural context
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modeling with Plato: the unified modeling language in a cultural context

de-Marcos, Luis ; Flores, Fernando ; Martínez, José-Javier

Proceedings of the fifteenth annual conference on Innovation and technology in computer science education, 2010, p.249-253

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
5
PLATO: A tool to assist programming as term rewriting and theorem proving
PLATO: A tool to assist programming as term rewriting and theorem proving
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

PLATO: A tool to assist programming as term rewriting and theorem proving

Sampaio, Andre J. ; Haeberer, Armando M. ; Prates, Claudio T. ; Ururahy, Cristina D. ; Frias, Marcelo F. ; Albuquerque, Neudson C.

TAPSOFT '95: Theory and Practice of Software Development, 1995, p.797-798 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Celebrating the legacy of PLATO
Celebrating the legacy of PLATO
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Celebrating the legacy of PLATO

Kroeker, Kirk

Communications of the ACM, 2010-08, Vol.53 (8), p.19-20

New York: ACM

Texto completo disponível

Citações Citado por
7
Building objects out of Plato: applying philosophy, symbolism, and analogy to software design
Building objects out of Plato: applying philosophy, symbolism, and analogy to software design
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Building objects out of Plato: applying philosophy, symbolism, and analogy to software design

Giguette, Ray

Communications of the ACM, 2006-10, Vol.49 (10), p.66-71

New York: ACM

Texto completo disponível

Citações Citado por
8
Proof systems for lattice theory
Proof systems for lattice theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof systems for lattice theory

NEGRI, SARA ; VON PLATO, JAN

Mathematical structures in computer science, 2004-08, Vol.14 (4), p.507-526 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
9
In Search of the Roots of Formal Computation
In Search of the Roots of Formal Computation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

In Search of the Roots of Formal Computation

von Plato, Jan

History and Philosophy of Computing, p.300-320

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Organization and development of a constructive axiomatization
Organization and development of a constructive axiomatization
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Organization and development of a constructive axiomatization

von Plato, Jan

Types for Proofs and Programs, 1996, p.288-296 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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 (324)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (225)
  2. Anais de Congresso  (177)
  3. magazinearticle  (32)
  4. Book Chapters  (27)
  5. Livros  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1984  (9)
  2. 1984Até1997  (14)
  3. 1998Até2005  (34)
  4. 2006Até2014  (203)
  5. Após 2014  (208)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.