• Aiuto
  • Sfoglia

    • LAVAGNO, Luciano

    Rete di Collaborazioni Statistiche Email Alert RSS Feed

    Dettaglio

    Nome completo:
    LAVAGNO, Luciano
    Link esterni:
    Elenco pubblicazioni in formato JSON:

    Pubblicazioni (Tutti)

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

    CitazioneData di pubblicazioneAutoriFile
    1Wireless Sensor Networks / Lazarescu, MIHAI TEODOR; Lavagno, Luciano. - ELETTRONICO. - Handbook of Hardware/Software Codesign(2016), pp. 1-42.2016LAZARESCU, MIHAI TEODOR  ; LAVAGNO, Luciano    riservati
    2Virtual 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.2015SAYYAH, PARINAZ  ; LAZARESCU, MIHAI TEODOR  ; LAVAGNO, Luciano    Open Access
    3Verification 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.2000QUER, Stefano  ; CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LAVAGNO, Luciano  ;  riservati
    4Verification 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.1997CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LAVAGNO, Luciano  ; QUER, Stefano  -
    5Verification 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.1996CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LAVAGNO, Luciano  ; QUER, Stefano    riservati
    6Uml for Real: Design of Embedded Real-Time Systems / LAVAGNO L.; G. MARTIN; B. SELIC. - (2003).2003LAVAGNO, Luciano  ; -
    7Trade-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.1997PASSERONE, CLAUDIO  ; LAVAGNO, Luciano  ; SANSOE', CLAUDIO  ;  riservati
    8Toward networking of embedded systems / LAVAGNO L.; R. ZURAWSKI. - (2005).2005LAVAGNO, Luciano  ; -
    9The 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).1998LAVAGNO, Luciano  ; -
    10Tecniche di progetto per sistemi VLSI numerici a bassa dissipazione / DEL CORSO D.; LAVAGNO L:. - (1997).1997DEL CORSO, Dante  ; LAVAGNO, Luciano  -
    11Technology 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.1997LAVAGNO, Luciano  ; -
    12Technology 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.1997LAVAGNO, Luciano  ; -
    13Task 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.2000LAVAGNO, Luciano  ; PASSERONE, CLAUDIO  ;  riservati
    14A 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.2016RAMEZANI AKHMAREH, ALIREZA  ; LAZARESCU, MIHAI TEODOR  ; LAVAGNO, Luciano    Visibile a tutti
    15Systems and methods for performing software performance estimations / Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Sangiovanni Vincentelli, A.; Lajolo, M.. - STAMPA. - (2010).2010LAVAGNO, Luciano  ; LAZARESCU, MIHAI TEODOR  ; -
    16System-level test bench generation in a co-design framework / M. LAJOLO; M. REBAUDENGO; M. SONZA-REORDA; M. VIOLANTE; LAVAGNO L.. - (2000).2000REBAUDENGO, MAURIZIO  ; SONZA REORDA, MATTEO  ; VIOLANTE, MASSIMO  ; LAVAGNO, Luciano  -
    17System-level power/performance analysis of portable multimedia systems communicating over wireless channels. / R. MARCULESCU; A. NANDI; LAVAGNO L.; A. SANGIOVANNI-VINCENTELLI. - (2001).2001LAVAGNO, Luciano  ; -
    18System-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.1998LAVAGNO, Luciano  ; -
    19Synthesizing 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).1995LAVAGNO, Luciano  ; -
    20Synthesis 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.1999LAVAGNO, Luciano  -

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