Zum Hauptinhalt springen

Showing 1–10 of 10 results for author: Donato, M

Searching in archive cs. Search in all archives.
.
  1. arXiv:2303.16100  [pdf, other

    cs.LG cs.AR

    Energy-efficient Task Adaptation for NLP Edge Inference Leveraging Heterogeneous Memory Architectures

    Authors: Zirui Fu, Aleksandre Avaliani, Marco Donato

    Abstract: Executing machine learning inference tasks on resource-constrained edge devices requires careful hardware-software co-design optimizations. Recent examples have shown how transformer-based deep neural network models such as ALBERT can be used to enable the execution of natural language processing (NLP) inference on mobile systems-on-chip housing custom hardware accelerators. However, while these e… ▽ More

    Submitted 12 April, 2023; v1 submitted 25 March, 2023; originally announced March 2023.

    Comments: 10 pages, 6 figures, 3 tables

  2. arXiv:2109.01188  [pdf, other

    cs.ET cs.AR

    NVMExplorer: A Framework for Cross-Stack Comparisons of Embedded Non-Volatile Memories

    Authors: Lillian Pentecost, Alexander Hankin, Marco Donato, Mark Hempstead, Gu-Yeon Wei, David Brooks

    Abstract: Repeated off-chip memory accesses to DRAM drive up operating power for data-intensive applications, and SRAM technology scaling and leakage power limits the efficiency of embedded memories. Future on-chip storage will need higher density and energy efficiency, and the actively expanding field of emerging, embeddable non-volatile memory (eNVM) technologies is providing many potential candidates to… ▽ More

    Submitted 11 January, 2022; v1 submitted 2 September, 2021; originally announced September 2021.

    Comments: 18 pages, 14 figures, 3 tables

    ACM Class: B.3; I.6

  3. arXiv:2106.11757  [pdf, other

    cs.DC

    Application-driven Design Exploration for Dense Ferroelectric Embedded Non-volatile Memories

    Authors: Mohammad Mehdi Sharifi, Lillian Pentecost, Ramin Rajaei, Arman Kazemi, Qiuwen Lou, Gu-Yeon Wei, David Brooks, Kai Ni, X. Sharon Hu, Michael Niemier, Marco Donato

    Abstract: The memory wall bottleneck is a key challenge across many data-intensive applications. Multi-level FeFET-based embedded non-volatile memories are a promising solution for denser and more energy-efficient on-chip memory. However, reliable multi-level cell storage requires careful optimizations to minimize the design overhead costs. In this work, we investigate the interplay between FeFET device cha… ▽ More

    Submitted 17 June, 2021; originally announced June 2021.

    Comments: Accepted at ISLPED 2021

  4. arXiv:2011.14203  [pdf, other

    cs.AR cs.CL

    EdgeBERT: Sentence-Level Energy Optimizations for Latency-Aware Multi-Task NLP Inference

    Authors: Thierry Tambe, Coleman Hooper, Lillian Pentecost, Tianyu Jia, En-Yu Yang, Marco Donato, Victor Sanh, Paul N. Whatmough, Alexander M. Rush, David Brooks, Gu-Yeon Wei

    Abstract: Transformer-based language models such as BERT provide significant accuracy improvement for a multitude of natural language processing (NLP) tasks. However, their hefty computational and memory demands make them challenging to deploy to resource-constrained edge platforms with strict latency requirements. We present EdgeBERT, an in-depth algorithm-hardware co-design for latency-aware energy optimi… ▽ More

    Submitted 5 September, 2021; v1 submitted 28 November, 2020; originally announced November 2020.

    Comments: 12 pages plus references. Paper to appear at the 54th IEEE/ACM International Symposium on Microarchitecture (MICRO 2021)

  5. CHIPKIT: An agile, reusable open-source framework for rapid test chip development

    Authors: Paul Whatmough, Marco Donato, Glenn Ko, Sae-Kyu Lee, David Brooks, Gu-Yeon Wei

    Abstract: The current trend for domain-specific architectures (DSAs) has led to renewed interest in research test chips to demonstrate new specialized hardware. Tape-outs also offer huge pedagogical value garnered from real hands-on exposure to the whole system stack. However, successful tape-outs demand hard-earned experience, and the design process is time consuming and fraught with challenges. Therefore,… ▽ More

    Submitted 26 May, 2020; v1 submitted 13 January, 2020; originally announced January 2020.

  6. arXiv:1108.3434  [pdf, other

    cs.FL cs.ET q-bio.QM

    Multiscale Modelling: A Mobile Membrane Approach

    Authors: Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Emanuela Merelli, Luca Tesei

    Abstract: Nowadays, multiscale modelling is recognized as the most suitable way to study biological processes. Indeed, almost every phenomenon in nature exhibits a multiscale behaviour, i.e., it is the outcome of interactions that occur at different spatial and temporal scales. Although several ways to provide "multilayer" models have been proposed, only Complex Automata naturally embed spatial information… ▽ More

    Submitted 17 August, 2011; originally announced August 2011.

    Comments: Presented at MeCBIC 2011

    Report number: MeCBIC/2011/11

  7. Automated Analysis of MUTEX Algorithms with FASE

    Authors: Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

    Abstract: In this paper we study the liveness of several MUTEX solutions by representing them as processes in PAFAS s, a CCS-like process algebra with a specific operator for modelling non-blocking reading behaviours. Verification is carried out using the tool FASE, exploiting a correspondence between violations of the liveness property and a special kind of cycles (called catastrophic cycles) in some trans… ▽ More

    Submitted 6 June, 2011; originally announced June 2011.

    Comments: In Proceedings GandALF 2011, arXiv:1106.0814

    ACM Class: D.2.2; D.2.4

    Journal ref: EPTCS 54, 2011, pp. 45-59

  8. arXiv:1105.1370  [pdf, ps, other

    cs.LO cs.DS

    A Framework for the Evaluation of Worst-Case System Efficiency

    Authors: Massimo Callisto De Donato, Maria Rita Di Berardini

    Abstract: In this paper we present FASE (Fast Asynchronous Systems Evaluation), a tool for evaluating worst-case efficiency of asynchronous systems. This tool implements some well-established results in the setting of a timed CCS-like process algebra: PAFAS (a Process Algebra for Faster Asynchronous Systems). Moreover, we discuss some new solutions that are useful to improve the applicability of FASE to con… ▽ More

    Submitted 6 May, 2011; originally announced May 2011.

    Comments: 5 Pages. In ICTCS 2010: 12th Italian Conference on Theoretical Computer Science, University of Camerino, Camerino, 2010

    MSC Class: D.2.2; D.2.4

  9. arXiv:1105.1369  [pdf, ps, other

    cs.LO

    Evaluating the Efficiency of Asynchronous Systems with FASE

    Authors: Federico Buti, Massimo Callisto De Donato, Flavio Corradini, Maria Rita Di Berardini, Walter Vogler

    Abstract: In this paper, we present FASE (Faster Asynchronous Systems Evaluation), a tool for evaluating the worst-case efficiency of asynchronous systems. The tool is based on some well-established results in the setting of a timed process algebra (PAFAS: a Process Algebra for Faster Asynchronous Systems). To show the applicability of FASE to concrete meaningful examples, we consider three implementations… ▽ More

    Submitted 6 May, 2011; originally announced May 2011.

    Comments: 14 pages, 5 figures. A preliminary version has been presented as extended abstract in Pre-Proc. of The 1st Int. Workshop on Quantitative Formal Methods, pp.101-106, Technische Universiteit Eindhoven, 2009

    ACM Class: D.2.2; D.2.4

  10. arXiv:1006.1551  [pdf, ps, other

    cs.CY

    EcoHomeHelper: An Expert System to Empower End-Users in Climate Change Action

    Authors: Matt Donato, Seng W. Loke

    Abstract: Climate change has been a popular topic for a number of years now. Computer Science has contributed to aiding humanity in reducing energy requirements and consequently global warming. Much of this work is through calculators which determine a user's carbon footprint. However there are no expert systems which can offer advice in an efficient and time saving way. There are many publications which do… ▽ More

    Submitted 8 June, 2010; originally announced June 2010.

    Comments: Contains links to the actual thesis on this topic