Donatella Sciuto

Proceedings of the 13th IEEE International Conference on Embedded and Ubiquitous Computing, 2015

Methods and Algorithms for the Interaction of Residential Smart Buildings with Smart Grids.

[BibT_eX]

[DOI]

Giovanni Bettinazzi

Proceedings of the 13th IEEE International Conference on Embedded and Ubiquitous Computing, 2015

Experimental Evaluation and Modeling of Thermal Phenomena on Mobile Devices.

[BibT_eX]

[DOI]

Matteo Turri

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Thermal-aware floorplanning for partially-reconfigurable FPGA-based systems.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Occupancy detection via iBeacon on Android devices for smart building management.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

EXTRA: Towards an Efficient Open Platform for Reconfigurable High Performance Computing.

[BibT_eX]

[DOI]

Catalin Bogdan Ciobanu

Ana Lucia Varbanescu

George Charitopoulos

Xinyu Niu

Wayne Luk

Proceedings of the 18th IEEE International Conference on Computational Science and Engineering, 2015

2014

A Mapping-Scheduling Algorithm for Hardware Acceleration on Reconfigurable Platforms.

[BibT_eX]

[DOI]

Juan Antonio Clemente

ACM Trans. Reconfigurable Technol. Syst., 2014

Automated Fine-Grained CPU Provisioning for Virtual Machines.

[BibT_eX]

[DOI]

Davide B. Bartolini

Filippo Sironi

ACM Trans. Archit. Code Optim., 2014

A performance-aware quality of service-driven scheduler for multicore processors.

[BibT_eX]

[DOI]

Filippo Sironi

Alberto L. Sangiovanni-Vincentelli

SIGBED Rev., 2014

Looking into the Crystal Ball: From Transistors to the Smart Earth.

[BibT_eX]

[DOI]

IEEE Des. Test, 2014

A SystemC-based framework for the simulation of appliances networks in energy-aware smart spaces.

[BibT_eX]

[DOI]

Proceedings of the IEEE World Forum on Internet of Things, 2014

BlueSentinel: a first approach using iBeacon for an energy efficient occupancy detection system.

[BibT_eX]

[DOI]

Giorgio Conte

Massimo De Marchi

Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

FPGA-Based Design Using the FASTER Toolchain: The Case of STM Spear Development Board.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2014

A Survey on Recent Hardware and Software-Level Cache Management Techniques.

[BibT_eX]

[DOI]

Alberto Scolari

Filippo Sironi

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2014

An Open-Source, Efficient, and Parameterizable Hardware Implementation of the AES Algorithm.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2014

PaRA-Sched: A Reconfiguration-Aware Scheduler for Reconfigurable Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

SPELL: affecting thermal comfort through perceptive techniques.

[BibT_eX]

[DOI]

Annamaria Andrea Vitali

Marco Spadafora

Margherita Pillan

Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

Improving the security and the scalability of the AES algorithm (abstract only).

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2014

On How to Design Smart Energy-Efficient Buildings.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

On How to Efficiently Implement Regular Expression Matching on FPGA-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

A Perspective Vision on Complex Residential Building Management Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

cODA: An Open-Source Framework to Easily Design Context-Aware Android Apps.

[BibT_eX]

[DOI]

Andrea Damiani

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

On Power and Energy Consumption Modeling for Smart Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

Effective Reconfigurable Design: The FASTER Approach.

[BibT_eX]

[DOI]

Georgi Nedeltchev Gaydadjiev

Tobias Becker

Andreas Brokalakis

Wayne Luk

Ioannis Papaefstathiou

Danilo Pau

Oliver Pell

Dirk Stroobandt

Proceedings of the Reconfigurable Computing: Architectures, Tools, and Applications, 2014

2013

Adaptive and Flexible Smartphone Power Modeling.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2013

A Simulation-Based Framework for the Exploration of Mapping Solutions on Heterogeneous MPSoCs.

[BibT_eX]

[DOI]

Int. J. Embed. Real Time Commun. Syst., 2013

Design Methods for Parallel Hardware Implementation of Multimedia Iterative Algorithms.

[BibT_eX]

[DOI]

Ivan Beretta

David Atienza

IEEE Des. Test, 2013

Dataflow computing with Polymorphic Registers.

[BibT_eX]

[DOI]

Catalin Bogdan Ciobanu

Georgi Gaydadjiev

Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

SMASH: A heuristic methodology for designing partially reconfigurable MPSoCs.

[BibT_eX]

[DOI]

Riccardo Cattaneo

Gianluca Durelli

Proceedings of the 24th IEEE International Symposium on Rapid System Prototyping, 2013

D-RECS: A complete methodology to implement Self Dynamic Reconfigurable FPGA-based systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2013

A Flexible Interconnection Structure for Reconfigurable FPGA Dataflow Applications.

[BibT_eX]

[DOI]

Gianluca Durelli

Riccardo Cattaneo

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

HERA Project's Holistic Evolutionary Framework.

[BibT_eX]

[DOI]

Davide B. Bartolini

Matteo Carminati

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

The FASTER vision for designing dynamically reconfigurable systems.

[BibT_eX]

[DOI]

Dirk Stroobandt

Proceedings of 2013 International Conference on IC Design & Technology, 2013

MPower: gain back your android battery life!

[BibT_eX]

[DOI]

Andrea Cazzola

Domenico Matteo

Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013

Morphone.OS: Context-Awareness in Everyday Life.

