skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automated Computer Program Evaluation and Projects -- Our Experiences
Automated Computer Program Evaluation and Projects -- Our Experiences
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated Computer Program Evaluation and Projects -- Our Experiences

Srinivasan, Bama ; Nehru, Mala ; Parthasarathi, Ranjani ; Mukherjee, Saswati ; Thankachan, Jeena A

arXiv.org, 2024-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities

Poli, Federico ; Denis, Xavier ; Müller, Peter ; Summers, Alexander J

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil ; Tuosto, Emilio ; Yoshida, Nobuko

arXiv.org, 2022-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Higher-Order Asynchronous Effects
Higher-Order Asynchronous Effects
Material Type:
Artigo 		Adicionar ao Meu Espaço

Higher-Order Asynchronous Effects

Ahman, Danel ; Pretnar, Matija

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Isolating Functions at the Hardware Limit with Virtines
Isolating Functions at the Hardware Limit with Virtines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Isolating Functions at the Hardware Limit with Virtines

Wanninger, Nicholas C ; Bowden, Joshua J ; Shetty, Kirtankumar ; Garg, Ayush ; Hale, Kyle C

arXiv.org, 2022-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Modular Information Flow through Ownership
Modular Information Flow through Ownership
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modular Information Flow through Ownership

Crichton, Will ; Patrignani, Marco ; Agrawala, Maneesh ; Hanrahan, Pat

arXiv.org, 2022-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Anyone Can Code: Algorithmic Thinking
Anyone Can Code: Algorithmic Thinking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Anyone Can Code: Algorithmic Thinking

Arya, Ali

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Enhancing expressivity of checked corecursive streams (extended version)
Enhancing expressivity of checked corecursive streams (extended version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Enhancing expressivity of checked corecursive streams (extended version)

Ancona, Davide ; Barbieri, Pietro ; Zucca, Elena

arXiv.org, 2022-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning
Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning

Zhang, Yinger ; Cai, Hui ; Song, Xeirui ; Chen, Yicheng ; Sun, Rui ; Zheng, Jing

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
On the Anatomy of Real-World R Code for Static Analysis
On the Anatomy of Real-World R Code for Static Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Anatomy of Real-World R Code for Static Analysis

Sihler, Florian ; Pietzschmann, Lukas ; Straub, Raphael ; Tichy, Matthias ; Diera, Andor ; Abdelhalim Dahou

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (23.206)
  2. Anais de Congresso  (14)
  3. Resenhas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2001  (74)
  2. 2001Até2005  (231)
  3. 2006Até2010  (1.152)
  4. 2011Até2016  (5.245)
  5. Após 2016  (16.520)
  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.