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.
Charakterisazija sgivich rescienii sinchronnovo avtomatnovo uravnenija(Caratterizzazione delle soluzioni progressive di un'equazione sincrona su macchine a stati finiti)
2003-01-01 Villa, Tiziano; N., Yevtushenko; S., Zharikova
Constrained encoding in hypercubes: algorithms and applications tological synthesis
1987-01-01 Villa, Tiziano
Efficient minimization of fully testable 2-SPP networks
2005-01-01 A., Bernasconi; V., Ciriani; R., Drechsler; Villa, Tiziano
Encoding problems in logic synthesis
1995-01-01 Villa, Tiziano
Generation of a minimal STG from an implicit cover
1996-01-01 L., Carloni; Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli
Input encoding for minimum BDD size: theory and experiments
1998-01-01 W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli
Maximal controllers for hybrid systems with multiple time event separations
2003-01-01 A., Balluchi; L., Benvenuti; Villa, Tiziano; H., Wong Toi; A. L., Sangiovanni Vincentelli
Riescienie uravnienii v loghicieskam sintiesie(Soluzione di equazioni in sintesi logica)
1999-01-01 N., Yevtushenko; Villa, Tiziano; A., Petrenko; R., Brayton; A., Sangiovanni Vincentelli
Sequential synthesis by language equation solving
2003-01-01 N., Yevtushenko; Villa, Tiziano; R., Brayton; A., Petrenko; A., Sangiovanni Vincentelli
Solving Parallel Equations with BALM-II
2012-01-01 Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, N.; Mishchenko, A.; Brayton, R.
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. |
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
Opzioni
Scopri
Tipologia
- 07 Altra tipologia 12
- 07 Altra tipologia::07.15 Rapport... 12
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