[BibT_eX]

[DOI]

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

A high-level synthesis flow for the implementation of iterative stencil loop algorithms on FPGA devices.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Coloring the cloud for predictable performance.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

Towards a performance-as-a-service cloud.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

A2B: An integrated framework for designing heterogeneous and reconfigurable systems.

[BibT_eX]

[DOI]

Riccardo Cattaneo

Gianluca Durelli

Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems, 2013

On self-adaptive resource allocation through reinforcement learning.

[BibT_eX]

[DOI]

Piotr J. Gmytrasiewicz

Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems, 2013

Ant Colony Optimization for mapping, scheduling and placing in reconfigurable systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 NASA/ESA Conference on Adaptive Hardware and Systems, 2013

ThermOS: System support for dynamic thermal management of chip multi-processors.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques, 2013

2012

On the Evolution of Hardware Circuits via Reconfigurable Architectures.

[BibT_eX]

[DOI]

ACM Trans. Reconfigurable Technol. Syst., 2012

TaBit: A framework for task graph to bitstream generation.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

Smart technologies for effective reconfiguration: The FASTER approach.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2012

Automatic run-time manager generation for reconfigurable MPSoC architectures.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2012

A Framework for Thermal and Performance Management.

[BibT_eX]

[DOI]

Proceedings of the 2012 Workshop on Managing Systems Automatically and Dynamically, 2012

Model-based design for wireless body sensor network nodes.

[BibT_eX]

[DOI]

Proceedings of the 13th Latin American Test Workshop, 2012

An automated framework for the simulation of mapping solutions on heterogeneous MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Symposium on System on Chip, 2012

An Enhanced Relocation Manager to Speedup Core Allocation in FPGA-based Reconfigurable Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Mini-Robot's Performance Optimization via Online Reconfiguration and HW/SW Task Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

DGECS: Description Generator for Evolved Circuits Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

On the automatic integration of hardware accelerators into FPGA-based embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

An open-source design and validation platform for reconfigurable systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Field Programmable Logic and Applications (FPL), 2012

Automated real-time atrial fibrillation detection on a wearable wireless sensor platform.

[BibT_eX]

[DOI]

Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration.

[BibT_eX]

[DOI]

Ioannis Papaefstathiou

Oliver Pell

M. Robart

Dirk Stroobandt

Tim Todman

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Energy-Aware FPGA-based Architecture for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Paolo Roberto Grassi

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Tacit Consent: A Technique to Reduce Redundant Transmissions from Spatially Correlated Nodes in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

On the Development of a Runtime Reconfigurable Multicore System-on-Chip.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

An adaptive approach for online fault management in many-core architectures.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Metronome: operating system level performance management via self-adaptive computing.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

MPower: Towards an Adaptive Power Management System for Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

Knowledge-based design space exploration of wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

B<sup>2</sup>IRS: A Technique to Reduce BAN-BAN Interferences in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 2012 Ninth International Conference on Wearable and Implantable Body Sensor Networks, 2012

2011

Applying dynamic reconfiguration in the mobile robotics domain: A case study on computer vision algorithms.

[BibT_eX]

[DOI]

Federico Nava

Stefan Herbrechtsmeier

Mario Porrmann

Ulf Witkowski

Ulrich Rückert

ACM Trans. Reconfigurable Technol. Syst., 2011

A Mapping Flow for Dynamically Reconfigurable Multi-Core System-on-Chip Design.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011

Floorplacement for Partial Reconfigurable FPGA-Based Systems.

[BibT_eX]

[DOI]

Int. J. Reconfigurable Comput., 2011

Interorganisational systems within SMEs aggregations: an exploratory study on information requirements of an industrial district.

[BibT_eX]

[DOI]

Int. J. Inf. Technol. Manag., 2011

Island-Based Adaptable Embedded System Design.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2011

Dedicated hardware accelerators for the epistatic analysis of human genetic data.

[BibT_eX]

[DOI]

Alessandro Marin

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

ReBit: A Tool to Manage and Analyse FPGA-Based Reconfigurable Systems.

[BibT_eX]

[DOI]

Andrea Cazzaniga

Alessandra Bonetto

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

A Hybrid Mapping-Scheduling Technique for Dynamically Reconfigurable Hardware.

[BibT_eX]

[DOI]

Juan Antonio Clemente

Proceedings of the International Conference on Field Programmable Logic and Applications, 2011

An efficient Quantum-Dot Cellular Automata adder.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2011

A design methodology to implement memory accesses in high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

HERA: Hardware evolution over reconfigurable architectures.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Computing in Heterogeneous, 2011

Emulating Transactional Memory on FPGA Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems - ARCS 2011, 2011

2010

Placement and Floorplanning in Dynamically Reconfigurable FPGAs.

[BibT_eX]

[DOI]

Seda Ogrenci Memik

ACM Trans. Reconfigurable Technol. Syst., 2010

Ant Colony Heuristic for Mapping and Scheduling Tasks and Communications on Heterogeneous Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Decision-Theoretic Design Space Exploration of Multiprocessor Platforms.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

Guest Editors' Introduction: Special Section on System-Level Design of Reliable Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

HArtes: Hardware-Software Codesign for Heterogeneous Multicore Platforms.

[BibT_eX]

[DOI]

José Gabriel F. Coutinho

IEEE Micro, 2010

A design workflow for dynamically reconfigurable multi-FPGA systems.

[BibT_eX]

[DOI]

