skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Arxiv.Org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Improving the GP 2 Compiler
Improving the GP 2 Compiler
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improving the GP 2 Compiler

Campbell, Graham ; Romo, Jack ; Plump, Detlef

arXiv.org, 2021-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable
JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable
Material Type:
Artigo 		Adicionar ao Meu Espaço

JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable

Gupta, Piyush ; Mehrotra, Nikita ; Purandare, Rahul

arXiv.org, 2020-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Invariant Detection with Program Verification Tools
Invariant Detection with Program Verification Tools
Material Type:
Artigo 		Adicionar ao Meu Espaço

Invariant Detection with Program Verification Tools

He, Wei

arXiv.org, 2019-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Liveness-Driven Random Program Generation
Liveness-Driven Random Program Generation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Liveness-Driven Random Program Generation

Barany, Gergö

arXiv.org, 2017-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Sthread: In-Vivo Model Checking of Multithreaded Programs
Sthread: In-Vivo Model Checking of Multithreaded Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sthread: In-Vivo Model Checking of Multithreaded Programs

Cooperman, Gene ; Quinson, Martin

arXiv.org, 2020-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
A Quick Introduction to Functional Verification of Array-Intensive Programs
A Quick Introduction to Functional Verification of Array-Intensive Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Quick Introduction to Functional Verification of Array-Intensive Programs

Banerjee, Kunal ; Karfa, Chandan

arXiv.org, 2019-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Fibred Computational Effects
Fibred Computational Effects
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fibred Computational Effects

Ahman, Danel

arXiv.org, 2017-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution
An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution

Zhang, Sizhuo ; Vijayaraghavan, Muralidaran ; Arvind

arXiv.org, 2017-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Mitigating Power Side Channels during Compilation
Mitigating Power Side Channels during Compilation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Mitigating Power Side Channels during Compilation

Wang, Jingbo ; Sung, Chungha ; Wang, Chao

arXiv.org, 2019-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Structural Operational Semantics for Control Flow Graph Machines
Structural Operational Semantics for Control Flow Graph Machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Structural Operational Semantics for Control Flow Graph Machines

Garbuzov, Dmitri ; Mansky, William ; Rizkallah, Christine ; Zdancewic, Steve

arXiv.org, 2018-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

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

Buscando em bases de dados remotas. Favor aguardar.