Archivio Istituzionale della RicercaLAVAGNO, Luciano
LAVAGNO, Luciano
Dipartimento di Elettronica e Telecomunicazioni
002044
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
2003 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems
2005 Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe
A case study in computer-aided co-design of embedded controllers.
1996 Chiodo, M.; Engels, D.; Giusto, P.; Hsieh, H.; Lavagno, Luciano
A comparison of software platforms for Wireless Sensor Networks: MANTIS, TinyOS and ZigBee
2009 Mozumdar, MOHAMMAD MOSTAFIZUR RAHMAN; Lavagno, Luciano; L., Vanzago
A low latency asynchronous arbitration circuit.
1994 A. V., Yakovlev; A. I., Petrov; Lavagno, Luciano
A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework
2014 Mohammad, Mozumdar; Zhen, Song; Lavagno, Luciano; Alberto Sangiovanni, Vincentelli
A mutual authentication and key establishment scheme for heterogeneous sensor networks supporting nodes mobility
2012 Khan, SARMAD ULLAH; C., Pastrone; Lavagno, Luciano; M. A., Spirito
A region-based theory for state assignment in asynchronous circuits.
1997 J., Cortadella; M., Kishinevsky; A., Kondratyev; Lavagno, Luciano; A., Yakovlev
A Secure Online Key Establishment Scheme for Mobile Heterogeneous Sensor Networks
2014 Khan, Sarmadullah; Pastrone, Claudio; Lavagno, Luciano; Spirito, Maurizio A.
A Secure Online Key Establishment Scheme for Mobile Heterogeneous Sensor Networks
2014 Khan, Sarmadullah; Claudio, Pastrone; Lavagno, Luciano; Maurizio A., Spirito
A Tagless Indoor Localization System Based on Capacitive Sensing Technology
2016 RAMEZANI AKHMAREH, Alireza; Lazarescu, MIHAI TEODOR; Bin Tariq, Osama; Lavagno, Luciano
A unified signal transition graph model for asynchronous control circuit synthesis.
1996 A. V., Yakovlev; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI
Acceleration by Inline Cache for Memory-Intensive Algorithms on FPGA via High-Level Synthesis
2017 Ma, Liang; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Arif, Arslan
An Efficient Data Aggregation Algorithm for Cluster-based Sensor Network
2009 Mozumdar, MOHAMMAD MOSTAFIZUR RAHMAN; Guofang, N.; Gregoretti, Francesco; Lavagno, Luciano; Vanzago, L.
An efficient heuristic procedure for solving the state assignment problem for event-based specifications.
1995 Lavagno, Luciano; C. W., Moon; R. K., Brayton; A., SANGIOVANNI VINCENTELLI
Array-specific dataflow caches for high-level synthesis of memory-intensive algorithms on FPGAs
2022 Brignone, Giovanni; Jamal, Muhammad Usman; Lazarescu, Mihai T.; Lavagno, Luciano
Asynchronous on-chip networks
2005 M., Amde; T., Felicijan; A., Efthymiou; D., Edwards; Lavagno, Luciano
Baseband analog front-end and digital back-end for reconfigurable multi-standard terminals
2006 Baschirotto, Castello; Campi, Cesura; Toma, Guerrieri; Lodi, ; Lavagno, Luciano; Malcovati,
Capacitive sensor for tagless remote human identification using body frequency absorption signatures
2018 Iqbal, Javed; Lazarescu, MIHAI TEODOR; BIN TARIQ, Osama; Arif, Arslan; Lavagno, Luciano
CNN-on-AWS: Efficient Allocation of Multi-Kernel Applications on Multi-FPGA Platforms
2021 Shan, Junnan; Lazarescu, Mihai T.; Cortadella, Jordi; Lavagno, Luciano; Casu, Mario R.
| 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 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 comparison of software platforms for Wireless Sensor Networks: MANTIS, TinyOS and ZigBee / Mozumdar, MOHAMMAD MOSTAFIZUR RAHMAN; Lavagno, Luciano; L., Vanzago. - In: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. - ISSN 1539-9087. - 8:(2009). | 1-gen-2009 | MOZUMDAR, MOHAMMAD MOSTAFIZUR RAHMANLAVAGNO, Luciano + | 1914178.pdf |
| 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 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 + | - |
| A Secure Online Key Establishment Scheme for Mobile Heterogeneous Sensor Networks / Khan, Sarmadullah; Pastrone, Claudio; Lavagno, Luciano; Spirito, Maurizio A.. - In: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS. - ISSN 1550-1329. - 2014:11(2014), p. 925479. [10.1155/2014/925479] | 1-gen-2014 | KHAN, SARMADULLAHLAVAGNO, Luciano + | - |
| A Secure Online Key Establishment Scheme for Mobile Heterogeneous Sensor Networks / Khan, Sarmadullah; Claudio, Pastrone; Lavagno, Luciano; Maurizio A., Spirito. - In: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS. - ISSN 1550-1329. - 2014:(2014), pp. 1-12. [10.1155/2014/925479] | 1-gen-2014 | KHAN, SARMADULLAHLAVAGNO, Luciano + | 925479.pdf |
| A Tagless Indoor Localization System Based on Capacitive Sensing Technology / RAMEZANI AKHMAREH, Alireza; Lazarescu, MIHAI TEODOR; Bin Tariq, Osama; Lavagno, Luciano. - In: SENSORS. - ISSN 1424-8220. - ELETTRONICO. - 16:9(2016). [10.3390/s16091448] | 1-gen-2016 | RAMEZANI AKHMAREH, ALIREZALAZARESCU, MIHAI TEODORBin Tariq, OsamaLAVAGNO, Luciano | sensors-16-01448.pdf |
| A unified signal transition graph model for asynchronous control circuit synthesis / A. V., Yakovlev; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - (1996). | 1-gen-1996 | LAVAGNO, Luciano + | - |
| Acceleration by Inline Cache for Memory-Intensive Algorithms on FPGA via High-Level Synthesis / Ma, Liang; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Arif, Arslan. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 5:(2017), pp. 18953-18974. [10.1109/ACCESS.2017.2750923] | 1-gen-2017 | MA, LIANGLAVAGNO, LucianoLAZARESCU, MIHAI TEODORARIF, ARSLAN | cache_main.pdf; ACCESS2750923.pdf |
| An Efficient Data Aggregation Algorithm for Cluster-based Sensor Network / Mozumdar, MOHAMMAD MOSTAFIZUR RAHMAN; Guofang, N.; Gregoretti, Francesco; Lavagno, Luciano; Vanzago, L.. - In: JOURNAL OF NETWORKS. - ISSN 1796-2056. - 4:(2009), pp. 598-606. [10.4304/jnw.4.7.598-606] | 1-gen-2009 | MOZUMDAR, MOHAMMAD MOSTAFIZUR RAHMANGREGORETTI, FrancescoLAVAGNO, Luciano + | paper.pdf |
| An efficient heuristic procedure for solving the state assignment problem for event-based specifications / Lavagno, Luciano; C. W., Moon; R. K., Brayton; A., SANGIOVANNI VINCENTELLI. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - (1995). | 1-gen-1995 | LAVAGNO, Luciano + | - |
| Array-specific dataflow caches for high-level synthesis of memory-intensive algorithms on FPGAs / Brignone, Giovanni; Jamal, Muhammad Usman; Lazarescu, Mihai T.; Lavagno, Luciano. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 10:(2022), pp. 118858-118877. [10.1109/ACCESS.2022.3219868] | 1-gen-2022 | Brignone, GiovanniJamal, Muhammad UsmanLazarescu, Mihai T.Lavagno, Luciano | ACCESS3219868.pdf; Array-Specific_Dataflow_Caches_for_High-Level_Synthesis_of_Memory-Intensive_Algorithms_on_FPGAs.pdf |
| Asynchronous on-chip networks / M., Amde; T., Felicijan; A., Efthymiou; D., Edwards; Lavagno, Luciano. - In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES. - ISSN 1350-2387. - 152(2):(2005), p. 273-283. | 1-gen-2005 | LAVAGNO, Luciano + | - |
| Baseband analog front-end and digital back-end for reconfigurable multi-standard terminals / Baschirotto, Castello; Campi, Cesura; Toma, Guerrieri; Lodi, ; Lavagno, Luciano; Malcovati,. - In: IEEE CIRCUITS AND SYSTEMS MAGAZINE. - ISSN 1531-636X. - 6(1):(2006), pp. 8-28. | 1-gen-2006 | LAVAGNO, Luciano + | CASMA05_paper.pdf |
| Capacitive sensor for tagless remote human identification using body frequency absorption signatures / Iqbal, Javed; Lazarescu, MIHAI TEODOR; BIN TARIQ, Osama; Arif, Arslan; Lavagno, Luciano. - In: IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT. - ISSN 0018-9456. - STAMPA. - 67:4(2018), pp. 789-797. [10.1109/TIM.2017.2789078] | 1-gen-2018 | IQBAL, JAVEDLAZARESCU, MIHAI TEODORBIN TARIQ, OSAMAARIF, ARSLANLAVAGNO, Luciano | IEEE_TIM.pdf; 08263394.pdf |
| CNN-on-AWS: Efficient Allocation of Multi-Kernel Applications on Multi-FPGA Platforms / Shan, Junnan; Lazarescu, Mihai T.; Cortadella, Jordi; Lavagno, Luciano; Casu, Mario R.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - ELETTRONICO. - 40:2(2021), pp. 301-314. [10.1109/TCAD.2020.2994256] | 1-gen-2021 | Shan, JunnanLazarescu, Mihai T.Lavagno, LucianoCasu, Mario R. + | report.pdf; 09091518.pdf |