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.

LAVAGNO, Luciano

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Info

Dettaglio

Nome completo:

LAVAGNO, Luciano

Link esterni:

Pagina personale

Elenco pubblicazioni in formato JSON:

Pubblicazioni

Pubblicazioni (Tutti)

Risultati 1 - 20 di 253 (tempo di esecuzione: 0.001 secondi).

	Citazione	Data di pubblicazione	Autori	File
1	Wireless Sensor Networks / Lazarescu, MIHAI TEODOR; Lavagno, Luciano. - ELETTRONICO. - Handbook of Hardware/Software Codesign(2016), pp. 1-42.	2016	LAZARESCU, MIHAI TEODOR ; LAVAGNO, Luciano	riservati
2	Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications / Sayyah, Parinaz; Lazarescu, MIHAI TEODOR; Sara, Bocchio; Emad, Ebeid; Gianluca, Palermo; Davide, Quaglia; Alberto, Rosti; Lavagno, Luciano. - In: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. - ISSN 1539-9087. - STAMPA. - 14:3(2015), pp. 1-25.	2015	SAYYAH, PARINAZ ; LAZARESCU, MIHAI TEODOR ; Sara Bocchio; Emad Ebeid; Gianluca Palermo; Davide Quaglia; Alberto Rosti; LAVAGNO, Luciano	Open Access
3	Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks / S. QUER; G. CABODI; P. CAMURATI; L. LAVAGNO; E.M. SENTOVICH; R.K. BRAYTON. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 17:2(2000), pp. 107-134.	2000	QUER, Stefano ; CABODI, Gianpiero ; CAMURATI, Paolo Enrico ; LAVAGNO, Luciano ; E. M. SENTOVICH; R. K. BRAYTON	riservati
4	Verification and synthesis of counters based on symbolic techniques / G. Cabodi;P. Camurati;L. Lavagno;S. Quer. - (1997), pp. 176-181. ((Intervento presentato al convegno Proceedings European Design and Test Conference. ED & TC 97.	1997	CABODI, Gianpiero ; CAMURATI, Paolo Enrico ; LAVAGNO, Luciano ; QUER, Stefano	-
5	Verification and Synthesis of Counters based on Symbolic Techniques / Cabodi G.; Camurati P.; Lavagno L.; Quer S.. - STAMPA. - (1996). ((Intervento presentato al convegno 4th International Workshop on Symbolic Methods and Applications to Circuit Design (SMACD 1996) tenutosi a Leuven Belgium nel October, 1996.	1996	CABODI, Gianpiero ; CAMURATI, Paolo Enrico ; LAVAGNO, Luciano ; QUER, Stefano	riservati
6	Uml for Real: Design of Embedded Real-Time Systems / LAVAGNO L.; G. MARTIN; B. SELIC. - (2003).	2003	LAVAGNO, Luciano ; G. MARTIN; B. SELIC	-
7	Trade-off evaluation in embedded system design via co-simulation / PASSERONE C.; LAVAGNO L.; SANSOE' C.; CHIODO M.; SANGIOVANNI-VINCENTELLI A.. - (1997), pp. 291-297. ((Intervento presentato al convegno Asia and South Pacific Design Automation Conference tenutosi a Chiba (JPN) nel January 28-31, 1997.	1997	PASSERONE, CLAUDIO ; LAVAGNO, Luciano ; SANSOE', CLAUDIO ; CHIODO M.; SANGIOVANNI VINCENTELLI A.	riservati
8	Toward networking of embedded systems / LAVAGNO L.; R. ZURAWSKI. - (2005).	2005	LAVAGNO, Luciano ; R. ZURAWSKI	-
9	The use of petri nets for the design and verification of asynchronous circuits and systems. / A. KONDRATYEV; J. CORTADELLA; M. KISHINEVSKY; LAVAGNO L.; A. TAUBIN. - In: JOURNAL OF CIRCUITS, SYSTEMS, AND COMPUTERS. - ISSN 0218-1266. - 8(1)(1998).	1998	A. KONDRATYEV; J. CORTADELLA; M. KISHINEVSKY; LAVAGNO, Luciano ; A. TAUBIN	-
10	Tecniche di progetto per sistemi VLSI numerici a bassa dissipazione / DEL CORSO D.; LAVAGNO L:. - (1997).	1997	DEL CORSO, Dante ; LAVAGNO, Luciano	-
11	Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis / J. Cortadella;M. Kishinevsky;A. Kondratyev;L. Lavagno;A. Yakovlev. - (1997), pp. 98-105. ((Intervento presentato al convegno Proceedings European Design and Test Conference. ED & TC 97.	1997	J. Cortadella; M. Kishinevsky; A. Kondratyev; LAVAGNO, Luciano ; A. Yakovlev	-
12	Technology mapping for speed-independent circuits: Decomposition and resynthesis / A. Kondratyev;J. Cortadella;M. Kishinevsky;L. Lavagno;A. Yakovlev. - (1997), pp. 240-253. ((Intervento presentato al convegno Proceedings Third International Symposium on Advanced Research in Asynchronous Circuits and Systems.	1997	A. Kondratyev; J. Cortadella; M. Kishinevsky; LAVAGNO, Luciano ; A. Yakovlev	-
13	Task generation and compile-time scheduling for mixed data-control embedded software / J. CORTADELLA; A. KONDRATYEV; L. LAVAGNO; M. MASSOT; S. MORAL; C. PASSERONE; Y. WATANABE; A. SANGIOVANNI-VINCENTELLI. - (2000), pp. 489-494. ((Intervento presentato al convegno 37th IEEE/ACM Design Automation Conference tenutosi a Los Angeles CA (USA) nel June 5-8, 2000.	2000	J. CORTADELLA; A. KONDRATYEV; LAVAGNO, Luciano ; M. MASSOT; S. MORAL; PASSERONE, CLAUDIO ; Y. WATANABE; A. SANGIOVANNI VINCENTELLI	riservati
14	A Tagless Indoor Localization System Based on Capacitive Sensing Technology / Ramezani Akhmareh, Alireza; Lazarescu, Mihai; Bin Tariq, Osama; Lavagno, Luciano. - In: SENSORS. - ISSN 1424-8220. - 16:9(2016), p. 1448.	2016	RAMEZANI AKHMAREH, ALIREZA ; LAZARESCU, MIHAI TEODOR ; LAVAGNO, Luciano	Visibile a tutti
15	Systems and methods for performing software performance estimations / Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Sangiovanni Vincentelli, A.; Lajolo, M.. - STAMPA. - (2010).	2010	LAVAGNO, Luciano ; LAZARESCU, MIHAI TEODOR ; Sangiovanni Vincentelli A.; Lajolo M.	-
16	System-level test bench generation in a co-design framework / M. LAJOLO; M. REBAUDENGO; M. SONZA-REORDA; M. VIOLANTE; LAVAGNO L.. - (2000).	2000	M. LAJOLO; REBAUDENGO, MAURIZIO ; SONZA REORDA, MATTEO ; VIOLANTE, MASSIMO ; LAVAGNO, Luciano	-
17	System-level power/performance analysis of portable multimedia systems communicating over wireless channels. / R. MARCULESCU; A. NANDI; LAVAGNO L.; A. SANGIOVANNI-VINCENTELLI. - (2001).	2001	R. MARCULESCU; A. NANDI; LAVAGNO, Luciano ; A. SANGIOVANNI VINCENTELLI	-
18	System-level design models and implementation techniquesProceedings 1998 International Conference on Application of Concurrency to System Design / Lavagno, Luciano; A., Sangiovanni Vincentelli. - (1998), pp. 24-32. ((Intervento presentato al convegno Proceedings 1998 International Conference on Application of Concurrency to System Design.	1998	LAVAGNO, Luciano ; A. Sangiovanni Vincentelli	-
19	Synthesizing Petri nets from state-based models / J. Cortadella;M. Kishinevsky;L. Lavagno;A. Yakovlev. - (1995), pp. 164-171. ((Intervento presentato al convegno Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).	1995	J. Cortadella; M. Kishinevsky; LAVAGNO, Luciano ; A. Yakovlev	-
20	Synthesis of software programs for embedded control applications / BALARIN F.; CHIODO M.; GIUSTO P.; HSIEH H.; LAVAGNO L.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 18:6(1999), pp. 834-849.	1999	BALARIN F.; CHIODO M.; GIUSTO P.; HSIEH H.; LAVAGNO, Luciano	-