Publications

158 entries « 2 of 4 »

2017

Abdali, E M; Pelcat, M; Berry, F; Diguet, J -P; Palumbo, F

Exploring the performance of partially reconfigurable point-to-point interconnects Conference

Institute of Electrical and Electronics Engineers Inc., 2017.

Links | BibTeX

Fanni, T; Li, L; Viitanen, T; Sau, C; Xie, R; Palumbo, F; Raffo, L; Huttunen, H; Takala, J; Bhattacharyya, S S

Hardware design methodology using lightweight dataflow and its integration with low power techniques Journal Article

Journal of Systems Architecture, 78 , pp. 15-29, 2017.

Links | BibTeX

Palumbo, F; Sau, C; Pani, D; Meloni, P; Raffo, L

Feasibility study of real-time spiking neural network simulations on a swarm intelligence based digital architecture Conference

Institute of Electrical and Electronics Engineers Inc., 2017.

Links | BibTeX

Becchi, M; Palumbo, F

Message from the Program Chairs Conference

Association for Computing Machinery, Inc, 2017.

Links | BibTeX

Masin, M; Palumbo, F; Myrhaug, H; Filho, De Oliveira J A; Pastena, M; Pelcat, M; Raffo, L; Regazzoni, F; Sanchez, A A; Toffetti, A; Torre, De La E; Zedda, K

Cross-layer design of reconfigurable cyber-physical systems Conference

Institute of Electrical and Electronics Engineers Inc., 2017.

Links | BibTeX

Meloni, P; Rubattu, C; Tuveri, G; Pani, D; Raffo, L; Palumbo, F

Real-Time neural signal decoding on heterogeneous MPSocs based on VLIW ASIPs Journal Article

Journal of Systems Architecture, 76 , pp. 89-101, 2017.

Links | BibTeX

Palumbo, F; Fanni, T; Sau, C; Meloni, P

Power-Awarness in Coarse-Grained Reconfigurable Multi-Functional Architectures: a Dataflow Based Strategy Journal Article

Journal of Signal Processing Systems, 87 (1), pp. 81-106, 2017.

Links | BibTeX

Pani, D; Meloni, P; Tuveri, G; Palumbo, F; Massobrio, P; Raffo, L

An FPGA platform for real-time simulation of spiking neuronal networks Journal Article

Frontiers in Neuroscience, 11 , 2017.

Links | BibTeX

Montanari, A; Palumbo, F; Vichi, M

Preface Conference

(195089), Springer Berlin Heidelberg, 2017.

Links | BibTeX

2016

Pathak, S; Pulina, L; Tacchella, A

Evaluating probabilistic model checking tools for verification of robot control policies Journal Article

AI Communications, 29 (2), pp. 287-299, 2016.

Links | BibTeX

Pulina, L

The ninth QBF solvers evaluation-preliminary report Conference

1719 , CEUR-WS, 2016.

Links | BibTeX

Leofante, F; Pulina, L; Tacchella, A

Learning with safety requirements: State of the art and open questions Conference

1745 , CEUR-WS, 2016.

Links | BibTeX

Pandolfo, L; Pulina, L; Adorni, G

A framework for automatic population of ontology-based digital libraries Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10037 LNAI , pp. 406-417, 2016.

Links | BibTeX

Marin, P; Narizzano, M; Pulina, L; Tacchella, A; Giunchiglia, E

Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows Journal Article

Fundamenta Informaticae, 149 (1-2), pp. 133-158, 2016.

Links | BibTeX

Kontchakov, R; Pandolfo, L; Pulina, L; Ryzhikov, V; Zakharyaschev, M

Temporal and spatial OBDA with many-dimensional halpern-shoham logic Conference

2016-January , International Joint Conferences on Artificial Intelligence, 2016.

Links | BibTeX

Cicala, G; Khalili, A; Metta, G; Natale, L; Pathak, S; Pulina, L; Tacchella, A

Engineering approaches and methods to verify software in autonomous systems Journal Article

Advances in Intelligent Systems and Computing, 302 , pp. 1683-1700, 2016.

Links | BibTeX

