CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 150
Titolo Data di pubblicazione Autore(i) File
Negative thinking in search methods: application to unate covering 1-gen-1997 E., Goldberg; L., Carloni; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
An implicit formulation for exact BDD minimization of incompletelyspecified functions 1-gen-1997 A., Oliveira; L., Carloni; Villa, Tiziano; A., Sangiovanni Vincentelli
Synthesis of FSMs: functional optimization 1-gen-1997 T., Kam; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
Synthesis of FSMs: logic optimization 1-gen-1997 Villa, Tiziano; T., Kam; R., Brayton; A., Sangiovanni Vincentelli
Exact minimization of binary decision diagrams using implicit techniques 1-gen-1998 A., Oliveira; L., Carloni; Villa, Tiziano; A., Sangiovanni Vincentelli
Formal verification of an automotive engine controller in cutoff mode 1-gen-1998 Villa, Tiziano; H., Wong Toi; A., Balluchi; J., Preussig; A., Sangiovanni Vincentelli; Y., Watanabe
Theory and algorithms for face hypercube embedding 1-gen-1998 E., Goldberg; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
An exact input encoding algorithm for BDDs representing FSMs 1-gen-1998 W., Gosti; Villa, Tiziano; A., Saldanha; A., Sangiovanni Vincentelli
Multi-valued decision diagrams: theory and applications 1-gen-1998 T., Kam; Villa, Tiziano; 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
Aura~II: combining negative thinking and branch-and-bound in unate covering Problems 1-gen-1999 L., Carloni; E., Goldberg; Villa, Tiziano; R., Brayton; A., Sangiovanni Vincentelli
A case study of hybrid controller synthesis of a heating system 1-gen-1999 A., Balluchi; L., Benvenuti; Villa, Tiziano; H., Wong Toi; A., Sangiovanni Vincentelli
Controller synthesis for hybrid systems with lower bounds on event separation 1-gen-1999 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
Negative thinking in branch-and-bound: the case of unate covering 1-gen-2000 E., Goldberg; L., Carloni; Villa, Tiziano; R., Brayton; A. L., Sangiovanni Vincentelli
Maximal safe set computation for idle speed control of an automotive engine 1-gen-2000 A., Balluchi; L., Benvenuti; M., Di Benedetto; G., Miconi; U., Pozzi; Villa, Tiziano; H., Wong Toi; A. L., Sangiovanni Vincentelli
Hybrid controller synthesis for idle speed management of an automotive engine 1-gen-2000 A., Balluchi; L., Benvenuti; M., Di Benedetto; Villa, Tiziano; H., Wong Toi; A. L., Sangiovanni Vincentelli
Introduzione all'algoritmica 1-gen-2000 Villa, Tiziano
Advances in encoding for logic synthesis 1-gen-2000 L., Lavagno; Villa, Tiziano; A., Sangiovanni Vincentelli
Model Matching for Finite State Machines 1-gen-2001 M. D., DI BENEDETTO; A. L., SANGIOVANNI VINCENTELLI; Villa, Tiziano
Mostrati risultati da 21 a 40 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