![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Human genetic diversity alters off-target outcomes of therapeutic gene editing
CRISPR gene editing holds great promise to modify DNA sequences in somatic cells to treat disease. However, standard computational and biochemical methods to predict off-target potential focus on reference gen...
-
Chapter and Conference Paper
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era
The occurrence of human errors in work processes reduces the quality of results, increases the costs due to compensatory actions, and may have heavy repercussions on the workers’ safety. The definition of rule...
-
Chapter and Conference Paper
On the Simulation and Automatic Parametrization of Metabolic Networks Through Electronic Design Automation
This work presents a platform for the modelling, simulation and automatic parametrization of semi-quantitative metabolic networks. Starting from a network modelled through Petri Nets (PN) and represented in SB...
-
Chapter and Conference Paper
Integrating Simulink, OpenVX, and ROS for Model-Based Design of Embedded Vision Applications
OpenVX is increasingly gaining consensus as standard platform to develop portable, optimized and power-efficient embedded vision applications. Nevertheless, adopting OpenVX for rapid prototy**, early algorit...
-
Article
Open AccessCorrection to: cuRnet: an R package for graph traversing on GPU
After publication of this supplement article [1], it was brought to our attention that reference 10 and reference 12 in the article are incorrect.
-
Article
Open AccesscuRnet: an R package for graph traversing on GPU
R has become the de-facto reference analysis environment in Bioinformatics. Plenty of tools are available as packages that extend the R functionality, and many of them target the analysis of biological network...
-
Article
Open AccessArena-Idb: a platform to build human non-coding RNA interaction networks
High throughput technologies have provided the scientific community an unprecedented opportunity for large-scale analysis of genomes. Non-coding RNAs (ncRNAs), for a long time believed to be non-functional, ar...
-
Chapter and Conference Paper
Efficient Load Balancing Techniques for Graph Traversal Applications on GPUs
Efficiently implementing a load balancing technique in graph traversal applications for GPUs is a critical task. It is a key feature of GPU applications as it can sensibly impact on the overall application per...
-
Chapter and Conference Paper
Parametric Multi-step Scheme for GPU-Accelerated Graph Decomposition into Strongly Connected Components
The problem of decomposing a directed graph into strongly connected components (SCCs) is a fundamental graph problem that is inherently present in many scientific and commercial applications. Clearly, there is...
-
Book
-
Chapter
Introduction
Smart Systems represent a broad class of systems defined as intelligent, miniaturized devices incorporating functionality like sensing, actuation, and control. In order to support these functions, they must in...
-
Article
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models
The recent trend towards system-level design gives rise to new challenges for reusing existing (RTL) intellectual properties (IPs) and their verification environment in (TLM). While techniques and tools to abs...
-
Chapter and Conference Paper
Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework
Model development and analysis of biological systems is recognized as a key requirement for integrating in-vitro and in-vivo experimental data. In-silico simulations of a biochemical model allows one to test d...
-
Article
On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation
The paper proposes an integrated methodology to abstract already existing heterogeneous IPs into SysML behavioral equivalent models. This approach aims at integrating the abstracted components with partially s...
-
Article
On the Reuse of TLM Mutation Analysis at RTL
Mutation analysis has gained consensus during the last decades as being an efficient technique for measuring the quality of SW testbench. More recently, it has been efficiently applied for validating testbench...
-
Article
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction
Functional verification techniques based on fault injection and simulation at register-transfer level (RTL) have been largely investigated in the past years. Although they have various advantages such as scala...
-
Article
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
SystemC is the de-facto standard language for system-level modeling, architectural exploration, performance analysis, software development, and functional verification of embedded systems. Nevertheless, it has...
-
Article
Open AccessHIFSuite: Tools for HDL Code Conversion and Manipulation
HIFSuite ia a set of tools and application programming interfaces (APIs) that provide support for modeling and verification of HW/SW systems. The core of HIFSuite is the HDL Intermediate Format (HIF) language ...
-
Chapter and Conference Paper
Hardware Design and Simulation for Verification
The development of more and more complex embedded systems constitutes a very challenging task for EDA experts, due to their HW/SW-mixed nature joint to the high demand for quality and reliability. Recently, bo...