Alessandro Panella

Proceedings of the 18th IEEE/IFIP VLSI-SoC 2010, 2010

Designing and validating access policies to reconfigurable resources in Multiprocessor Systems on chip.

[BibT_eX]

[DOI]

Fabio Arlati

Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, 2010

A direct bitstream manipulation approach for Virtex4-based evolvable systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

Run-time mapping of applications on FPGA-based reconfigurable systems.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

Analysis and validation of partially dynamically reconfigurable architecture based on Xilinx FPGAs.

[BibT_eX]

[DOI]

Paolo Roberto Grassi

Davide Candiloro

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Wirelength driven floorplacement for FPGA-based partial reconfigurable systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

A novel design framework for the design of reconfigurable systems based on NoCs.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

Multiprocessor systems-on-chip synthesis using multi-objective evolutionary computation.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2010

A Compact Transactional Memory Multiprocessor System on FPGA.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

Operating system runtime management of partially dynamically reconfigurable embedded systems.

[BibT_eX]

[DOI]

Ivan Beretta

Proceedings of the 8th IEEE Workshop on Embedded Systems for Real-Time Multimedia, 2010

A reconfigurable multiprocessor architecture for a reliable face recognition implementation.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Efficient pattern matching on GPUs for intrusion detection systems.

[BibT_eX]

[DOI]

Antonino Tumeo

Oreste Villa

Proceedings of the 7th Conference on Computing Frontiers, 2010

Mapping and scheduling of parallel C applications with ant colony optimization onto heterogeneous reconfigurable MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

2009

Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration.

[BibT_eX]

[DOI]

Simone Corbetta

Paola Spoletini

IEEE Trans. Very Large Scale Integr. Syst., 2009

Partitioning and Scheduling of Task Graphs on Partially Dynamically Reconfigurable FPGAs.

[BibT_eX]

[DOI]

Roberto Cordone

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

ReSP: A Nonintrusive Transaction-Level Reflective MPSoC Simulation Platform for Design Space Exploration.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

A Transform-Parametric Approach to Boolean Matching.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

A Highly Parallel FPGA-based Evolvable Hardware Architecture.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

A multiprocessor self-reconfigurable JPEG2000 encoder.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

On-line task management for a reconfigurable cryptographic architecture.

[BibT_eX]

[DOI]

Ivan Beretta

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Reconfigurable NoC design flow for multiple applications run-time mapping on FPGA devices.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, 2009

Evolutionary algorithms for the mapping of pipelined applications onto heterogeneous embedded systems.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

A runtime relocation based workflow for self dynamic reconfigurable systems design.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Field Programmable Logic and Applications, 2009

HW/SW methodologies for synchronization in FPGA multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, 2009

A real-time application design methodology for MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Mapping pipelined applications onto heterogeneous embedded systems: a bayesian optimization algorithm based approach.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

Minimization of the reconfiguration latency for the mapping of applications on FPGA-based systems.

[BibT_eX]

[DOI]

Srinivasan Murali

David Atienza

Luca Benini

Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

Prototyping pipelined applications on a heterogeneous FPGA multiprocessor virtual platform.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

An application-centered design flow for self reconfigurable systems implementation.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2008

Static Analysis of Transaction-Level Communication Models.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

Improving evolutionary exploration to area-time optimization of FPGA designs.

[BibT_eX]

[DOI]

J. Syst. Archit., 2008

Software and Hardware Techniques for SEU Detection in IP Processors.

[BibT_eX]

[DOI]

J. Electron. Test., 2008

Reconfigurable Computing and Hardware/Software Codesign.

[BibT_eX]

[DOI]

Toomas P. Plaks

EURASIP J. Embed. Syst., 2008

A Reconfigurable Network-on-Chip Architecture for Optimal Multi-Processor SoC Communication.

[BibT_eX]

[DOI]

David Atienza

Giovanni De Micheli

Proceedings of the VLSI-SoC: Design Methodologies for SoC and SiP, 2008

Ant colony optimization for mapping and scheduling in heterogeneous multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Embedded Computer Systems: Architectures, 2008

A light-weight Network-on-Chip architecture for dynamically reconfigurable systems.

[BibT_eX]

[DOI]

Simone Corbetta

Proceedings of the 2008 International Conference on Embedded Computer Systems: Architectures, 2008

Core Allocation and Relocation Management for a Self Dynamically Reconfigurable Architecture.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008

A Multi-objective Genetic Algorithm for Design Space Exploration in High-Level Synthesis.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008

Design methodology for partial dynamic reconfiguration: a new degree of freedom in the HW/SW codesign.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

HARPE: A Harvard-based processing element tailored for partial dynamic reconfigurable architectures.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

A design flow tailored for self dynamic reconfigurable architecture.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Operating system support for online partial dynamic reconfiguration management.

[BibT_eX]

[DOI]

Proceedings of the FPL 2008, 2008

An architecture for dynamically reconfigurable real time audio processing systems.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

Fault Models and Injection Strategies in SystemC Specifications.

[BibT_eX]

[DOI]

Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

A Design Workflow for the Identification of Area Constraints in Dynamic Reconfigurable Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on Electronic Design, 2008

A Requirements-Driven Reconfigurable SoC Communication Infrastructure Design Flow.

[BibT_eX]

[DOI]

Alessandro Meroni

Proceedings of the 4th IEEE International Symposium on Electronic Design, 2008

A Generation Flow for Self-Reconfiguration Controllers Customization.

