skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Syntactic Complexities of Some Classes of Star-Free Languages
Syntactic Complexities of Some Classes of Star-Free Languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Syntactic Complexities of Some Classes of Star-Free Languages

Brzozowski, Janusz ; Li, Baiyu

Descriptional Complexity of Formal Systems, p.117-129 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Uniform Distributed Pushdown Automata Systems
Uniform Distributed Pushdown Automata Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Uniform Distributed Pushdown Automata Systems

Arroyo, Fernando ; Castellanos, Juan ; Mitrana, Victor

Descriptional Complexity of Formal Systems, p.64-75 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
State Complexity of Star and Square of Union of k Regular Languages
State Complexity of Star and Square of Union of k Regular Languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

State Complexity of Star and Square of Union of k Regular Languages

Gao, Yuan ; Kari, Lila

Descriptional Complexity of Formal Systems, p.155-168 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Bounded Counter Languages
Bounded Counter Languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Bounded Counter Languages

Petersen, Holger

Descriptional Complexity of Formal Systems, p.266-279 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach

Shin, Youngsoo ; Tsui, Chi-Ying ; Kim, Jae-Joon ; Choi, Kiyoung ; Reis, Ricardo

VLSI-SoC: Design for Reliability, Security, and Low Power, 2016, Vol.483, p.193-221

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
6
Laser-Induced Fault Effects in Security-Dedicated Circuits
Laser-Induced Fault Effects in Security-Dedicated Circuits
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Laser-Induced Fault Effects in Security-Dedicated Circuits

Claesen, Luc ; Sanz-Pascual, Maria-Teresa ; Reis, Ricardo ; Sarmiento-Reyes, Arturo

VLSI-SoC: Internet of Things Foundations, 2015, Vol.464, p.220-240

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
On the Use of System-on-Chip Technology in Next-Generation Instruments Avionics for Space Exploration
On the Use of System-on-Chip Technology in Next-Generation Instruments Avionics for Space Exploration
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On the Use of System-on-Chip Technology in Next-Generation Instruments Avionics for Space Exploration

Shin, Youngsoo ; Tsui, Chi-Ying ; Kim, Jae-Joon ; Choi, Kiyoung ; Reis, Ricardo

VLSI-SoC: Design for Reliability, Security, and Low Power, 2016, Vol.483, p.1-22

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
Energy-Efficient Partitioning of Hybrid Caches in Multi-core Architecture
Energy-Efficient Partitioning of Hybrid Caches in Multi-core Architecture
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Energy-Efficient Partitioning of Hybrid Caches in Multi-core Architecture

Claesen, Luc ; Sanz-Pascual, Maria-Teresa ; Reis, Ricardo ; Sarmiento-Reyes, Arturo

VLSI-SoC: Internet of Things Foundations, 2015, Vol.464, p.58-74

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
A Temperature-Aware Battery Cycle Life Model for Different Battery Chemistries
A Temperature-Aware Battery Cycle Life Model for Different Battery Chemistries
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Temperature-Aware Battery Cycle Life Model for Different Battery Chemistries

Shin, Youngsoo ; Tsui, Chi-Ying ; Kim, Jae-Joon ; Choi, Kiyoung ; Reis, Ricardo

VLSI-SoC: Design for Reliability, Security, and Low Power, 2016, Vol.483, p.109-130

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
Dynamic Programming-Based Lifetime Reliability Optimization in Networks-on-Chip
Dynamic Programming-Based Lifetime Reliability Optimization in Networks-on-Chip
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Dynamic Programming-Based Lifetime Reliability Optimization in Networks-on-Chip

Claesen, Luc ; Sanz-Pascual, Maria-Teresa ; Reis, Ricardo ; Sarmiento-Reyes, Arturo

VLSI-SoC: Internet of Things Foundations, 2015, Vol.464, p.1-20

Switzerland: Springer International Publishing AG

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

Data de Publicação 

De até
Refinar
  1. Antes de2000  (4)
  2. 2000Até2004  (11)
  3. 2005Até2009  (4)
  4. 2010Até2013  (11)
  5. Após 2013  (47)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (79)
  2. Holandês  (2)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.