A comprehensive exploration of languages for parallel computing

F Ciccozzi, L Addazi, SA Asadollah, B Lisper… - ACM Computing …, 2022 - dl.acm.org
Software-intensive systems in most domains, from autonomous vehicles to health, are
becoming predominantly parallel to efficiently manage large amount of data in short (even …

Model-based requirements and properties specifications trends for early design verification of embedded systems

M Rashid, MW Anwar, F Azam… - 2016 11th System of …, 2016 - ieeexplore.ieee.org
Model Based System Engineering (MBSE) has shown promising results for early design
verification of embedded systems. It requires to specify system properties/constraints at …

A model-driven framework for design and verification of embedded systems through SystemVerilog

MW Anwar, M Rashid, F Azam, M Kashif… - Design Automation for …, 2019 - Springer
The demands of system complexity and design productivity for embedded systems can be
managed by simplifying and reusing the design. Furthermore, these systems should be …

A model-driven framework for guided design space exploration

Á Hegedüs, Á Horváth, D Varró - Automated Software Engineering, 2015 - Springer
Abstract Design space exploration (DSE) aims at searching through various models
representing different design candidates to support activities like configuration design of …

Multi-objective optimization in rule-based design space exploration

H Abdeen, D Varró, H Sahraoui, AS Nagy… - Proceedings of the 29th …, 2014 - dl.acm.org
Design space exploration (DSE) aims to find optimal design candidates of a domain with
respect to different objectives where design candidates are constrained by complex …

Water management in agriculture: a survey on current challenges and technological solutions

A Saad, A Gamatié - IEEE Access, 2020 - ieeexplore.ieee.org
Water plays a crucial role in the agricultural field for food production and raising livestock.
Given the current trends in world population growth, the urgent food demand that must be …

A unified model-based framework for the simplified execution of static and dynamic assertion-based verification

MW Anwar, M Rashid, F Azam, A Naeem… - IEEE …, 2020 - ieeexplore.ieee.org
The improved productivity and reduced time-to-market are essential requirements for the
development of modern embedded systems and, therefore, the comprehensive as well as …

Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog

MW Anwar, M Rashid, F Azam, M Kashif - Design Automation for …, 2017 - Springer
Abstract Model Based System Engineering (MBSE) is a renowned approach in the context of
embedded systems development. It is frequently used to deal with the structural and …

Extending Jupyter with Multi-Paradigm Editors

T Weber, J Ehe, S Mayer - Proceedings of the ACM on Human-Computer …, 2024 - dl.acm.org
Computational notebooks like the Jupyter programming environment have been popular,
particularly for developing data-driven applications. One of its main benefits is that it easily …

Design of Low‐Power Structural FIR Filter Using Data‐Driven Clock Gating and Multibit Flip‐Flops

L Touil, A Hamdi, I Gassoumi… - Journal of Electrical and …, 2020 - Wiley Online Library
Optimization for power is one of the most important design objectives in modern digital
signal processing (DSP) applications. The digital finite duration impulse response (FIR) filter …