Luciano Lavagno
Orcid: 0000-0002-9762-6522
According to our database1,
Luciano Lavagno
authored at least 241 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., July, 2024
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
2023
To Spike or Not to Spike: A Digital Hardware Perspective on Deep Learning Acceleration.
IEEE J. Emerg. Sel. Topics Circuits Syst., December, 2023
A Survey on Design Methodologies for Accelerating Deep Learning on Heterogeneous Architectures.
CoRR, 2023
Design and Optimization of Residual Neural Network Accelerators for Low-Power FPGAs Using High-Level Synthesis.
CoRR, 2023
CoRR, 2023
Mix & Latch: An Optimization Flow for High-Performance Designs With Single-Clock Mixed-Polarity Latches and Flip-Flops.
IEEE Access, 2023
A Graph Neural Network Model for Fast and Accurate Quality of Result Estimation for High-Level Synthesis.
IEEE Access, 2023
Proceedings of the 9th International Workshop on Advances in Sensors and Interfaces, 2023
A DSP shared is a DSP earned: HLS Task-Level Multi-Pumping for High-Performance Low-Resource Designs.
Proceedings of the 41st IEEE International Conference on Computer Design, 2023
2022
Fast Energy-Optimal Multikernel DNN-Like Application Allocation on Multi-FPGA Platforms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Array-Specific Dataflow Caches for High-Level Synthesis of Memory-Intensive Algorithms on FPGAs.
IEEE Access, 2022
2021
CNN-on-AWS: Efficient Allocation of Multikernel Applications on Multi-FPGA Platforms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021
IEEE Access, 2021
2020
IEEE Trans. Circuits Syst., 2020
Performance and energy-efficient implementation of a smart city application on FPGAs.
J. Real Time Image Process., 2020
2019
Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers, 2019
Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019
Proceedings of the 56th Annual Design Automation Conference 2019, 2019
2018
Capacitive Sensor for Tagless Remote Human Identification Using Body Frequency Absorption Signatures.
IEEE Trans. Instrum. Meas., 2018
Design space exploration of multi-core RTL via high level synthesis from OpenCL models.
Microprocess. Microsystems, 2018
Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications.
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018
HLS Algorithmic Explorations for HPC Execution on Reconfigurable Hardware - ECOSCALE.
Proceedings of the Applied Reconfigurable Computing. Architectures, Tools, and Applications, 2018
2017
Proceedings of the Handbook of Hardware/Software Codesign., 2017
LP-HLS: Automatic power-intent generation for high-level synthesis based hardware implementation flow.
Microprocess. Microsystems, 2017
Performance of Machine Learning Classifiers for Indoor Person Localization With Capacitive Sensors.
IEEE Access, 2017
IEEE Access, 2017
Efficient FPGA Implementation of OpenCL High-Performance Computing Applications via High-Level Synthesis.
IEEE Access, 2017
Acceleration by Inline Cache for Memory-Intensive Algorithms on FPGA via High-Level Synthesis.
IEEE Access, 2017
High sensitivity, low noise front-end for long range capacitive sensors for tagless indoor human localization.
Proceedings of the 3rd IEEE International Forum on Research and Technologies for Society and Industry, 2017
Implementation of a performance optimized database join operation on FPGA-GPU platforms using OpenCL.
Proceedings of the IEEE Nordic Circuits and Systems Conference, 2017
Long range, high sensitivity, low noise capacitive sensor for tagless indoor human localization.
Proceedings of the 7th IEEE International Workshop on Advances in Sensors and Interfaces, 2017
2016
Designing Parameterizable Hardware IPs in a Model-Based Design Environment for High-Level Synthesis.
ACM Trans. Embed. Comput. Syst., 2016
Integrated Toolset for WSN Application Planning, Development, Commissioning and Maintenance: The WSN-DPCM ARTEMIS-JU Project.
Sensors, 2016
Sensors, 2016
Energy-efficient FPGA Implementation of the k-Nearest Neighbors Algorithm Using OpenCL.
Proceedings of the Position Papers of the 2016 Federated Conference on Computer Science and Information Systems, 2016
High Performance and Low Power Monte Carlo Methods to Option Pricing Models via High Level Design and Synthesis.
Proceedings of the 2016 European Modelling Symposium, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
2015
Virtual Platform-Based Design Space Exploration of Power-Efficient Distributed Embedded Applications.
ACM Trans. Embed. Comput. Syst., 2015
ACM Trans. Embed. Comput. Syst., 2015
IEEE Trans. Circuits Syst. I Regul. Pap., 2015
IEEE Syst. J., 2015
Analysis and Implementation of the Semi-Global Matching 3D Vision Algorithm Using Code Transformations and High-Level Synthesis.
Proceedings of the IEEE 81st Vehicular Technology Conference, 2015
Proceedings of the 23rd International Conference on Software, 2015
Proceedings of the 33rd IEEE International Conference on Computer Design, 2015
2014
A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework.
Sensors, 2014
Improving the design flow for parallel and heterogeneous architectures running real-time applications: The PHARAON FP7 project.
Microprocess. Microsystems, 2014
Design of a pseudo-log image transform hardware accelerator in a high-level synthesis-based memory management framework.
J. Electronic Imaging, 2014
Int. J. Distributed Sens. Networks, 2014
Online Authentication and Key Establishment Scheme for Heterogeneous Sensor Networks.
Int. J. Distributed Sens. Networks, 2014
Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014
Proceedings of the 20th IEEE International Symposium on Asynchronous Circuits and Systems, 2014
2013
Microprocess. Microsystems, 2013
Proceedings of the 2013 IEEE International SOC Conference, Erlangen, Germany, 2013
Design of a pseudo-log image transform IP in an HLS-based memory management framework.
Proceedings of the Real-Time Image and Video Processing 2013, 2013
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013
Design space exploration and synthesis for digital signal processing algorithms from Simulink models.
Proceedings of the 8th International Design and Test Symposium, 2013
EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013
Share with care: a quantitative evaluation of sharing approaches in high-level synthesis.
Proceedings of the Design, Automation and Test in Europe, 2013
2012
An Authentication and Key Establishment Scheme for the IP-Based Wireless Sensor Networks.
Proceedings of the 3rd International Conference on Ambient Systems, 2012
J. Low Power Electron., 2012
Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012
A Service-driven Development Tool for Wireless Sensor Network.
Proceedings of the PECCS 2012, 2012
Proceedings of the International Conference on Computing, Networking and Communications, 2012
FASTCUDA: Open Source FPGA Accelerator & Hardware-Software Codesign Toolset for CUDA Kernels.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Designing parameterized signal processing ips for high level synthesis in a model based design environment.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012
PID (Partial Inversion Data): An M-of-N Level-Encoded Transition Signaling Protocol for Asynchronous Global Communication.
Proceedings of the 18th IEEE International Symposium on Asynchronous Circuits and Systems, 2012
2011
Guest Editors' Introduction: Asynchronous Design Is Here to Stay (and Is More Mainstream Than You Thought).
IEEE Des. Test Comput., 2011
Proceedings of the 2011 NORCHIP, Lund, Sweden, November 14-15, 2011, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
An Energy and Memory-Efficient Key Management Scheme for Mobile Heterogeneous Sensor Networks.
Proceedings of the CRiSIS 2011, 2011
Proceedings of the 2011 IEEE Consumer Communications and Networking Conference, 2011
Proceedings of the 17th IEEE International Symposium on Asynchronous Circuits and Systems, 2011
2010
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques.
ACM Trans. Design Autom. Electr. Syst., 2010
Improving Electro-Magnetic Interference of Embedded Systems Through Jittered-Delay Desynchronization.
J. Low Power Electron., 2010
Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010
HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010
MEOW: Model-based design of an energy-optimized protocol stack for wireless sensor networks.
Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010
Proceedings of the International Conference on Ultra Modern Telecommunications, 2010
Energy optimization at the MAC layer for a forest fire monitoring wireless sensor network.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010
Energy and throughput optimization of a Zigbee-compatible MAC protocol for wireless sensor networks.
Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, 2010
Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010
2009
A comparison of software platforms for wireless sensor networks: MANTIS, TinyOS, and ZigBee.
ACM Trans. Embed. Comput. Syst., 2009
J. Networks, 2009
Efficient energy consumption and node distribution algorithm of 802.15.4 physical layer for WSN.
Proceedings of the 2nd IFIP Wireless Days, 2009
Proceedings of the 46th Design Automation Conference, 2009
Proceedings of the Embedded Systems Design and Verification, 2009
2008
A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application.
Proceedings of the Fifth Annual IEEE Communications Society Conference on Sensor, 2008
An Algorithm for Selecting the Cluster Leader in a Partially Connected Sensor Network.
Proceedings of the 3rd International Conference on Systems and Networks Communications, 2008
Porting application between wireless sensor network software platforms: TinyOS, MANTIS and ZigBee.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008
2007
Found. Trends Electron. Des. Autom., 2007
E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2007
Proceedings of the 44th Design Automation Conference, 2007
2006
Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006
Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006
2005
Proceedings of the Embedded Systems Handbook., 2005
ACM Trans. Embed. Comput. Syst., 2005
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005
Int. J. Softw. Tools Technol. Transf., 2005
Software Development for High-Performance, Reconfigurable, Embedded Multimedia Systems.
IEEE Des. Test Comput., 2005
Proceedings of the 2005 Design, 2005
Design of Embedded Systems.
Proceedings of the Industrial Information Technology Handbook, 2005
2004
IEEE Trans. Very Large Scale Integr. Syst., 2004
DAC Highlights.
IEEE Des. Test Comput., 2004
Proceedings of the UML Modeling Languages and Applications, 2004
Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004
Proceedings of the 2004 Design, 2004
Proceedings of the 2004 Design, 2004
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.
Proceedings of the 2004 Design, 2004
Proceedings of the 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 2004
2003
IEEE Micro, 2003
Proceedings of the First International Workshop on Bounded Model Checking, 2003
DAC Highlights.
IEEE Des. Test Comput., 2003
A Reconfigurable Processor Architecture and Software Development Environment for Embedded Systems.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the 2003 Design, 2003
Proceedings of the 2003 Design, 2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
Proceedings of the UML for Real - Design of Embedded Real-Time Systems, 2003
2002
IEEE Trans. Very Large Scale Integr. Syst., 2002
Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002
IEEE Micro, 2002
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002
IEEE Des. Test Comput., 2002
Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002
Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002
Proceedings of the Embedded Software, Second International Conference, 2002
Proceedings of the 2002 Design, 2002
Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model.
Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002
Proceedings of the Applications and Theory of Petri Nets 2002, 2002
Proceedings of the Concurrency and Hardware Design, Advances in Petri Nets, 2002
2001
Synchronous approach to the functional equivalence of embeddedsystem implementations.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001
System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001
Proceedings of the Conference on Design, Automation and Test in Europe, 2001
Proceedings of the 38th Design Automation Conference, 2001
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Proceedings of the 2001 International Conference on Compilers, 2001
2000
Int. J. Neural Syst., 2000
Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks.
Formal Methods Syst. Des., 2000
Proceedings of the Integrated Circuit Design, 2000
Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000
Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000
Proceedings of the 26th EUROMICRO 2000 Conference, 2000
Proceedings of the 5th European Test Workshop, 2000
Proceedings of the 2000 Design, 2000
Proceedings of the 2000 Design, 2000
Proceedings of the 2000 Design, 2000
Proceedings of the 37th Conference on Design Automation, 2000
Task generation and compile-time scheduling for mixed data-control embedded software.
Proceedings of the 37th Conference on Design Automation, 2000
Proceedings of the Eighth International Workshop on Hardware/Software Codesign, 2000
Proceedings of the Eighth International Workshop on Hardware/Software Codesign, 2000
Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
Decomposition and technology mapping of speed-independent circuits using Boolean relations.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999
Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999
Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion.
Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999
Proceedings of the 1999 Design, 1999
Proceedings of the 36th Conference on Design Automation, 1999
Proceedings of the 36th Conference on Design Automation, 1999
Proceedings of the 36th Conference on Design Automation, 1999
Behavioral Transformations to Increase Noise Immunity in Asynchronous Specifications.
Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999
Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment.
Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999
Proceedings of the Application and Theory of Petri Nets 1999, 1999
1998
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998
The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems.
J. Circuits Syst. Comput., 1998
Des. Autom. Embed. Syst., 1998
Proceedings of the 11th International Symposium on System Synthesis, 1998
Lazy transition systems: application to timing optimization of asynchronous circuits.
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998
Proceedings of the 35th Conference on Design Automation, 1998
Proceedings of the 35th Conference on Design Automation, 1998
A case study on modeling shared memory access effects during performance analysis of HW/SW systems.
Proceedings of the Sixth International Workshop on Hardware/Software Codesign, 1998
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997
Proc. IEEE, 1997
DAC 97 Panel: Next-Generation HDLs.
IEEE Des. Test Comput., 1997
Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997
Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis.
Proceedings of the European Design and Test Conference, 1997
Proceedings of the European Design and Test Conference, 1997
Proceedings of the 34st Conference on Design Automation, 1997
Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits.
Proceedings of the 34st Conference on Design Automation, 1997
Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997
Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997
Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997
Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, 1997
Proceedings of the Application and Theory of Petri Nets 1997, 1997
1996
Formal Methods Syst. Des., 1996
Formal Methods Syst. Des., 1996
Des. Autom. Embed. Syst., 1996
Proceedings of the Seventh IEEE International Workshop on Rapid System Prototyping (RSP '96), 1996
Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996
Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996
Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996
Proceedings of the conference on European design automation, 1996
Proceedings of the 33st Conference on Design Automation, 1996
Proceedings of the 33st Conference on Design Automation, 1996
Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '96), 1996
1995
An efficient heuristic procedure for solving the state assignment problem for event-based specifications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1995
IEEE Des. Test Comput., 1995
Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995
Proceedings of the 32st Conference on Design Automation, 1995
Proceedings of the 32st Conference on Design Automation, 1995
1994
J. VLSI Signal Process., 1994
IEEE Trans. Very Large Scale Integr. Syst., 1994
Proceedings of the Proceedings 1994 International Conference on Image Processing, 1994
Proceedings of the Proceedings EURO-DAC'94, 1994
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994
Designing asynchronous circuits from behavioural specifications with internal conflicts.
Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994
Proceedings of the Application and Theory of Petri Nets 1994, 1994
1993
Microprocess. Microsystems, 1993
1992
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1992
Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992
Proceedings of the 29th Design Automation Conference, 1992
1991
Proceedings of the 28th Design Automation Conference, 1991
1990
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990