CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 150
Titolo Data di pubblicazione Autore(i) File
Solution of Parallel Language Equations for Logic Synthesis 1-gen-2001 N., Yevtushenko; Villa, Tiziano; R. K., Brayton; A., Petrenko; A. L., Sangiovannivincentelli
Optimization of Synchronous Circuits 1-gen-2001 S., Hassoun; Villa, Tiziano
Optimization of Multi-Valued Multi-Level Networks 1-gen-2002 M., Gao; J. H., Jiang; Y., Jiang; Y., Li; A., Mishchenko; S., Sinha; Villa, Tiziano; R. K., Brayton
Solution of Synchronous Language Equations for Logic Synthesis 1-gen-2002 N., Yevtushenko; Villa, Tiziano; R., Brayton; A., Petrenko; A. L., SANGIOVANNI VINCENTELLI
Equisolvability of Series vs. Controller’s Topology in Synchronous Language Equations 1-gen-2003 Yevtushenko, N.; Villa, Tiziano; Brayton, R.; Petrenko, A.; Sangiovanni, Vincentelli
Controller synthesis for hybrid systems with a lower bound on event separation. 1-gen-2003 A., Balluchi; L., Benvenuti; Villa, Tiziano; H., WONG TOI; A. L., SANGIOVANNI VINCENTELLI
Sequential synthesis by language equation solving 1-gen-2003 N., Yevtushenko; Villa, Tiziano; R., Brayton; A., Petrenko; A., Sangiovanni Vincentelli
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
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
Improving Reachability Analysis of Hybrid Automata for Engine Control 1-gen-2004 A., Casagrande; A., Balluchi; L., Benvenuti; A., Policriti; Villa, Tiziano; A. L., SANGIOVANNI VINCENTELLI
Composition Operators in Language Equations 1-gen-2004 N., Yevtushenko; Villa, Tiziano; R., Brayton; A., Mishchenko; A., SANGIOVANNI VINCENTELLI
Efficient Solution of Language Equations using Partitioned Representations 1-gen-2005 A., Mishchenko; R., Brayton; J. H., Jiang; Villa, Tiziano; N., Yevtushenko
FSM Re-engineering and its Application in Low Power State Encoding 1-gen-2005 L., Yuan; G., Qu; Villa, Tiziano; A. L., SANGIOVANNI VINCENTELLI
Efficient minimization of fully testable 2-SPP networks 1-gen-2005 A., Bernasconi; V., Ciriani; R., Drechsler; Villa, Tiziano
How Hard is Two-Level Logic Minimization: an Addendum to Garey & Johnson 1-gen-2005 C., Umans; Villa, Tiziano; A., SANGIOVANNI VINCENTELLI
Ariadne: a library for computing with hybrid automata 1-gen-2005 A., Balluchi; A., Casagrande; P., Collins; P., Murrieri; Villa, Tiziano; A. L., SANGIOVANNI VINCENTELLI
Efficient Minimization of Fully Testable 2-SPP Networks 1-gen-2006 A., Bernasconi; V., Ciriani; R., Drechsler; Villa, Tiziano
Ariadne: a Framework for Reachability Analysis of Hybrid Automata 1-gen-2006 A., Balluchi; A., Casagrande; P., Collins; A., Ferrari; Villa, Tiziano; A. L., SANGIOVANNI VINCENTELLI
The complexity of two-level logic minimization 1-gen-2006 C., Umans; Villa, Tiziano; A., SANGIOVANNI VINCENTELLI
Idle Speed Control - A Benchmark for Hybrid System Research 1-gen-2006 A., Balluchi; L., Benvenuti; M., DI BENEDETTO; C., Lemma; P., Murrieri; Villa, Tiziano; A. L., SANGIOVANNI VINCENTELLI
Mostrati risultati da 41 a 60 di 150
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