[BibT_eX]

[DOI]

Andrea Cuoccio

Paolo Roberto Grassi

Proceedings of the 4th IEEE International Symposium on Electronic Design, 2008

A Dual-Priority Real-Time Multiprocessor System on FPGA for Automotive Applications.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

Task Scheduling with Configuration Prefetching and Anti-Fragmentation techniques on Dynamically Reconfigurable Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

Concurrency emulation and analysis of parallel applications for multi-processor system-on-chip co-design.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

High-level synthesis with multi-objective genetic algorithm: A comparative encoding analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

The Shining embedded system design methodology based on self dynamic reconfigurable architectures.

[BibT_eX]

[DOI]

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

ReSP: A non-intrusive Transaction-Level Reflective MPSoC Simulation Platform for design space exploration.

[BibT_eX]

[DOI]

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

Lightweight DMA management mechanisms for multiprocessors on FPGA.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Application-Specific Systems, 2008

High-Level Modeling and Exploration of Reconfigurable MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the NASA/ESA Conference on Adaptive Hardware and Systems, 2008

2007

Guest Editorial [intro. to the special issue on the 2006 IEEE/ACM Design, Automation and Test in Europe Conference].

[BibT_eX]

[DOI]

Georges G. E. Gielen

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007

Multi-Accuracy Power and Performance Transaction-Level Modeling.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007

An adaptive genetic algorithm for dynamically reconfigurable modules allocation.

[BibT_eX]

[DOI]

Chiara Sandionigi

Proceedings of the IFIP VLSI-SoC 2007, 2007

An Interrupt Controller for FPGA-based Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Embedded Computer Systems: Architectures, 2007

An Evolutionary Approach to Area-Time Optimization of FPGA designs.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Embedded Computer Systems: Architectures, 2007

An Internal Partial Dynamic Reconfiguration Implementation of the JPEG Encoder for Low-Cost FPGAsb.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

A Pipelined Fast 2D-DCT Accelerator for FPGA-based SoCs.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

A Hash-based Approach for Functional Regularity Extraction During Logic Synthesis.

[BibT_eX]

[DOI]

Angelo P. E. Rosiello

Davide Pandini

Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

Two Novel Approaches to Online Partial Bitstream Relocation in a Dynamically Reconfigurable System.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

Dynamic Reconfigurability in Embedded System Design.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

Partial Dynamic Reconfiguration in a Multi-FPGA Clustered Architecture Based on Linux.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Automatic Parallelization of Sequential Specifications for Symmetric MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

A novel SoC design methodology combining adaptive software and reconfigurable hardware.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

A design kit for a fully working shared memory multiprocessor on FPGA.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

An efficient cost-based canonical form for Boolean matching.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

Task Partitioning for the Scheduling on Reconfigurable Systems driven by Specification Self-Similarity.

[BibT_eX]

Matteo Giani

Proceedings of the 2007 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2007

A Framework for Reliability Assessment and Enhancement in Multi-Processor Systems-On-Chip.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2007), 2007

A Unified Approach to Canonical Form-based Boolean Matching.

[BibT_eX]

[DOI]

Proceedings of the 44th Design Automation Conference, 2007

Fitness inheritance in evolutionary and multi-objective high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

A Self-Reconfigurable Implementation of the JPEG Encoder.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Application-Specific Systems, 2007

2006

Affinity-Driven System Design Exploration for Heterogeneous Multiprocessor SoC.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2006

Fast IP-Core Generation in a Partial Dynamic Reconfiguration Workflow.

[BibT_eX]

[DOI]

Matteo Murgida

Alessandro Panella

Proceedings of the IFIP VLSI-SoC 2006, 2006

A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures.

[BibT_eX]

[DOI]

Marco Giorgetta

Paola Spoletini

Proceedings of the IFIP VLSI-SoC 2006, 2006

An Application Mapping Methodology and Case Study for Multi-Processor On-Chip Architectures.

[BibT_eX]

[DOI]

Proceedings of the IFIP VLSI-SoC 2006, 2006

A Power-Efficient Methodology for Mapping Applications on Multi-Processor, System-on-Chip Architectures.

[BibT_eX]

[DOI]

Proceedings of the VLSI-SoC: Research Trends in VLSI and Systems on Chip, 2006

Hardware DWT accelerator for MultiProcessor System-on-Chip on FPGA.

[BibT_eX]

[DOI]

Antonino Tumeo

Proceedings of 2006 International Conference on Embedded Computer Systems: Architectures, 2006

Automatic Test Pattern Generation with BOA.

[BibT_eX]

[DOI]

Proceedings of the Parallel Problem Solving from Nature, 2006

Dynamic Reconfiguration: Core Relocation via Partial Bitstreams Filtering with Minimal Overhead.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on System-on-Chip, 2006

Combining hardware reconfiguration and adaptive computation for a novel SoC design methodology.

[BibT_eX]

[DOI]

Seda Ogrenci Memik

Proceedings of the 2006 IEEE International Conference on Field Programmable Technology, 2006

Partial Dynamic Reconfiguration: The Caronte Approach. A New Degree of Freedom in the HW/SW Codesign.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), 2006

SyCERS: a SystemC Design Exploration Framework for SoC Reconfigurable Architecture.

[BibT_eX]

Carlo Amicucci

Proceedings of the 2006 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2006

Synthesis of Object Oriented Models on Reconfigurable Hardware.

