skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: EBSCOhost Business Source Complete remover Nome da Publicação: Theory Of Computing Systems remover SpringerLink (Online service) remover EBSCOhost Computers and Applied Sciences Complete remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions

Le, Thi Thieu Hoa ; Passerone, Roberto ; Fahrenberg, Uli ; Legay, Axel

ACM transactions on embedded computing systems, 2016-06, Vol.15 (2), p.1-26 [Periódico revisado por pares]

Springer Verlag

Texto completo disponível

Citações Citado por
2
Optimal Path Discovery Problem with Homogeneous Knowledge
Optimal Path Discovery Problem with Homogeneous Knowledge
Material Type:
Artigo 		Adicionar ao Meu Espaço

Optimal Path Discovery Problem with Homogeneous Knowledge

Thraves Caro, Christopher ; Doncel, Josu ; Brun, Olivier

Theory of computing systems, 2020-02, Vol.64 (2), p.227-250 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
3
Computing Parameters of Sequence-Based Dynamic Graphs
Computing Parameters of Sequence-Based Dynamic Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computing Parameters of Sequence-Based Dynamic Graphs

Casteigts, Arnaud ; Klasing, Ralf ; Neggaz, Yessin M. ; Peters, Joseph G.

Theory of computing systems, 2019-04, Vol.63 (3), p.394-417 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
4
Nearly-Linear Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs
Nearly-Linear Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nearly-Linear Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs

Blelloch, Guy E. ; Gupta, Anupam ; Koutis, Ioannis ; Miller, Gary L. ; Peng, Richard ; Tangwongsan, Kanat

Theory of computing systems, 2014-10, Vol.55 (3), p.521-554 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
5
Tight Bounds for Adopt-Commit Objects
Tight Bounds for Adopt-Commit Objects
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tight Bounds for Adopt-Commit Objects

Aspnes, James ; Ellen, Faith

Theory of computing systems, 2014-10, Vol.55 (3), p.451-474 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
6
Highly-Efficient Wait-Free Synchronization
Highly-Efficient Wait-Free Synchronization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Highly-Efficient Wait-Free Synchronization

Fatourou, Panagiota ; Kallimanis, Nikolaos D.

Theory of computing systems, 2014-10, Vol.55 (3), p.475-520 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
7
On a Local Protocol for Concurrent File Transfers
On a Local Protocol for Concurrent File Transfers
Material Type:
Artigo 		Adicionar ao Meu Espaço

On a Local Protocol for Concurrent File Transfers

Hajiaghayi, Mohammad Taghi ; Khandekar, Rohit ; Kortsarz, Guy ; Liaghat, Vahid

Theory of computing systems, 2014-10, Vol.55 (3), p.613-636 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
8
Distributed Approximation of Capacitated Dominating Sets
Distributed Approximation of Capacitated Dominating Sets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Distributed Approximation of Capacitated Dominating Sets

Kuhn, Fabian ; Moscibroda, Thomas

Theory of computing systems, 2010-11, Vol.47 (4), p.811-836 [Periódico revisado por pares]

New York: Springer-Verlag

Texto completo disponível

Citações Citado por
9
Puzzles, Art, and Magic with Algorithms
Puzzles, Art, and Magic with Algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Puzzles, Art, and Magic with Algorithms

Demaine, Erik D. ; Demaine, Martin L.

Theory of computing systems, 2006-06, Vol.39 (3), p.473-481 [Periódico revisado por pares]

New York: Springer Nature B.V

Texto completo disponível

Citações Citado por
10
Towards a First Vertical Prototyping of an Extremely Fine-Grained Parallel Programming Approach
Towards a First Vertical Prototyping of an Extremely Fine-Grained Parallel Programming Approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards a First Vertical Prototyping of an Extremely Fine-Grained Parallel Programming Approach

Naishlos, Dorit ; Nuzman, Joseph ; Tseng, Chau-Wen ; Vishkin, Uzi

Theory of computing systems, 2003-09, Vol.36 (5), p.521-552 [Periódico revisado por pares]

New York: Springer Nature B.V

Texto completo disponível

Citações Citado por

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

Buscando em bases de dados remotas. Favor aguardar.