Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleNovember 2023
Automatic Generation of Micro-kernels for Performance Portability of Matrix Multiplication on RISC-V Vector Processors
SC-W '23: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and AnalysisPages 1523–1532https://doi.org/10.1145/3624062.3624229In this paper, we propose and evaluate several optimized implementations of the general matrix multiplication (gemm) on two different RISC-V architecture cores implementing the RISC-V vector extension (RVV): C906 and C910 from T-HEAD. Specifically, we ...
- research-articleFebruary 2024
Analysis and Comparison of Automatic Code Generation and Transformation Techniques on Low-Code Platforms
ICSED '23: Proceedings of the 2023 5th International Conference on Software Engineering and DevelopmentPages 17–27https://doi.org/10.1145/3637792.3637795The low-code approach is an important area of research being developed to improve the rapid creation and performance of software applications. This approach allows developers and users to easily create software applications through an interactive ...
- ArticleJune 2022
Designer Interface for a Class of Wearable Computer Applications
Human-Computer Interaction. Theoretical Approaches and Design MethodsPages 197–210https://doi.org/10.1007/978-3-031-05311-5_13AbstractWearable computing systems are a large and important new class of embedded systems. Within this broad class is an important subclass, namely those systems which monitor various signals, both within the body and external to the body, and possibly ...
- research-articleMay 2022
Sense, Transform & Send for the Internet of Things (STS4IoT): UML profile for data-centric IoT applications
- Julian Eduardo Plazas,
- Sandro Bimonte,
- Michel Schneider,
- Christophe de Vaulx,
- Pietro Battistoni,
- Monica Sebillo,
- Juan Carlos Corrales
Data & Knowledge Engineering (DAKE), Volume 139, Issue Chttps://doi.org/10.1016/j.datak.2021.101971AbstractThe Internet of Things is currently one of the most representative sources of Big Data. It can acquire real-time data from multiple spatially distributed points, allowing for the extraction of valuable insights. However, an appropriate ...
- research-articleMay 2022
Threat modelling for industrial cyber physical systems in the era of smart manufacturing
Computers in Industry (CIIN), Volume 137, Issue Chttps://doi.org/10.1016/j.compind.2022.103611AbstractCyber security risks are considered to be one of the foremost challenges that face organisations intending to leverage the benefits of the Smart Manufacturing paradigm. Due to the rising number of cyber-attacks that target critical ...
Highlights- End-to-end cyber threat modelling methodology for ICPS in smart manufacturing.
- ...
-
- research-articleApril 2022
A novel approach with an extensive case study and experiment for automatic code generation from the XMI schema Of UML models
The Journal of Supercomputing (JSCO), Volume 78, Issue 6Pages 7677–7699https://doi.org/10.1007/s11227-021-04164-xAbstractSoftware models at different levels of abstraction and from different perspectives contribute to the creation of compilable code in the implementation phase of the SDLC. Traditionally, the development of the code is a human-intensive act and prone ...
- research-articleMarch 2022
Auto implementation of parallel hardware architecture for Aho-Corasick algorithm
Design Automation for Embedded Systems (DAES), Volume 26, Issue 1Pages 29–53https://doi.org/10.1007/s10617-021-09257-7AbstractPattern matching using Aho-Corasick (AC) algorithm is the most time-consuming task in an Intrusion Detection System, and therefore, the Field Programmable Gate Array (FPGA) based solutions are frequently employed. In this context, the two ...
- ArticleJuly 2021
User Interface for Vehicle Theft Recovery System
HCI in Mobility, Transport, and Automotive SystemsPages 56–72https://doi.org/10.1007/978-3-030-78358-7_4AbstractWe present a proposal for a generic vehicle anti-theft system. The system has two parts – a platform located in the protected object and a user interface on a user’s phone or computer. A specific system is described in an XML fie, which is made by ...
- ArticleSeptember 2020
CDRGen: A Clinical Data Registry Generator (Formal and/or Technical Paper)
Heterogeneous Data Management, Polystores, and Analytics for HealthcarePages 188–204https://doi.org/10.1007/978-3-030-71055-2_15AbstractIn the health sector, data analysis is typically performed by specialty using clinical data stored in a Clinical Data Registry (CDR), specific to that medical specialty. Therefore, if we want to analyze data from a new specialty, it is necessary ...
- research-articleJune 2020
Generating educational mobile applications using UIDPs identified by artificial intelligence techniques
- Laura Nely Sánchez-Morales,
- Giner Alor-Hernández,
- Viviana Yarel Rosales-Morales,
- Cesar Augusto Cortes-Camarillo,
- José Luis Sánchez-Cervantes
Computer Standards & Interfaces (CSAI), Volume 70, Issue Chttps://doi.org/10.1016/j.csi.2019.103407Highlights- A new process for developing educational mobile applications is proposed.
- Our ...
Commercial mobile devices vary in brand, size, and functionalities, but they all allow people to interact with educational applications. In software engineering, application development techniques, approaches, methodologies, and ...
- research-articleJanuary 2020
The Metric for Automatic Code Generation
Procedia Computer Science (PROCS), Volume 166, Issue CPages 279–286https://doi.org/10.1016/j.procs.2020.02.099AbstractAt present, there are a lot of researches on the metric about static source code. However, there are few studies about automatic code generation. Based on the quality and efficiency of automatic code generation, this paper proposes the metric ...
- ArticleOctober 2019
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B
Formal Methods. FM 2019 International WorkshopsPages 19–29https://doi.org/10.1007/978-3-030-54994-7_3AbstractThe guarded atomic action model of Event-B allows it to be applied to a range of systems including sequential, concurrent and distributed systems. However, the lack of explicit sequential structures in Event-B makes the task of sequential code ...
- research-articleJune 2019
Optimization of the energy consumption of industrial robots for automatic code generation
Robotics and Computer-Integrated Manufacturing (RCIM), Volume 57, Issue CPages 452–464https://doi.org/10.1016/j.rcim.2018.12.020Highlights- An in-depth review of the state-of-the-art concerning eco-design and eco-programming methods in industrial robotics;
At present, energy consumption strongly affects the financial payback period of industrial robots, as well as the related manufacturing process sustainability. Henceforth, during both design and manufacturing management stages, it ...
- research-articleMay 2019
A new benchmark for evaluating pattern mining methods based on the automatic generation of testbeds
Information and Software Technology (INST), Volume 109, Issue CPages 60–79https://doi.org/10.1016/j.infsof.2019.01.007Highlights- A new benchmark to evaluate the pattern mining methods in the source code or design.
Mining patterns is one of the most attractive topics in the field of software design. Knowledge about the number, type, and location of pattern instances is crucial to understand the original design decisions. ...
- ArticleFebruary 2018
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Financial Cryptography and Data SecurityPages 523–540https://doi.org/10.1007/978-3-662-58387-6_28AbstractThe adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad range of ...
- articleFebruary 2018
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
Software and Systems Modeling (SoSyM) (SPSSM), Volume 17, Issue 1Pages 11–33https://doi.org/10.1007/s10270-016-0534-0This paper presents the MDE process in use at Elettronica SpA (ELT) for the development of complex embedded systems integrating software and firmware. The process is based on the adoption of SysML as the system-level modeling language and the use of ...
- articleMarch 2017
Synthesis of simulation and implementation code for OpenMAX multimedia heterogeneous systems from UML/MARTE models
Multimedia Tools and Applications (MTAA), Volume 76, Issue 6Pages 8195–8226https://doi.org/10.1007/s11042-016-3448-5The design of multimedia systems is becoming a more and more challenging task due to the combination of growing functionalities and strict performance requirements along with reduced time-to-market. In this context, the OpenMAX initiative defines a ...
- articleNovember 2015
A simple way to improved formulation of $$\hbox {FE}^2$$FE2 analysis
Computational Mechanics (SPCM), Volume 56, Issue 5Pages 905–915https://doi.org/10.1007/s00466-015-1208-4A new formulation of two-scale $$\hbox {FE}^2$$FE2 analysis introduces symmetric stretch tensor as strain measure on macro level instead of asymmetric deformation gradient to determine boundary conditions on embedded microstructure. This significantly ...
- ArticleSeptember 2015
Multigrain Parallelization for Model-Based Design Applications Using the OSCAR Compiler
LCPC 2015: Revised Selected Papers of the 28th International Workshop on Languages and Compilers for Parallel Computing - Volume 9519Pages 125–139https://doi.org/10.1007/978-3-319-29778-1_8Model-based design is a very popular software development method for developing a wide variety of embedded applications such as automotive systems, aircraft systems, and medical systems. Model-based design tools like MATLAB/Simulink typically allow ...
- ArticleAugust 2015
Integrating Task Migration Capability in Software Tool-Chain for Data-Flow Applications Mapped on Multi-tiled Architectures
DSD '15: Proceedings of the 2015 Euromicro Conference on Digital System DesignPages 33–40https://doi.org/10.1109/DSD.2015.64Fully distributed memory multi-processor systems-on-chip MPSoCs implemented in a multi-tiled architecture provide promising platforms to support parallel data-flow application. Tiles are connected by network-on-chip NoC, each contains a core with ...