skip to main content
Lingue:

Risutati 1 - 10 di 96.753  per Tutte le collezioni

Risultati 1 2 3 4 5 next page
Mostra solo
Filtrati per: Tipo di risorsa: Rapporto tecnico rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

Estimation of moment-independent importance measure on failure probability and its application in reliability analysis.(Technical report)(Author abstract)

Wenbin Ruan ; Zhenzhou Lu

Journal of Structural Engineering, 2015, Vol.141(8) [Rivista Peer Reviewed]

American Society of Civil Engineers

Accesso online

2
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

Coz: Finding Code that Counts with Causal Profiling.(Research Highlights)(Technical report)

Curtsinger, Charlie ; Berger, Emery D.

Communications of the ACM, 2018, Vol.61(6), p.91(9) [Rivista Peer Reviewed]

Association for Computing Machinery, Inc.

Accesso online

3
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

In defense of soundiness: a manifesto.(Viewpoints)(Technical report)

Livsits, Benjamin

Communications of the ACM, 2015, Vol.58(2), p.44(3) [Rivista Peer Reviewed]

Association for Computing Machinery, Inc.

Accesso online

4
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

Automated support for diagnosis and repair.(Technical report)

Alrajeh, Dalal, Kramer, Jeff, Russo, Alessandra and Uchite, Sebastian

Communications of the ACM, 2015, Vol.58(2), p.65(8) [Rivista Peer Reviewed]

Association for Computing Machinery, Inc.

Accesso online

5
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

The equivalence problem for finite automata.(Technical Perspective/Research Highlights)(Technical report)

Communications of the ACM, 2015, Vol.58(2), p.86(1) [Rivista Peer Reviewed]

Association for Computing Machinery, Inc.

Accesso online

6
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

Verifying computations without reexecuting them.(Review Articles)(Technical report)

Walfish, Michael ; Blumberg, Andrew J.

Communications of the ACM, 2015, Vol.58(2), p.74(11) [Rivista Peer Reviewed]

Association for Computing Machinery, Inc.

Accesso online

7
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

Software dataplane verification.(Technical report)

Dobrescu, Mihai ; Argyraki, Katerina

Communications of the ACM, 2015, Vol.58(11), p.113(9) [Rivista Peer Reviewed]

Association for Computing Machinery, Inc.

Accesso online

8
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

Traveling Lamb wave in elastic metamaterial layer.(Technical report)

Haisheng Shu ; Lihuan Xu ; Xiaona Shi ; Lei Zhao ; Jie Zhu

Journal of Applied Physics, Oct 28, 2016, Vol.120(16) [Rivista Peer Reviewed]

American Institute of Physics, Inc.

Accesso online

9
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

A high-sensitivity micromechanical electrometer based on mode localization of two degree-of-freedom weakly coupled resonators.(Technical report)

Hemin Zhang ; Jie Huang ; Weizheng Yuan ; Honglong Chang

Journal of Physical Chemistry A, Dec 22, 2016, Vol.120(50), pp.937-10 [Rivista Peer Reviewed]

American Chemical Society

Accesso online

10
Material Type:
Rapporto tecnico
Aggiungi allo Scaffale Elettronico

Hacking nondeterminism with induction and coinduction.(Technical report)

Bonchi, Filippo ; Pous, Damien

Communications of the ACM, 2015, Vol.58(2), p.87(9) [Rivista Peer Reviewed]

Association for Computing Machinery, Inc.

Accesso online

Risutati 1 - 10 di 96.753  per Tutte le collezioni

Risultati 1 2 3 4 5 next page

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i miei risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (1.986)

Anno 

Da A
  1. Prima1961 
  2. 1961a1974 
  3. 1975a1988 
  4. 1989a2003 
  5. Dopo 2003 
  6. Altre opzioni open sub menu

Ricerca in corso nelle risorse remote ...