CATALOGO DEI PRODOTTI DELLA RICERCA

RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 1 - 10 di 12 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti) 1-gen-2003 Villa, Tiziano; N., Yevtushenko; S., Zharikova
Constrained encoding in hypercubes: algorithms and applications tological synthesis 1-gen-1987 Villa, Tiziano
Efficient minimization of fully testable 2-SPP networks 1-gen-2005 A., Bernasconi; V., Ciriani; R., Drechsler; Villa, Tiziano
Encoding problems in logic synthesis 1-gen-1995 Villa, Tiziano
Generation of a minimal STG from an implicit cover 1-gen-1996 L., Carloni; Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli
Input encoding for minimum BDD size: theory and experiments 1-gen-1998 W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli
Maximal controllers for hybrid systems with multiple time event separations 1-gen-2003 A., Balluchi; L., Benvenuti; Villa, Tiziano; H., Wong Toi; A. L., Sangiovanni Vincentelli
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica) 1-gen-1999 N., Yevtushenko; Villa, Tiziano; A., Petrenko; R., Brayton; A., Sangiovanni Vincentelli
Sequential synthesis by language equation solving 1-gen-2003 N., Yevtushenko; Villa, Tiziano; R., Brayton; A., Petrenko; A., Sangiovanni Vincentelli
Solving Parallel Equations with BALM-II 1-gen-2012 Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, N.; Mishchenko, A.; Brayton, R.
Risultati 1 - 10 di 12 (tempo di esecuzione: 0.016 secondi).
↑ Back to top
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 07 Altra tipologia 12
  • 07 Altra tipologia::07.15 Rapport... 12
Autore
  • Castagnetti, Giovanni 1
  • Piccolo, Matteo 1
Data di pubblicazione
  • 2010 - 2020 2
  • 2000 - 2009 4
  • 1990 - 1999 5
  • 1987 - 1989 1
Editore
  • Dept. of EECS, University of Cali... 1
  • EECS Department, University of Ca... 1
  • Tech. Rep. TR-05-23, Nov. 24, 200... 1
  • Technical Report, Tomsk Universit... 1
  • University of California, Berkele... 1
  • University of California, Berkele... 1
  • University of California, Berkele... 1
  • University of California, Berkele... 1
  • University of California, Berkele... 1
  • University of California, Berkele... 1
Keyword
  • codifica 3
  • macchine a stati finiti 3
  • Automata equations. parallel equa... 1
  • automi ibridi 1
  • BALM-II 1
  • circuiti numerici 1
  • Controllori massimali 1
  • diagrammi di decisione 1
  • diagrammi di decisione binaria 1
  • equazione sincrone 1
Lingua
  • eng 9
  • rus 2
  • ita 1
Accesso al fulltext
  • no fulltext 7
  • open 5