[BibT_eX]

Proceedings of the 2006 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2006

Combined software and hardware techniques for the design of reliable IP processors.

[BibT_eX]

[DOI]

Proceedings of the 21th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2006), 2006

Exploiting TLM and object introspection for system-level simulation.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Decision-theoretic exploration of multiProcessor platforms.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

Using speculative computation and parallelizing techniques to improve scheduling of control based designs.

[BibT_eX]

[DOI]

Roberto Cordone

Gianluca Palermo

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

Factors affecting ERP system adoption: A comparative analysis between SMEs and large companies.

[BibT_eX]

[DOI]

J. Enterp. Inf. Manag., 2005

A Framework for the Functional Verification of SystemC Models.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2005

Reducing the complexity of instruction-level power models for VLIW processors.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2005

Caronte: A methodology for the Implementation of Partially dynamically Self-Reconfiguring Systems on FPGA Platforms.

[BibT_eX]

[DOI]

Alberto Donato

Proceedings of the VLSI-SoC: From Systems To Silicon, 2005

Operating system support for dynamically reconfigurable SoC architectures.

[BibT_eX]

[DOI]

Alberto Donato

Proceedings of the Proceedings 2005 IEEE International SOC Conference, 2005

A Design Methodology for Dynamic Reconfiguration: The Caronte Architecture.

[BibT_eX]

[DOI]

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Using Critical Success Factors for Assessing Critical Activities in ERP Implementation within SMEs.

[BibT_eX]

Paolo Faverio

Proceedings of the ICEIS 2005, 2005

Mapping Interface Method Calls over OCP Buses.

[BibT_eX]

[DOI]

Federico Moro

Proceedings of the Forum on specification and Design Languages, 2005

Aspect Orientation in System Level Design.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

Caronte: A Complete Methodology for the Implementation of Partially Dynamically Self-Reconfiguring Systems on FPGA Platforms.

[BibT_eX]

[DOI]

Alberto Donato

Proceedings of the 13th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2005), 2005

A Data Oriented Approach to the Design of Reconfigurable Stream Decoders.

[BibT_eX]

[DOI]

Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005

A model of soft error effects in generic IP processors.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2005), 2005

Reliable System Specification for Self-Checking Data-Paths.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

Exploring the Role of Inter-Organizational Information Systems within SMEs Aggregations.

[BibT_eX]

[DOI]

Proceedings of the 18th Bled eConference: eIntegration in Action, 2005

2004

Virtual Community in the Classroom: An Innovating Tool for Elearning.

[BibT_eX]

[DOI]

Proceedings of the EDUTECH, 2004

System Level Hardware-Software Design Exploration with XCS.

[BibT_eX]

[DOI]

Pier Luca Lanzi

Proceedings of the Genetic and Evolutionary Computation, 2004

Reliable System Co-Design: The FIR Case Study.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2004), 2004

System-level metrics for hardware/software architectural mapping.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Electronic Design, 2004

Synthesis of Dynamic Class Loading Specifications on Reconfigurable Hardware.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Electronic Design, 2004

SystemC and SystemVerilog: Where do They Fit? Where are They Going?

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

Analysis and Modeling of Energy Reducing Source Code Transformations.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

Plug-in of power models in the StepNP exploration platform: analysis of power/performance trade-offs.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Compilers, 2004

2003

Identification of design errors through functional testing.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2003

The design of reliable devices for mission-critical applications.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2003

A Methodology for the Efficient Architectural Exploration of Energy-Delay Trade-offs for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

An Internal Representation Model for System-Level Co-Design of Heterogeneous Multiprocessor Embedded System.

[BibT_eX]

Proceedings of the Forum on specification and Design Languages, 2003

An Integrated Design Approach for Self-Checking FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2003), 2003

Transaction Based Design: Another Buzzword or the Solution to a Design Problem?

[BibT_eX]

[DOI]

Heinz-Josef Schlebusch

Christopher K. Lennard

Frank Ghenassia

Stuart Swan

Joachim Kunkel

Proceedings of the 2003 Design, 2003

Library Functions Timing Characterization for Source-Level Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

Static analysis of transaction-level models.

[BibT_eX]

[DOI]

Proceedings of the 40th Design Automation Conference, 2003

Mining interesting patterns from hardware-software codesign data with the learning classifier system XCS.

[BibT_eX]

[DOI]

Pier Luca Lanzi

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

2002

Low-power data forwarding for VLIW embedded architectures.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2002

An instruction-level energy model for embedded VLIW architectures.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002

Static power modeling of 32-bit microprocessors.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002

Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

Behavioral test generation for the selection of BIST logic.

[BibT_eX]

[DOI]

J. Syst. Archit., 2002

The Impact of Source Code Transformations on Software Power and Energy Consumption.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2002

Reliability Properties Assessment at System Level: A Co-Design Framework.

[BibT_eX]

[DOI]

J. Electron. Test., 2002

A Sensitivity-Based Design Space Exploration Methodology for Embedded Systems.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2002

Modeling Assembly Instruction Timing in Superscalar Architectures.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002

A System Level Approach in Designing Dual-Duplex Fault Tolerant Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International On-Line Testing Workshop (IOLTW 2002), 2002

Designing Self-Checking FPGAs through Error Detection Codes.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2002), 2002

Functional Verification for SystemC Descriptions Using Constraint Solving.

[BibT_eX]

[DOI]

Michele Rendine

Proceedings of the 2002 Design, 2002