Leofante, F; Vuotto, S; Ábrahám, E; Tacchella, A; Jansen, N

Combining static and runtime methods to achieve safe standing-up for humanoid robots Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9952 LNCS , pp. 496-514, 2016.

Links | BibTeX

Palumbo, F; Sau, C; Fanni, T; Meloni, P; Raffo, L

SS-design: Dataflow-based design of coarse-grained: Reconfigurable platforms reconfigurable platform composer tool project - Extended abstract Conference

Institute of Electrical and Electronics Engineers Inc., 2016.

Links | BibTeX

Tuveri, G; Meloni, P; Palumbo, F; Seu, Pietro G; Loi, I; Conti, F; Raffo, L

On-the-fly adaptivity for process networks over shared-memory platforms Journal Article

Microprocessors and Microsystems, 46 , pp. 240-254, 2016.

Links | BibTeX

Sau, C; Meloni, P; Raffo, L; Palumbo, F; Bezati, E; Casale-Brunet, S; Mattavelli, M

Automated Design Flow for Multi-Functional Dataflow-Based Platforms Journal Article

Journal of Signal Processing Systems, 85 (1), pp. 143-165, 2016.

Links | BibTeX

Sau, C; Fanni, T; Meloni, P; Raffo, L; Pelcat, M; Palumbo, F

Demo: Reconfigurable Platform Composer Tool Conference

0 , IEEE Computer Society, 2016.

Links | BibTeX

Li, L; Fanni, T; Viitanen, T; Xie, R; Palumbo, F; Raffo, L; Huttunen, H; Takala, J; Bhattacharyya, S S

Low power design methodology for signal processing systems using lightweight dataflow techniques Conference

0 , IEEE Computer Society, 2016.

Links | BibTeX

Palumbo, F; Pelcat, M; Menard, D

Introduction to the 2nd workshop on design of low Power EMbedded Systems Conference

Association for Computing Machinery, Inc, 2016.

Links | BibTeX

Fanni, T; Sau, C; Meloni, P; Raffo, L; Palumbo, F

Power and clock gating modelling in coarse grained reconfigurable systems Conference

Association for Computing Machinery, Inc, 2016.

Links | BibTeX

Banik, S; Bogdanov, A; Fanni, T; Sau, C; Raffo, L; Palumbo, F; Regazzoni, F

Adaptable AES implementation with power-gating support Conference

Association for Computing Machinery, Inc, 2016.

Links | BibTeX

Sau, C; Carta, N; Raffo, L; Palumbo, F

Early Stage Automatic Strategy for Power-Aware Signal Processing Systems Design Journal Article

Journal of Signal Processing Systems, 82 (3), pp. 311-329, 2016.

Links | BibTeX

Sau, C; Fanni, L; Meloni, P; Raffo, L; Palumbo, F

Reconfigurable coprocessors synthesis in the MPEG-RVC domain Conference

Institute of Electrical and Electronics Engineers Inc., 2016.

Links | BibTeX

Fanni, T; Sau, C; Meloni, P; Raffo, L; Palumbo, F

Power modelling for saving strategies in coarse grained reconfigurable systems Conference

Institute of Electrical and Electronics Engineers Inc., 2016.

Links | BibTeX

Palumbo, F; Fanni, T; Sau, C; Meloni, P; Raffo, L

Modelling and automated implementation of optimal power saving strategies in coarse-grained reconfigurable architectures Journal Article

Journal of Electrical and Computer Engineering, 2016 , 2016.

Links | BibTeX

Palumbo, F; Sau, C; Evangelista, D; Meloni, P; Pelcat, M; Raffo, L

Runtime Energy versus Quality Tuning in Motion Compensation Filters for HEVC Journal Article

IFAC-PapersOnLine, 49 (25), pp. 145-152, 2016.

Links | BibTeX

Meloni, P; Palumbo, F; Rubattu, C; Tuveri, G; Pani, D; Raffo, L

MPSoCs for real-time neural signal decoding: A low-power ASIP-based implementation Journal Article

Microprocessors and Microsystems, 43 , pp. 67-80, 2016.

