Papers by Andrea Acquaviva
IEEE Transactions on Biomedical Engineering, 2011
This study presents a fully automated membrane seg- mentation technique for immunohistochemical t... more This study presents a fully automated membrane seg- mentation technique for immunohistochemical tissue images with membrane staining, which is a critical task in computerized im- munohistochemistry (IHC). Membrane segmentation is particu- larly tricky in immunohistochemical tissue images because the cellular membranes are visible only in the stained tracts of the cell, while the unstained tracts are not visible. Our automated
Design Automation Conference, 2001
Portable systems require long battery lifetime while still delivering high performance. Dynamic v... more Portable systems require long battery lifetime while still delivering high performance. Dynamic voltage scaling (DVS) algorithms reduce energy consumption by changing processor speed and voltage at run-time depending on the needs of the applications running. Dynamic power management (DPM) policies trade off the performance for the power consumption by selectively placing components into low-power states. In this work we extend
Proceedings of the Design Automation & Test in Europe Conference, 2006
In this work we take a control-theoretic approach to feedbackbased dynamic voltage scaling (DVS) ... more In this work we take a control-theoretic approach to feedbackbased dynamic voltage scaling (DVS) in Multi Processor System on Chip (MPSoC) pipelined architectures. We present and discuss a novel feedback approach based on both linear and non-linear techniques aimed at controlling interprocessor queue occupancy. Theoretical analysis and experiments, carried out on a cycleaccurate multiprocessor simulation platform, show that feedbackbased control reduces energy consumption with respect to standard local DVS policies and highlight that non-linear strategies allows a more flexible and robust implementation in presence of variable workload conditions.
Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems - MSWiM '04, 2004
One of the major concerns for 802.11b wireless local area networks is energy efficiency. In fact,... more One of the major concerns for 802.11b wireless local area networks is energy efficiency. In fact, mobile devices spend a large amount of power on their radio interface for accessing multimedia services such as audio and video streaming.
Proceedings of the 2nd ACM international workshop on Wireless mobile applications and services on WLAN hotspots - WMASH '04, 2004
Wireless networked embedded terminals like personal digital assistants, cell-phones or sensor nod... more Wireless networked embedded terminals like personal digital assistants, cell-phones or sensor nodes are typically memory constrained devices. This limitation prevents the development of applications that require a large amount of run-time memory space. In a wired cum wireless scenario, a potentially unlimited amount of virtual memory can be found on remote servers installed on the wired network. However, virtual memory access requires performance constrained and lossless data flows against terminal handover between coverage areas. In this work, we present an infrastructure aimed at providing efficient remote memory access to mobile terminals in a wireless LAN connected to a multi-hop network. The behavior of the infrastructure has been theoretically studied, implemented and tested w.r.t. various traffic conditions and handover events.
Lecture Notes in Computer Science, 2003
We present a new approach to accurately evaluate signal integrity in digital integrated circuits ... more We present a new approach to accurately evaluate signal integrity in digital integrated circuits while working at the logic level. Our approach makes use of fitting models to represent the key properties of drivers, interconnects and receivers and the effects of all noise sources (supply noise, timing uncertainty, crosstalk). Such models are then combined to evaluate the correctness of each bit sent across the line. The overall result is a parameterized bit-level model of a noisy on-chip communication channel. The model can be used at the logic level to evaluate the transmission-error probability for an arbitrary bit stream, sent at an arbitrary bit rate, under arbitrary noise source assumptions.
Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02, 2002
... Franco Gatti Andrea Acquaviva Luca Benini Bruno Ricco' ... mW POWER WITHOUT LCD DISABLE ... more ... Franco Gatti Andrea Acquaviva Luca Benini Bruno Ricco' ... mW POWER WITHOUT LCD DISABLE POWER WITH LCD DISABLE Figure 9: Badge4 power consumption In this plot the contribution of the LCD controller to the system power comes in evidence. ...
5th IEEE International Workshop on Advances in Sensors and Interfaces IWASI, 2013
In this work, the design of a service-oriented infrastructure for monitoring and managing energy ... more In this work, the design of a service-oriented infrastructure for monitoring and managing energy consumption in public buildings and spaces is presented. The main focus concerns the development of software layers enabling the interoperability between heterogeneous wireless sensor and actuator nodes aimed at monitoring the energy consumption, controlling environmental parameters such as illuminance and temperature to take advantage of natural resources and relative humidity to ensure the best possible comfort conditions with the most efficient use of energy.
Lecture Notes in Computer Science, 2009
Aging effect in next-generation technologies will play a major role in determining system reliabi... more Aging effect in next-generation technologies will play a major role in determining system reliability. In particular, wear-out impact due to Negative Bias Temperature Instability (NBTI) will cause an increase in circuit delays of up to 10% in three years [8]. In these systems, ...
PLOS ONE, 2015
In this paper we present VDJSeq-Solver, a methodology and tool to identify clonal lymphocyte popu... more In this paper we present VDJSeq-Solver, a methodology and tool to identify clonal lymphocyte populations from paired-end RNA Sequencing reads derived from the sequencing of mRNA neoplastic cells. The tool detects the main clone that characterises the tissue of interest by recognizing the most abundant V(D)J rearrangement among the existing ones in the sample under study. The exact sequence of the clone identified is capable of accounting for the modifications introduced by the enzymatic processes. The proposed tool overcomes limitations of currently available lymphocyte rearrangements recognition methods, working on a single sequence at a time, that are not applicable to high-throughput sequencing data. In this work, VDJSeq-Solver has been applied to correctly detect the main clone and identify its sequence on five Mantle Cell Lymphoma samples; then the tool has been tested on twelve Diffuse Large B-Cell Lymphoma samples. In order to comply with the privacy, ethics and intellectual property policies of the University Hospital and the University of Verona, data is available upon request to [email protected] after signing a mandatory Materials Transfer Agreement. VDJSeq-Solver JAVA/Perl/Bash software implementation is free and available at http://eda.polito.it/VDJSeq-Solver/.
Proceedings of the ninth international symposium on Hardware/software codesign - CODES '01, 2001
2007 International Symposium on System-on-Chip, 2007
... Figure 3: Migration cost as a function of the total The energy-aware version performs better ... more ... Figure 3: Migration cost as a function of the total The energy-aware version performs better in terms of number of tasks. temperature variance wrt to the basic version that performs only loadbalancing because it reduces tem-perature variations as a side effect of energy reduc ...
Design, Automation, and Test in Europe, 2008
As feature sizes decrease, power dissipation and heat generation density exponentially increase. ... more As feature sizes decrease, power dissipation and heat generation density exponentially increase. Thus, temperature gradients in Multiprocessor Systems on Chip (MPSoCs) can seriously impact system performance and reliability. Thermal balancing policies based on task migration have been proposed to modulate power distribution between processing cores to achieve temperature flattening. However, in the context of MPSoC for multimedia streaming computing, where
Coarse grain (CG) molecular models have been proposed to simulate complex systems with lower comp... more Coarse grain (CG) molecular models have been proposed to simulate complex systems with lower computational overheads and longer timescales with respect to atomistic level models. However, their acceleration on parallel architectures such as graphic processing units (GPUs) presents original challenges that must be carefully evaluated. The objective of this work is to characterize the impact of CG model features on parallel simulation performance. To achieve this, we implemented a GPU-accelerated version of a CG molecular dynamics simulator, to which we applied specific optimizations for CG models, such as dedicated data structures to handle different bead type interactions, obtaining a maximum speed-up of 14 on the NVIDIA GTX480 GPU with Fermi architecture. We provide a complete characterization and evaluation of algorithmic and simulated system features of CG models impacting the achievable speed-up and accuracy of results, using three different GPU architectures as case studies.
Background: Computational methods for microRNA target prediction are a fundamental step to unders... more Background: Computational methods for microRNA target prediction are a fundamental step to understand the miRNA role in gene regulation, a key process in molecular biology. In this paper we present miREE, a novel microRNA target prediction tool. miREE is an ensemble of two parts entailing complementary but integrated roles in the prediction. The Ab-Initio module leverages upon a genetic algorithmic approach to generate a set of candidate sites on the basis of their microRNA-mRNA duplex stability properties. Then, a Support Vector Machine (SVM) learning module evaluates the impact of microRNA recognition elements on the target gene. As a result the prediction takes into account information regarding both miRNA-target structural stability and accessibility. Results: The proposed method significantly improves the state-of-the-art prediction tools in terms of accuracy with a better balance between specificity and sensitivity, as demonstrated by the experiments conducted on several large datasets across different species. miREE achieves this result by tackling two of the main challenges of current prediction tools: (1) The reduced number of false positives for the Ab-Initio part thanks to the integration of a machine learning module (2) the specificity of the machine learning part, obtained through an innovative technique for rich and representative negative records generation. The validation was conducted on experimental datasets where the miRNA:mRNA interactions had been obtained through (1) direct validation where even the binding site is provided, or through (2) indirect validation, based on gene expression variations obtained from high-throughput experiments where the specific interaction is not validated in detail and consequently the specific binding site is not provided.
This study presents a fully automated membrane segmentation technique for immunohistochemical tis... more This study presents a fully automated membrane segmentation technique for immunohistochemical tissue images with membrane staining, which is a critical task in computerized immunohistochemistry (IHC). Membrane segmentation is particularly tricky in immunohistochemical tissue images because the cellular membranes are visible only in the stained tracts of the cell, while the unstained tracts are not visible. Our automated method provides accurate segmentation of the cellular membranes in the stained tracts and reconstructs the approximate location of the unstained tracts using nuclear membranes as a spatial reference. Accurate cell-by-cell membrane segmentation allows per cell morphological analysis and quantification of the target membrane proteins that is fundamental in several medical applications such as cancer characterization and classification, personalized therapy design, and for any other applications requiring cell morphology characterization. Experimental results on real datasets from different anatomical locations demonstrate the wide applicability and high accuracy of our approach in the context of IHC analysis.
Uploads
Papers by Andrea Acquaviva