Error Simulation Based on the SystemC Design Description Language.

[BibT_eX]

[DOI]

Proceedings of the 2002 Design, 2002

An Instruction-Level Methodology for Power Estimation and Optimization of Embedded VLIW Cores.

[BibT_eX]

[DOI]

Proceedings of the 2002 Design, 2002

Energy estimation and optimization of embedded VLIW processors based on instruction clustering.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

Metrics for design space exploration of heterogeneous multiprocessor embedded systems.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001

An efficient heuristic approach to solve the unate covering problem.

[BibT_eX]

[DOI]

Roberto Cordone

Roberto Wolfler Calvo

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

Pursuing coherence in software process assessment and improvement.

[BibT_eX]

[DOI]

Fabiano Cattaneo

Alfonso Fuggetta

Softw. Process. Improv. Pract., 2001

On-line fault detection in a hardware/software co-design environment.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

Dynamic modeling of inter-instruction effects for execution time estimation.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

Fast system-level exploration of memory architectures driven by energy-delay metrics.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

Designing Reliable Embedded Systems Based on 32 Bit Microprocessors.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International On-Line Testing Workshop (IOLTW 2001), 2001

An Assembly-Level Execution-Time Model for Pipelined Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Exploiting data forwarding to reduce the power budget of VLIW embedded processors.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

Functional test generation for behaviorally sequential models.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

A design framework to efficiently explore energy-delay tradeoffs.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

Source-level execution time estimation of C programs.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

2000

Design of VHDL-based totally self-checking finite-state machine and data-path descriptions.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2000

Symbolic optimization of interacting controllers based onredundancy identification and removal.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

A Hierarchical Test Generation Approach for Large Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2000

An extended-UIO-based method for protocol conformance testing.

[BibT_eX]

[DOI]

J. Syst. Archit., 2000

Guest Editor's Introduction: Design Tools for Embedded Systems.

[BibT_eX]

IEEE Des. Test Comput., 2000

Testability Alternatives Exploration through Functional Testing.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE VLSI Test Symposium (VTS 2000), 30 April, 2000

A Multi-Level Strategy for Software Power Estimation.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on System Synthesis, 2000

Low-power state assignment techniques for finite state machines.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

ICT diffusion and strategic role within Italian SMEs.

[BibT_eX]

Proceedings of the Challenges of Information Technology Management in the 21st Century, 2000

An Application of Genetic Algorithms and BDDs to Functional Testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Power Exploration for Embedded VLIW Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

An approach to functional testing of VLIW architectures.

[BibT_eX]

[DOI]

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

BIST Architectures Selection Based on Behavioral Testing.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2000), 2000

An instruction-level functionally-based energy estimation model for 32-bits microprocessors.

[BibT_eX]

[DOI]

Proceedings of the 37th Conference on Design Automation, 2000

Instruction-level power estimation for embedded VLIW cores.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Hardware/Software Codesign, 2000

Power optimization of system-level address buses based on software profiling.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Hardware/Software Codesign, 2000

Energy estimation for 32-bit microprocessors.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Hardware/Software Codesign, 2000

1999

Synthesis for Testability of Highly Complex Controllers by Functional Redundancy Removal.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1999

Power Estimation of System-Level Buses for Microprocessor-Based Architectures: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Computer Design, 1999

Increase the Behavioral Fault Model Accuracy Using High-Level Synthesis Information.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '99), 1999

A Synthesis Methodology Aimed at Improving the Quality of TSC Devices.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '99), 1999

Influence of Caching and Encoding on Power Dissipation of System-Level Buses for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 1999 Design, 1999

Symbolic Functional Vector Generation for VHDL Specifications.

[BibT_eX]

[DOI]

Proceedings of the 1999 Design, 1999

Power estimation for architectural exploration of HW/SW communication on system-level buses.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

HW/SW Co-design of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 1999

1998

Automatic generation of error control codes for computer applications.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1998

Power estimation of embedded systems: a hardware/software codesign approach.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1998

Testability analysis and behavioral testing of the Hopfield neural paradigm.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1998

Clock skew reduction in ASIC logic design: a methodology for clock tree management.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998

Partitioning of Hardware-Software Embedded Systems: A Metrics-based Approach.

[BibT_eX]

[DOI]

Alessandro Balboni

Integr. Comput. Aided Eng., 1998

Fault Analysis for Networks with Concurrent Error Detection.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 1998

Implicit test generation for behavioral VHDL models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Test Conference 1998, 1998

Concurrent Error Detection at Architectural Level.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on System Synthesis, 1998

Automatic VHDL restructuring for RTL synthesis optimization and testability improvement.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

System-level performance estimation strategy for sw and hw.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

VHDL Testability Analysis Based on Fault Clustering and Implicit Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 1998

Systematic AUED Codes for Self-Checking Architectures.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT '98), 1998

Fault Analysis in Networks with Concurrent Error Detection Properties.

[BibT_eX]

[DOI]

Proceedings of the 1998 Design, 1998

Address Bus Encoding Techniques for System-Level Power Optimization.

[BibT_eX]

[DOI]

Proceedings of the 1998 Design, 1998

A Model for System-Level Timed Analysis and Profiling.

[BibT_eX]

[DOI]

Proceedings of the 1998 Design, 1998

1997

Functional design for testability of control-dominated architectures.

[BibT_eX]

[DOI]

U. Rovati

ACM Trans. Design Autom. Electr. Syst., 1997