Links | BibTeX

Meloni, P; Rubattu, C; Tuveri, G; Raffo, L

A Custom dual-processor System for Real-time Neural Signal Processing Journal Article

IFAC-PapersOnLine, 49 (25), pp. 61-67, 2016.

Links | BibTeX

Fanni, T; Raffo, L

Coarse grain reconfiguration: Power estimation and management flow for hybrid gated systems Conference

Institute of Electrical and Electronics Engineers Inc., 2016.

Links | BibTeX

2015

Lorusso, L; Pulina, L; Grosso, E

The Measure of Perceived Similarity Between Faces: Old Issues for a New Method Journal Article

Review of Philosophy and Psychology, 6 (2), pp. 317-339, 2015.

Links | BibTeX

Maratea, M; Pulina, L; Ricca, F

Advances in multi-engine ASP solving Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9336 LNCS , pp. 179-190, 2015.

Links | BibTeX

Pathak, S; Pulina, L; Tacchella, A

Testing a learn-verify-repair approach for safe human-robot interaction Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9336 LNCS , pp. 260-273, 2015.

Links | BibTeX

Pathak, S; Pulina, L; Tacchella, A

A case for robust AI in robotics Conference

1544 , CEUR-WS, 2015.

Links | BibTeX

Maratea, M; Pulina, L; Ricca, F

Multi-engine ASP solving with policy adaptation Journal Article

Journal of Logic and Computation, 25 (6), pp. 1285-1306, 2015.

Links | BibTeX

Maratea, M; Pulina, L; Ricca, F

Multi-level algorithm selection for ASP Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9345 , pp. 439-445, 2015.

Links | BibTeX

Adorni, G; Maratea, M; Pandolfo, L; Pulina, L

An ontology-based archive for historical research Conference

1350 , CEUR-WS, 2015.

Links | BibTeX

Adorni, G; Maratea, M; Pandolfo, L; Pulina, L

An ontology for historical research documents Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9209 , pp. 11-18, 2015.

Links | BibTeX

Marin, P; Narizzano, M; Pulina, L; Tacchella, A; Giunchiglia, E

An empirical perspective on ten years of QBF solving Conference

1451 , CEUR-WS, 2015.

Links | BibTeX

Pulina, L; Mazzette, A; Pandolfo, L; Piga, E; Ruiu, M L; Tidore, C

Leveraging semantic web technologies for analysis of crime in social science Conference

1459 , CEUR-WS, 2015.

Links | BibTeX

Chiappini, M; Pandolfo, L

New technologies and disability: Design of @-bility for educational software research [Nuove tecnologie e disabilità: progettazione di @-bility per la ricerca di software didattici] Journal Article

Mondo Digitale, 14 (58), pp. 34-43, 2015.

Links | BibTeX

Pandolfo, L

STOLE: A reference ontology for historical research documents Conference

1485 , CEUR-WS, 2015.

Links | BibTeX

Meloni, P; Tuveri, G; Pani, D; Raffo, L; Palumbo, F

Exploring custom heterogeneous MPSoCs for real-Time neural signal decoding Conference

2015-December , IEEE Computer Society, 2015.

Links | BibTeX

Pani, D; Sau, C; Palumbo, F; Raffo, L

Computing swarms for self-adaptiveness and self-organizationin floating-point array processing Journal Article

ACM Transactions on Autonomous and Adaptive Systems, 10 (3), 2015.

Links | BibTeX

Sau, C; Palumbo, F

Automatic generation of dataflow-based reconfigurable co-processing units Conference

2015-May , IEEE Computer Society, 2015.

Links | BibTeX

Fanni, T; Sau, C; Raffo, L; Palumbo, F

Automated power gating methodology for dataflow-based reconfigurable systems Conference

Association for Computing Machinery, Inc, 2015.

Links | BibTeX

Palumbo, F; Sau, C; Raffo, L

Coarse-grained reconfiguration: Dataflow-based power management Journal Article

IET Computers and Digital Techniques, 9 (1), pp. 36-48, 2015.

Links | BibTeX

158 entries « 2 of 4 »