skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: Academic Search Premier remover Base de dados/Biblioteca: EBSCOhost Computers and Applied Sciences Complete remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Reversible Garbage Collection for Reversible Functional Languages
Reversible Garbage Collection for Reversible Functional Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reversible Garbage Collection for Reversible Functional Languages

Mogensen, Torben Ægidius

New generation computing, 2018-07, Vol.36 (3), p.203-232 [Periódico revisado por pares]

Tokyo: Ohmsha

Texto completo disponível

Citações Citado por
2
The functional logic language BABEL and its implementation on a graph machine
The functional logic language BABEL and its implementation on a graph machine
Material Type:
Artigo 		Adicionar ao Meu Espaço

The functional logic language BABEL and its implementation on a graph machine

KUCHEN, H ; LOOGEN, R ; MORENO-NAVARRO, J. J ; RODRIGUEZ-ARTALEJO, M

New generation computing, 1996-01, Vol.14 (4), p.391-427 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
3
Bounds Checking on GPU
Bounds Checking on GPU
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bounds Checking on GPU

Henriksen, Troels

International journal of parallel programming, 2021-12, Vol.49 (6), p.761-775 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
4
Hybrid co-simulation: it’s about time
Hybrid co-simulation: it’s about time
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid co-simulation: it’s about time

Cremona, Fabio ; Lohstroh, Marten ; Broman, David ; Lee, Edward A. ; Masin, Michael ; Tripakis, Stavros

Software and systems modeling, 2019-06, Vol.18 (3), p.1655-1679 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
A formally based parallelization of data mining algorithms for multi-core systems
A formally based parallelization of data mining algorithms for multi-core systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formally based parallelization of data mining algorithms for multi-core systems

Kholod, Ivan ; Shorov, Andrey ; Titkov, Evgenii ; Gorlatch, Sergei

The Journal of supercomputing, 2019-12, Vol.75 (12), p.7909-7920 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
6
Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model
Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model

Daun, Marian ; Weyer, Thorsten ; Pohl, Klaus

Software and systems modeling, 2019-12, Vol.18 (6), p.3421-3459 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Design and automation of a COSMIC measurement procedure based on UML models
Design and automation of a COSMIC measurement procedure based on UML models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design and automation of a COSMIC measurement procedure based on UML models

De Vito, Gabriele ; Ferrucci, Filomena ; Gravino, Carmine

Software and systems modeling, 2020, Vol.19 (1), p.171-198 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Decision-making under uncertainty: be aware of your priorities
Decision-making under uncertainty: be aware of your priorities
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decision-making under uncertainty: be aware of your priorities

Samin, Huma ; Bencomo, Nelly ; Sawyer, Peter

Software and systems modeling, 2022-12, Vol.21 (6), p.2213-2242 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Integrating the analysis of multiple non-functional properties in model-driven engineering
Integrating the analysis of multiple non-functional properties in model-driven engineering
Material Type:
Artigo 		Adicionar ao Meu Espaço

Integrating the analysis of multiple non-functional properties in model-driven engineering

Petriu, Dorina C.

Software and systems modeling, 2021-12, Vol.20 (6), p.1777-1791 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
On the expressiveness and semantics of information flow types
On the expressiveness and semantics of information flow types
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the expressiveness and semantics of information flow types

Rajani, Vineet ; Garg, Deepak

Journal of computer security, 2020-01, Vol.28 (1), p.129-156 [Periódico revisado por pares]

Amsterdam: IOS Press BV

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (58)
  2. Resenhas  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (6)
  2. 1989Até1997  (6)
  3. 1998Até2009  (6)
  4. 2010Até2016  (15)
  5. Após 2016  (27)
  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.