PORTO @ Archivio Istituzionale della Ricerca

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

PRINETTO, Paolo Ernesto

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Info

Dettaglio

Nome completo:

PRINETTO, Paolo Ernesto

Link esterni:

Pagina personale

Elenco pubblicazioni in formato JSON:

Pubblicazioni

Pubblicazioni (Tutti)

Risultati 1 - 20 di 295 (tempo di esecuzione: 0.002 secondi).

	Citazione	Data di pubblicazione	Autori	File
1	ZipStream: improving dependability in Dynamic Partial Reconﬁguration / 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.	2013	DI CARLO, STEFANO ; GAMBARDELLA, GIULIO ; Huynh Bao T.; PRINETTO, Paolo Ernesto ; ROLFO, DANIELE ; TROTTA, PASCAL	Administrator2012-IDT-Z... Visibile a tutti2012-IDT-Z...
2	A 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.	2003	BENSO, ALFREDO ; DI CARLO, STEFANO ; DI NATALE, GIORGIO ; PRINETTO, Paolo Ernesto	Visibile a tutti2003-IOLTS... Administrator2003-IOLTS...
3	VOVHDL: 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.	1993	CAMURATI, Paolo Enrico ; CORNO, Fulvio ; PRINETTO, Paolo Ernesto ; C. Bayol; B. Soulas	-
4	Validation 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.	2001	BENSO, ALFREDO ; DI CARLO, STEFANO ; DI NATALE, GIORGIO ; TAGLIAFERRI, Luca ; PRINETTO, Paolo Ernesto	Visibile a tutti2001-IOLTS... Visibile a tutti2001-IOLTS...
5	Validation & 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.	2011	DI CARLO, STEFANO ; GAMBARDELLA, GIULIO ; INDACO, MARCO ; ROLFO, DANIELE ; PRINETTO, Paolo Ernesto	Administrator2011-IDT-C... Visibile a tutti2011-IDT-C...
6	Uso 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.	1995	CORNO, Fulvio ; PRINETTO, Paolo Ernesto ; REBAUDENGO, MAURIZIO ; SONZA REORDA, MATTEO	-
7	Using 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.	1995	CORNO, Fulvio ; PRINETTO, Paolo Ernesto ; SONZA REORDA, MATTEO	-
8	Using 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.	2008	BENSO, ALFREDO ; DI CARLO, STEFANO ; PRINETTO, Paolo Ernesto ; SAVINO, ALESSANDRO ; Scionti, A.	Administrator2008-BEC-E... Visibile a tutti2008-BEC-E...
9	Usability 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.	2015	AHMAD, NADEEM ; SHOAIB, UMAR ; PRINETTO, Paolo Ernesto	-
10	TPDL*: 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.	1991	CABODI, Gianpiero ; CAMURATI, Paolo Enrico ; PRINETTO, Paolo Ernesto ; SONZA REORDA, MATTEO	-
11	Towards 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.	2004	Miclea L.; Enyedi S.; Toderean G.; BENSO, ALFREDO ; PRINETTO, Paolo Ernesto	Visibile a tutti2004-ITC-m...
12	Towards 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).	2016	VATAJELU, ELENA IOANA ; Di Natale, Giorgio; PRINETTO, Paolo Ernesto	-
13	TLM 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.	2009	HATAMI MAZINANI, NADEREH ; Ghofrani A.; PRINETTO, Paolo Ernesto ; Navabi Z.	Visibile a tutti04938013.pdf
14	Timing 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.	1981	MEZZALAMA, Marco ; PRINETTO, Paolo Ernesto ; VISINTIN I.	-
15	The 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.	1991	CAMURATI, Paolo Enrico ; GILLI, MARCO ; PRINETTO, Paolo Ernesto ; SONZA REORDA, MATTEO	-
16	The 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.	1991	CAMURATI, Paolo Enrico ; GILLI, MARCO ; PRINETTO, Paolo Ernesto ; SONZA REORDA, MATTEO	-
17	The 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.	2011	PRINETTO, Paolo Ernesto ; SHOAIB, UMAR ; TIOTTO, GABRIELE	-
18	The 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.	1998	CABODI, Gianpiero ; CAMURATI, Paolo Enrico ; CORNO, Fulvio ; PRINETTO, Paolo Ernesto ; SONZA REORDA, MATTEO	-
19	Testing 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.	1985	SOMENZI F; GAI S; MEZZALAMA, Marco ; PRINETTO, Paolo Ernesto	-
20	Testing 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.	1981	MEZZALAMA, Marco ; PRINETTO, Paolo Ernesto	-