skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: EBSCOhost Computers and Applied Sciences Complete remover Base de dados/Biblioteca: Gale Academic OneFile Select remover assunto: Programming Languages remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Multiparty Asynchronous Session Types
Multiparty Asynchronous Session Types
Material Type:
Artigo 		Adicionar ao Meu Espaço

Multiparty Asynchronous Session Types

Honda, Kohei ; Yoshida, Nobuko ; Carbone, Marco

Journal of the ACM, 2016-03, Vol.63 (1), p.1-67 [Periódico revisado por pares]

New York: ACM

Texto completo disponível

Citações Citado por
2
Building Ensemble Models with Web Services on Microservice Architecture
Building Ensemble Models with Web Services on Microservice Architecture
Material Type:
Artigo 		Adicionar ao Meu Espaço

Building Ensemble Models with Web Services on Microservice Architecture

Szabó, Máté

Informatica (Ljubljana), 2024-04, Vol.48 (7), p.1-9 [Periódico revisado por pares]

Ljubljana: Slovenian Society Informatika / Slovensko drustvo Informatika

Texto completo disponível

Citações Citado por
3
Monitoring Metric First-Order Temporal Properties
Monitoring Metric First-Order Temporal Properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Monitoring Metric First-Order Temporal Properties

Basin, David ; Klaedtke, Felix ; Müller, Samuel ; Zălinescu, Eugen

Journal of the ACM, 2015-05, Vol.62 (2), p.1-45, Article 15 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
Alternating-time temporal logic
Alternating-time temporal logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Alternating-time temporal logic

Alur, Rajeev ; Henzinger, Thomas ; Kupferman, Orna

Journal of the ACM, 2002-09, Vol.49 (5), p.672-713 [Periódico revisado por pares]

New York: ACM

Texto completo disponível

Citações Citado por
5
Model Checking Higher-Order Programs
Model Checking Higher-Order Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Checking Higher-Order Programs

Kobayashi, Naoki

Journal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
6
Armed Cats: Formal Concurrency Modelling at Arm
Armed Cats: Formal Concurrency Modelling at Arm
Material Type:
Artigo 		Adicionar ao Meu Espaço

Armed Cats: Formal Concurrency Modelling at Arm

Alglave, Jade ; Deacon, Will ; Grisenthwaite, Richard ; Hacquard, Antoine ; Maranget, Luc

ACM transactions on programming languages and systems, 2021-07, Vol.43 (2), p.1-54, Article 8 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
7
Exploiting Errors for Efficiency: A Survey from Circuits to Applications
Exploiting Errors for Efficiency: A Survey from Circuits to Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Exploiting Errors for Efficiency: A Survey from Circuits to Applications

Stanley-Marbell, Phillip ; Alaghi, Armin ; Carbin, Michael ; Darulova, Eva ; Dolecek, Lara ; Gerstlauer, Andreas ; Gillani, Ghayoor ; Jevdjic, Djordje ; Moreau, Thierry ; Cacciotti, Mattia ; Daglis, Alexandros ; Jerger, Natalie ; Falsafi, Babak ; Misailovic, Sasa ; Sampson, Adrian ; Zufferey, Damien

ACM computing surveys, 2020-06, Vol.53 (3), p.1-39 [Periódico revisado por pares]

Baltimore: ACM

Texto completo disponível

Citações Citado por
8
Delegating Computation: Interactive Proofs for Muggles
Delegating Computation: Interactive Proofs for Muggles
Material Type:
Artigo 		Adicionar ao Meu Espaço

Delegating Computation: Interactive Proofs for Muggles

Goldwasser, Shafi ; Kalai, Yael Tauman ; Rothblum, Guy N.

Journal of the ACM, 2015-08, Vol.62 (4), p.1-64, Article 27 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
A Fortran-Keras Deep Learning Bridge for Scientific Computing
A Fortran-Keras Deep Learning Bridge for Scientific Computing
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Fortran-Keras Deep Learning Bridge for Scientific Computing

Ott, Jordan ; Pritchard, Mike ; Best, Natalie ; Linstead, Erik ; Curcic, Milan ; Baldi, Pierre Acacio Sanchez, Manuel E. ; Manuel E Acacio Sanchez

Scientific programming, 2020-08, Vol.2020, p.1-13 [Periódico revisado por pares]

New York: Hindawi

Texto completo disponível

Citações Citado por
10
Full Abstraction for Probabilistic PCF
Full Abstraction for Probabilistic PCF
Material Type:
Artigo 		Adicionar ao Meu Espaço

Full Abstraction for Probabilistic PCF

Ehrhard, Thomas ; Pagani, Michele ; Tasson, Christine

Journal of the ACM, 2018-08, Vol.65 (4), p.1-44 [Periódico revisado por pares]

New York: ACM

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. Recursos Online (587)
  2. Revistas revisadas por pares (172)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1977  (30)
  2. 1977Até1987  (56)
  3. 1988Até1998  (164)
  4. 1999Até2010  (183)
  5. Após 2010  (158)
  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.