• Aiuto
  • Sfoglia

    • PRINETTO, Paolo Ernesto

    Rete di Collaborazioni Statistiche Email Alert RSS Feed

    Dettaglio

    Nome completo:
    PRINETTO, Paolo Ernesto
    Link esterni:
    Elenco pubblicazioni in formato JSON:

    Pubblicazioni (Tutti)

    Risultati 1 - 20 di 294 (tempo di esecuzione: 0.0 secondi).

    CitazioneData di pubblicazioneAutoriFile
    1ZipStream: improving dependability in Dynamic Partial Reconfiguration / Di Carlo S.; Gambardella G.; Huynh Bao T.; Prinetto P.; Rolfo D.; Trotta P.. - ELETTRONICO. - (2013), pp. 1-6. ((Intervento presentato al convegno IEEE 8th International Design and Test Symposium (IDT) tenutosi a Marrakesh, MA nel 16-18 Dec. 2013.2013DI CARLO, STEFANO  ; GAMBARDELLA, GIULIO  ; PRINETTO, Paolo Ernesto  ; ROLFO, DANIELE  ; TROTTA, PASCAL    Open Access
    2A watchdog processor to detect data and control flow errors / Benso, Alfredo; DI CARLO, Stefano; DI NATALE, Giorgio; Prinetto, Paolo Ernesto. - STAMPA. - (2003), pp. 144-148. ((Intervento presentato al convegno IEEE 9th International On-Line Testing Symposium (IOLTS) tenutosi a Kos, GR nel 7-9 July 2003.2003BENSO, ALFREDO  ; DI CARLO, STEFANO  ; DI NATALE, GIORGIO  ; PRINETTO, Paolo Ernesto    Open Access
    3VOVHDL: A verification-oriented dialect of VHDL / P. Camurati; F. Corno; P. Prinetto; C. Bayol; B. Soulas. - STAMPA. - (1993), pp. 37-47. ((Intervento presentato al convegno VFE'93: VHDL Forum for CAD in Europe: Fall '93 Meeting tenutosi a Hamburg (Germany) nel Sept 23, 1993.1993CAMURATI, Paolo Enrico  ; CORNO, Fulvio  ; PRINETTO, Paolo Ernesto  ; -
    4Validation of a software dependability tool via fault injection experiments / Benso, Alfredo; DI CARLO, Stefano; DI NATALE, Giorgio; Tagliaferri, Luca; Prinetto, Paolo Ernesto. - STAMPA. - (2001), pp. 3-8. ((Intervento presentato al convegno IEEE 7th International On-Line Testing Workshop (IOLTW) tenutosi a Taormina, IT nel 9-11 July 2001.2001BENSO, ALFREDO  ; DI CARLO, STEFANO  ; DI NATALE, GIORGIO  ; TAGLIAFERRI, Luca  ; PRINETTO, Paolo Ernesto    Visibile a tutti
    5Validation & Verification of an EDA automated synthesis tool / Di Carlo S.; Gambardella G.; Indaco M.; Rolfo D.; Prinetto P.. - STAMPA. - (2011), pp. 48-52. ((Intervento presentato al convegno IEEE 6th International Design and Test Workshop (IDT) tenutosi a Beirut, LI nel 11-14 Dec. 2011.2011DI CARLO, STEFANO  ; GAMBARDELLA, GIULIO  ; INDACO, MARCO  ; ROLFO, DANIELE  ; PRINETTO, Paolo Ernesto    Open Access
    6Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico / CORNO F.; PRINETTO P.; REBAUDENGO M.; SONZA REORDA M.. - STAMPA. - (1995), pp. 39-43.1995CORNO, Fulvio  ; PRINETTO, Paolo Ernesto  ; REBAUDENGO, MAURIZIO  ; SONZA REORDA, MATTEO  -
    7Using symbolic techniques to find the maximum clique in very large sparse graphs / Corno F.; Prinetto P.; Sonza Reorda M.. - (1995). ((Intervento presentato al convegno European Design and Test Conference, 1995. ED&TC 1995.1995CORNO, Fulvio  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO  -
    8Using ER Models for Microprocessor Functional Test Coverage Evaluation / Benso, A.; Di Carlo, S.; Prinetto, P.; Savino, A.; Scionti, A.. - STAMPA. - (2008), pp. 139-142. ((Intervento presentato al convegno IEEE 11th International Biennial Baltic Electronics Conference (BEC) tenutosi a Tallinn, EE nel 6-8 Oct. 2008.2008BENSO, ALFREDO  ; DI CARLO, STEFANO  ; PRINETTO, Paolo Ernesto  ; SAVINO, ALESSANDRO  ;  Open Access
    9Usability of Online Assistance From Semi-literate Users’ Perspective / Ahmad N.; Shoaib U.; Prinetto P.. - In: INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION. - ISSN 1044-7318. - ELETTRONICO. - 31:1(2015), pp. 55-64.2015AHMAD, NADEEM  ; SHOAIB, UMAR  ; PRINETTO, Paolo Ernesto  -
    10TPDL*: Extended Temporal Profile Description Language / CABODI G.; P.CAMURATI; P.PRINETTO; M.SONZA REORDA. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 21(1991), pp. 355-374.1991CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO  -
    11Towards microagent based DBIST/DBISR / Miclea L.; Enyedi S.; Toderean G.; Benso A.; Prinetto P.. - STAMPA. - (2004), pp. 867-874. ((Intervento presentato al convegno IEEE International Test Conference (ITC) tenutosi a Charlotte (NC), USA nel 26-28 Oct. 2004.2004BENSO, ALFREDO  ; PRINETTO, Paolo Ernesto    Visibile a tutti
    12Towards a Highly Reliable SRAM-based PUFs / Ioana Vatajelu, Elena; Di Natale, Giorgio; Prinetto, Paola. - ELETTRONICO. - (2016), pp. 273-276. ((Intervento presentato al convegno 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).2016VATAJELU, ELENA IOANA  ; PRINETTO, Paolo Ernesto  -
    13TLM 2.0 simple sockets synthesis to RTL / Hatami N.; Ghofrani A.; Prinetto P.; Navabi Z. - ELETTRONICO. - 4th International Conference on Design & Technology of Integrated Systems in Nanoscal Era DTIS '09(2009), pp. 3-8. ((Intervento presentato al convegno DTIS '09: IEEE Design & Technology of Integrated Systems in Nanoscale Era, 2009 tenutosi a Cairo (Egypt) nel Apr 6-9, 2009.2009HATAMI MAZINANI, NADEREH  ; PRINETTO, Paolo Ernesto  ;  Visibile a tutti
    14Timing analysis and logic verification via user selectable multiple value logics / MEZZALAMA M.; PRINETTO P.; VISINTIN I.. - (1981), pp. 346-351. ((Intervento presentato al convegno ECCTD’81 : IEEE European Conference on Circuit Theory and Design tenutosi a The Hague (The Netherlands) nel August 1981.1981MEZZALAMA, Marco  ; PRINETTO, Paolo Ernesto  ; -
    15The use of model checking in ATPG for sequential circuits / P. Camurati; M. Gilli; P. Prinetto; M. Sonza Reorda. - 531(1991), pp. 86-95. ((Intervento presentato al convegno Computer-Aided Verification 2nd International Conference, CAV '90 tenutosi a New Brunswick, NJ (USA) nel June 18-21, 1990.1991CAMURATI, Paolo Enrico  ; GILLI, MARCO  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO  -
    16The Product Machine and Implicit Enumeration to prove FSMs correct / CAMURATI P; GILLI M; PRINETTO P.; SONZA REORDA M. - (1991), pp. 51-62. ((Intervento presentato al convegno CHARME 1991: Advanced Research Workshop on Correct Hardware Design Methodologies tenutosi a Torino (Italy) nel June 1991.1991CAMURATI, Paolo Enrico  ; GILLI, MARCO  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO  -
    17The Italian Sign Language Sign Bank: Using WordNet for Sign Language corpus creation / Prinetto P.; Shoaib U.; Tiotto G.. - ELETTRONICO. - (2011), pp. 134-137. ((Intervento presentato al convegno IEEE International Conference on Communications and Information Technology tenutosi a Aqaba (Jordan) nel 29-31 March 2011.2011PRINETTO, Paolo Ernesto  ; SHOAIB, UMAR  ; TIOTTO, GABRIELE  -
    18The General Product Machine: a New Model for Symbolic FSM Traversal / CABODI G.; CAMURATI P.; CORNO F.; PRINETTO P.; SONZA REORDA M.. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 12(1998), pp. 267-289.1998CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; CORNO, Fulvio  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO  -
    19Testing Strategy and Technique for Macro-Based Circuits / SOMENZI F; GAI S; MEZZALAMA M; PRINETTO P.. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - C-34, Issue 1, Jan. 1985(1985), pp. 85-90.1985MEZZALAMA, Marco  ; PRINETTO, Paolo Ernesto  -
    20Testing strategies for VLSI’s / MEZZALAMA M.; PRINETTO P.. - STAMPA. - 1(1981), pp. 287-293. ((Intervento presentato al convegno ICCSCS 1981: 4th Int. Conference on Control System and Computer Science tenutosi a Bucharest (Rumania) nel June 17-20, 1981.1981MEZZALAMA, Marco  ; PRINETTO, Paolo Ernesto  -

     
     
     
    Powered by IRIS-about IRIS-Utilizzo dei cookie
    Logo CINECA  Copyright © 2019