CAMURATI, Paolo Enrico

CAMURATI, Paolo Enrico  

Dipartimento di Automatica e Informatica  

001895  

Mostra records
Risultati 1 - 20 di 106 (tempo di esecuzione: 0.026 secondi).
Citazione Data di pubblicazione Autori File
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano. - ELETTRONICO. - (2016). ((Intervento presentato al convegno 27th Annual Symposium on Combinatorial Pattern Matching tenutosi a Tel Aviv, Israel nel June 27 - 29, 2016. 1-gen-2016 BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano -
A diagnostic test pattern generation algorithm / Camurati, Paolo Enrico; Medina, D.; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1990), pp. 52-58. ((Intervento presentato al convegno ITC 1990: IEEE International Test Conference 1990 tenutosi a Washington DC (USA) nel 10-14 Sept. 1990 [10.1109/TEST.1990.114000]. 1-gen-1990 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + -
A methodology for system-level design for verifiability / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - 683:(1993), pp. 80-91. ((Intervento presentato al convegno IFIPWG10.2 Advanced Research Working Conference, CHARME'93 tenutosi a Arles (FRA) nel May 24–26, 1993 [10.1007/BFb0021716]. 1-gen-1993 CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto -
A new algorithm for diagnosis-oriented automatic test pattern generation / Camurati, Paolo Enrico; Medina, D.; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1990), pp. 332-336. ((Intervento presentato al convegno EuroASIC 1990: IEEE EURO ASIC tenutosi a Paris (France) nel 29 May-1 June 1990 [10.1109/EASIC.1990.207964]. 1-gen-1990 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + -
A new model for improving symbolic Product Machine traversal / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; S., Gai; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1992), pp. 614-619. ((Intervento presentato al convegno DAC-29: 29th ACM/IEEE Design Automation Conference tenutosi a Anaheim, CA (USA) nel June 1992. 1-gen-1992 CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + -
A Parallel Approach to Symbolic Traversal Based on Set Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano. - (1997). ((Intervento presentato al convegno CHARME’97: Correct Hardware Methodologies. 1-gen-1997 CABODI, GianpieroCAMURATI, Paolo EnricoLIOY, ANTONIOM. PoncinoQUER, Stefano -
A simulation-based approach to test pattern generation for synchronous circuits / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - STAMPA. - (1992), pp. 263-267. ((Intervento presentato al convegno IEEE VLSI Test Symposium [10.1109/VTEST.1992.232763]. 1-gen-1992 CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
A verifiable design methodology at system-level / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas. - STAMPA. - (1993), pp. 364-367. ((Intervento presentato al convegno ICVC93: IEEE 3rd International Conference on VLSI and CAD tenutosi a Taejon (Korea) nel Nov 1993. 1-gen-1993 CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto + -
Algoritmi e programmazione in pratica. Da specifiche a codice C / PASINI, PAOLO; PATTI, DENIS; VENDRAMINETTO, DANILO; CABODI, Gianpiero; CAMURATI, Paolo Enrico. - STAMPA. - (2018). 1-gen-2018 paolo pasinidenis pattidanilo vendraminettogianpiero cabodipaolo camurati -
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti / Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (2013), pp. 1-234. 1-gen-2013 CAMURATI, Paolo EnricoQUER, Stefano book.pdf
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti / Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (2016), pp. 1-291. 1-gen-2016 CAMURATI, Paolo EnricoQUER, Stefano book.pdf
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti / Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (2017), pp. 1-305. 1-gen-2017 CAMURATI, Paolo EnricoQUER, Stefano -
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione / Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (2014), pp. 1-234. 1-gen-2014 CAMURATI, Paolo EnricoQUER, Stefano -
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques / Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - 4:(1993), pp. 11-17. 1-gen-1993 CABODI, GianpieroCAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo ErnestoSONZA REORDA, Matteo -
An efficient tool for system-level verification of behaviors and temporal properties / Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto. - STAMPA. - (1993), pp. 124-129. ((Intervento presentato al convegno EURO-DAC '93: IEEE European Design Automation Conference, 1993, with EURO-VHDL '93 tenutosi a Hamburg (Germany) nel Sep 20-24, 1993 [10.1109/EURDAC.1993.410626]. 1-gen-1993 CAMURATI, Paolo EnricoCORNO, FulvioPRINETTO, Paolo Ernesto -
An experimental comparison of different approaches to ROM BIST / Barbagallo, S.; Burri, A.; Medina, D.; Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo. - (1991), pp. 567-571. ((Intervento presentato al convegno CompEuro’91: IEEE 5th Annual European Computer Conference on VLSI and Computers tenutosi a Bologna (Italy) nel 13-16 May 1991 [10.1109/CMPEUR.1991.257450]. 1-gen-1991 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + -
An industrial experience in the built-in self test of embedded RAM / Camurati, Paolo Enrico; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo;   barbagallo, S.;   burri, A.;  medina, D.. - STAMPA. - (1994), pp. 306-311. ((Intervento presentato al convegno VTS 1994 : IEEE 12th VLSI Test Symposium tenutosi a Cherry Hill, NJ (USA) nel Apr 25-28, 1994 [10.1109/VTEST.1994.292296 ]. 1-gen-1994 CAMURATI, Paolo EnricoPRINETTO, Paolo ErnestoSONZA REORDA, Matteo + -
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco. - STAMPA. - (2008), pp. 129-136. ((Intervento presentato al convegno ICCAD'08: IEEE/ACM International Conference on Computer Aided Design tenutosi a San Jose nel 10-13 nov 2008. 1-gen-2008 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCO ICCAD2008.pdf
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 3:(1998), pp. 309-340. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -
Auxiliary variables for extending symbolic traversal techniques to data paths / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - (1994), pp. 289-293. ((Intervento presentato al convegno DAC-31: 31st ACM/IEEE Desing Automation Conference tenutosi a San Diego nel June 1994. 1-gen-1994 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -