LAVAGNO, Luciano

LAVAGNO, Luciano  

Dipartimento di Elettronica e Telecomunicazioni  

002044  

Mostra records
Risultati 1 - 20 di 261 (tempo di esecuzione: 0.032 secondi).
Citazione Data di pubblicazione Autori File
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 89:4(2003), pp. 623-638. [10.1016/S1571-0661(05)82547-2] 1-gen-2003 CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + -
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 7:(2005), pp. 102-117. 1-gen-2005 CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + -
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; Kondratyev, A.; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Watanabe, Y.. - STAMPA. - (2003). (Intervento presentato al convegno First International Workshop on Bounded Model Checking (BMC 2003) tenutosi a Boulder, Colorado, USA nel July, 2003). 1-gen-2003 CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + -
A case study in computer-aided co-design of embedded controllers / Chiodo, M.; Engels, D.; Giusto, P.; Hsieh, H.; Lavagno, Luciano. - In: DESIGN AUTOMATION FOR EMBEDDED SYSTEMS. - ISSN 0929-5585. - 1:1-2(1996), pp. 51-67. 1-gen-1996 LAVAGNO, Luciano + -
A Case Study in Embedded System Design: an Engine Control Unit / T., Cuatto; Passerone, Claudio; A., Jurecska; Lavagno, Luciano; Sansoe', Claudio; A., Damiano; A., SANGIOVANNI VINCENTELLI. - (1998), pp. 804-807. (Intervento presentato al convegno DAC '98, 35th annual Design Automation Conference tenutosi a San Francisco, California, USA nel June 15-19, 1998) [10.1145/277044.277248]. 1-gen-1998 PASSERONE, ClaudioLAVAGNO, LucianoSANSOE', Claudio + -
A Contactless Sensor for Human Body Identification using RF Absorption Signatures / Iqbal, Javed; Arif, Arslan; BIN TARIQ, Osama; Lazarescu, MIHAI TEODOR; Lavagno, Luciano. - ELETTRONICO. - (2017), pp. 1-6. (Intervento presentato al convegno 2017 IEEE Sensors applications symposium (SAS) tenutosi a Glassboro, NJ, USA nel 13-15 marzo 2017) [10.1109/SAS.2017.7894102]. 1-gen-2017 IQBAL, JAVEDARIF, ARSLANBIN TARIQ, OSAMALAZARESCU, MIHAI TEODORLAVAGNO, Luciano final.pdf07894102.pdf
A DSP shared is a DSP earned: HLS Task-Level Multi-Pumping for High-Performance Low-Resource Designs / Brignone, Giovanni; Lazarescu, Mihai T.; Lavagno, Luciano. - ELETTRONICO. - (In corso di stampa). (Intervento presentato al convegno IEEE International Conference on Computer Design tenutosi a Washington (USA) nel 6/11/2023 - 8/11/2023). In corso di stampa Giovanni BrignoneMihai T. LazarescuLuciano Lavagno paper.pdf
A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application / Mozumdar, MOHAMMAD MOSTAFIZUR RAHMAN; Gregoretti, Francesco; Lavagno, Luciano; L., Vanzago; S., Olivieri. - (2008), pp. 515-522. (Intervento presentato al convegno Fifth Annual IEEE Communications Society Conference on Sensor, Mesh, and Networks SECON 2008 tenutosi a San Francisco nel 2008) [10.1109/SAHCN.2008.68]. 1-gen-2008 MOZUMDAR, MOHAMMAD MOSTAFIZUR RAHMANGREGORETTI, FrancescoLAVAGNO, Luciano + -
A Fully-automated Desynchronization Flow for Synchronous Circuits / Andrikos, Nikolaos; Lavagno, Luciano; Davide, Pandini; Christos, Sotiriou. - (2007), pp. 982-985. (Intervento presentato al convegno Design Automation Conference tenutosi a San Diego, CA, USA nel June 4-8, 2007). 1-gen-2007 ANDRIKOS, NIKOLAOSLAVAGNO, Luciano + -
A Fully-automated Desynchronization Flow for Synchronous Circuits / Andrikos, Nikolaos; Lavagno, Luciano; Davide, Pandini; Christos, Sotiriou. - (2007). (Intervento presentato al convegno GE-2007 tenutosi a Lerici (La Spezia), Italy nel June 20-22 2007). 1-gen-2007 ANDRIKOS, NIKOLAOSLAVAGNO, Luciano + -
A Graph Neural Network Model for Fast and Accurate Quality of Result Estimation for High-Level Synthesis / Jamal, MUHAMMAD USMAN; Li, Zhuowei; Lazarescu, MIHAI T.; Lavagno, Luciano. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - (In corso di stampa). In corso di stampa MUHAMMAD USMAN JAMALMIHAI T. LAZARESCULUCIANO LAVAGNO + GNN_HLS.pdf
A Hardware/Software Co-design Flow and IP Library Based on Simulink / Reyneri, Leonardo; F., Cucinotta; Serra,  . A.; Lavagno, Luciano. - (2001), pp. 593-598. (Intervento presentato al convegno DAC 2001, Design Automation Conference nel June). 1-gen-2001 REYNERI, LeonardoLAVAGNO, Luciano + -
A key management scheme for Content Centric Networking / Khan, S. U; Cholez, T.; Engel, T.; Lavagno, Luciano. - (2013), pp. 828-831. (Intervento presentato al convegno Integrated Network Management (IM 2013), 2013 IFIP/IEEE International Symposium on). 1-gen-2013 LAVAGNO, Luciano + -
A key management scheme supporting node mobility in heterogeneous sensor networks / Khan, Sarmadullah; Lavagno, Luciano; C., Pastrone. - (2010), pp. 364-369. (Intervento presentato al convegno 6th International Conference on Emerging Technologies (ICET 10), 2010 tenutosi a Islamabad (Pakistan) nel 18-19 Oct. 2010) [10.1109/ICET.2010.5638458]. 1-gen-2010 KHAN, SARMADULLAHLAVAGNO, Luciano + -
A low latency asynchronous arbitration circuit / A. V., Yakovlev; A. I., Petrov; Lavagno, Luciano. - In: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS. - ISSN 1063-8210. - (1994). 1-gen-1994 LAVAGNO, Luciano + -
A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework / Mohammad, Mozumdar; Zhen, Song; Lavagno, Luciano; Alberto Sangiovanni, Vincentelli. - In: SENSORS. - ISSN 1424-8220. - 14:(2014), pp. 11070-11096. [10.3390/s140611070] 1-gen-2014 LAVAGNO, Luciano + -
A mutual authentication and key establishment scheme for heterogeneous sensor networks supporting nodes mobility / Khan, SARMAD ULLAH; C., Pastrone; Lavagno, Luciano; M. A., Spirito. - In: INTERNATIONAL JOURNAL OF INTERNET TECHNOLOGY AND SECURED TRANSACTIONS. - ISSN 1748-569X. - 4:2/3(2012), pp. 139-161. [10.1504/IJITST.2012.047959] 1-gen-2012 KHAN, SARMAD ULLAHLAVAGNO, Luciano + -
A Parameter-based Mapping Scheme for Behavior/Architecture Co-Design / M., Lajolo; Passerone, Claudio; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI. - (1999), pp. 37-40. (Intervento presentato al convegno 2nd IEEE International Workshop on Design, Test and Applications tenutosi a Dubrovnik, Croatia nel June 14-16, 1999). 1-gen-1999 PASSERONE, ClaudioLAVAGNO, Luciano + -
A reconfigurable processor architecture and software development environment for embedded systems / F., Campi; R., Canegallo; A., Cappelli; Guerrieri, Roberto; LA ROSA, Alberto; Lavagno, Luciano; A., Lodi; Passerone, Claudio; M., Toma. - (2003). (Intervento presentato al convegno IEEE Parallel and Distributed Processing Symposium nel April 22-26, 2003). 1-gen-2003 GUERRIERI, ROBERTOLA ROSA, AlbertoLAVAGNO, LucianoPASSERONE, Claudio + -
A region-based theory for state assignment in asynchronous circuits / J., Cortadella; M., Kishinevsky; A., Kondratyev; Lavagno, Luciano; A., Yakovlev. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 16(8):(1997). 1-gen-1997 LAVAGNO, Luciano + -