Special section on VHDL.

[BibT_eX]

[DOI]

J. Syst. Archit., 1997

A VHDL-based approach for power estimation of embedded systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 1997

A complete testing strategy based on interacting and hierarchical FSMs.

[BibT_eX]

[DOI]

Integr., 1997

Testing Core-Based Systems: A Symbolic Methodology.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 1997

A Two-Level Cosimulation Environment.

[BibT_eX]

[DOI]

Computer, 1997

Implicit test pattern generation constrained to cellular automata embedding.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE VLSI Test Symposium (VTS'97), 1997

A TSC Evaluation Function for Combinational Circuits.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

Application of a Testing Framework to VHDL Descriptions at Different Abstraction Levels.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

Improving Design Turnaround Time via Two-Levels Hw/Sw Co-Simulation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

How an "Evolving" Fault Model Improves the Behavioral Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 7th Great Lakes Symposium on VLSI (GLS-VLSI '97), 1997

Parity Bit Code: Achieving a Complete Fault Coverage in the Design of TSC Combinational Networks.

[BibT_eX]

[DOI]

Proceedings of the 7th Great Lakes Symposium on VLSI (GLS-VLSI '97), 1997

Asymptotic Zero-Transition Activity Encoding for Address Busses in Low-Power Microprocessor-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th Great Lakes Symposium on VLSI (GLS-VLSI '97), 1997

Designing Networks with Error Detection Properties through the Fault-Error Relation.

[BibT_eX]

[DOI]

Proceedings of the 1997 Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97), 1997

Designing Ad-Hoc Codes for the Realization of Fault Tolerant CMOS Networks.

[BibT_eX]

[DOI]

Proceedings of the 1997 Workshop on Defect and Fault-Tolerance in VLSI Systems (DFT '97), 1997

A novel methodology for designing TSC networks based on the parity bit code.

[BibT_eX]

[DOI]

Proceedings of the European Design and Test Conference, 1997

A Flexible Model for Evaluating the Behavior of Hardware/Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

1996

VHDL( VHSIC Hardware Description Language).

[BibT_eX]

[DOI]

J. Syst. Archit., 1996

FsmTest: Functional test generation for sequential circuits.

[BibT_eX]

[DOI]

Integr., 1996

Co-synthesis and co-simulation of control-dominated embedded systems.

[BibT_eX]

[DOI]

Alessandro Balboni

Des. Autom. Embed. Syst., 1996

The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on System Synthesis, 1996

Test Generation for Networks of Interacting FSMs Using Symbolic Techniques.

[BibT_eX]

[DOI]

Proceedings of the 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), 1996

Software methodologies for VHDL code static analysis based on flow graphs.

[BibT_eX]

[DOI]

Luciano Baresi

Proceedings of the conference on European design automation, 1996

BDD-based testability estimation of VHDL designs.

[BibT_eX]

[DOI]

Proceedings of the conference on European design automation, 1996

Redundant Faults in TSC Networks: Definition and Removal.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 1996

Fault detection and fault tolerance issues at CMOS level through AUED encoding.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 1996

A Parametric Design of a Built-in Self-Test FIFO Embedded Memory.

[BibT_eX]

[DOI]

Stefano Barbagallo

Monica Lobetti Bodoni

Proceedings of the 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 1996

Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques.

[BibT_eX]

[DOI]

Proceedings of the 33st Conference on Design Automation, 1996

Partitioning and Exploration Strategies in the TOSCA Co-Design Flow.

[BibT_eX]

[DOI]

Alessandro Balboni

Proceedings of the Forth International Workshop on Hardware/Software Codesign, 1996

1995

Construction techniques for systematic SEC-DED codes with single byte error detection and partial correction capability for computer memory systems.

[BibT_eX]

[DOI]

Luca Penzo

IEEE Trans. Inf. Theory, 1995

Testability of artificial neural networks: A behavioral approach.

[BibT_eX]

[DOI]

Vincenzo Piuri

Mariagiovanna Sami

J. Electron. Test., 1995

A new DFT methodology for sequential circuits.

[BibT_eX]

[DOI]

Claudio Costi

J. Electron. Test., 1995

TIES: A testability increase expert system for VLSI design.

[BibT_eX]

[DOI]

J. Electron. Test., 1995

VLSI design of systematic odd-weight-column byte error detecting SEC-DED codes.

[BibT_eX]

[DOI]

Luca Penzo

Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995

A new switching-level approach to multiple-output functions synthesis.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995

GECO: A Tool for Automatic Generation of Error Control Codes for Computer Applications.

[BibT_eX]

Luca Penzo

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

Behavior of Self-Checking Checkers for 1-out-of-3 Codes Based on Pass-Transistor Logic.

[BibT_eX]

[DOI]

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

Data Path Testability Analysis Based on BDDs.

[BibT_eX]

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

An Output/State Encoding for Self-Checking Finite State Machine.

[BibT_eX]

[DOI]

Proceedings of the 1995 IEEE International Symposium on Circuits and Systems, ISCAS 1995, Seattle, Washington, USA, April 30, 1995

Synthesis for testability of large complexity controllers.

[BibT_eX]

[DOI]

M. Serro

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

Testable synthesis of high complex control devices.

[BibT_eX]

[DOI]

U. Rovati

Proceedings of the Proceedings EURO-DAC'95, 1995

Self-checking FSMs based on a constant distance state encoding.

[BibT_eX]

[DOI]

Proceedings of the 1995 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, 1995

Sequential logic minimization based on functional testability.

[BibT_eX]

[DOI]

Proceedings of the 1995 European Design and Test Conference, 1995

Automatic clock tree generation in ASIC designs.

[BibT_eX]

[DOI]

Proceedings of the 1995 European Design and Test Conference, 1995

1994

ALADIN: a multilevel testability analyzer for VLSI system design.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1994

Innovative Structures for CMOS Combinational Gates Synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1994

Constraint Generation & Placement for Automatic Layout Design of Analog Integrated Circuits.

[BibT_eX]

[DOI]

Margherita Pillan

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

Two-Dimensional Sequential Array Architectures: Design for Testability Approaches.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

CMOS Reliability Improvements Through a New Fault Tolerant Technique.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

HW/SW Codesign for Embedded Telecom Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

The role of VHDL within the TOSCA hardware/software codesign framework.

[BibT_eX]

[DOI]

Proceedings of the Proceedings EURO-DAC'94, 1994

A Functional Approach to Delay Faults Test Generation for Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

From Behavioral Description to Systolic Array Based Architectures.

[BibT_eX]

[DOI]

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

Synthesis of Multi-level Self-Checking Logic.

[BibT_eX]

Mariagiovanna Sami

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1994

Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: A Mixed Functional/Structural Method.

[BibT_eX]

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1994

A CMOS Fault Tolerant Architecture for Swith-Level Faults.

[BibT_eX]

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1994

A methodology for control-dominated systems codesign.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993

Concurrently self-checking structures for Fsms.

[BibT_eX]

[DOI]

M. G. Sami

Microprocess. Microprogramming, 1993

Fault detection in TFCMOS/DFCMOS combinational gates.

[BibT_eX]

[DOI]

Integr., 1993

New CMOS Structures for the Synthesis of Dominant Functions.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on VLSI Design, 1993

An Expert Solution to Functional Testability Analysis of VLSI Circuits.

[BibT_eX]

Proceedings of the SEKE'93, 1993

Functional Testing and Constrained Synthesis of Sequential Architectures.

[BibT_eX]

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993

Functional Fault Models and Gate Level Coverage for Sequential Architectures.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1993 International Conference on Computer Design: VLSI in Computers & Processors, 1993

On the minimal test set for single fault location.

[BibT_eX]

[DOI]

Xiao Sun

Proceedings of the European Design Automation Conference 1993, 1993

Fault Detection in Sequential Circuits through Functional Testing.

[BibT_eX]

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1993

Reduction of Fault Detection Costs through Testable Design of Sequential Architectures with Signal Feedbacks.

[BibT_eX]

Proceedings of the IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, 1993

1992

A behavioral approach to testability analysis for neural networks.

[BibT_eX]

[DOI]

Microprocess. Microprogramming, 1992

Constant testability of combinational cellular tree structures.

[BibT_eX]

[DOI]

J. Electron. Test., 1992

A multi level testability assistant for VLSI design.

[BibT_eX]

[DOI]

Proceedings of the conference on European design automation, 1992

1991

Testing and diagnosis of<i>FFT</i> arrays.

[BibT_eX]

[DOI]

Anna Antola

Mariagiovanna Sami

J. VLSI Signal Process., 1991

The Patricia testability analysis tool.

[BibT_eX]

[DOI]

Microprocessing and Microprogramming, 1991

Multiple stuck-at faults detection in CMOS combinational gates.

[BibT_eX]

[DOI]

Microprocessing and Microprogramming, 1991

Testability conditions for two-dimensional bilateral arrays.

[BibT_eX]

[DOI]

Integr., 1991

Protocol Conformance Testing by Discriminating UIO Sequences.

[BibT_eX]

Proceedings of the Protocol Specification, 1991

Optimization techniques for multiple output function synthesis.

[BibT_eX]

[DOI]

Proceedings of the conference on European design automation, 1991

1990

An approach to a design for testability personal consultant.

[BibT_eX]

[DOI]

Microprocessing and Microprogramming, 1990

Testing of serial input convolvers.

[BibT_eX]

[DOI]

Luca Breveglieri

Luigi Dadda

Microprocessing and Microprogramming, 1990

Evaluation and improvement of fault coverage for verification and validation of protocols.

[BibT_eX]

[DOI]

Yinan N. Shen

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

A Routing Algorithm for Harvesting Multipipeline Arrays with Small Intercell and Pipeline Delays.

[BibT_eX]

[DOI]

Peter Koo

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990

1989

Functional testing and verification of array systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 1989

Linear testability conditions for two-dimensional arrays.

[BibT_eX]

[DOI]

Microprocess. Microprogramming, 1989

1988

An algorithm for functional reconfiguration of fixed-size arrays.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1988

On Functional Testing of Array Processors.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

Behavioral testing of multilevel system software.

[BibT_eX]

[DOI]

Fausto Distante

Microprocess. Microprogramming, 1988

Array partitioning: a methodology for reconfigurability and reconfiguration problems.

[BibT_eX]

[DOI]

Fausto Distante

Proceedings of the Computer Design: VLSI in Computers and Processors, 1988

1987

A reconfiguration algorithm for wafer-scale integration of systolic arrays.

[BibT_eX]

[DOI]

Leonardo Jervis

Microprocess. Microprogramming, 1987

A Technique for Reconfiguring Two Dimensional VLSI Arrays.

[BibT_eX]