Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets

Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:ICSOFT (16. : 2021 : Online) ICSOFT 2021
1. Verfasser: Mittal, Rakshit (VerfasserIn)
Weitere Verfasser: Banerjee, Rochishnu (VerfasserIn), Blouin, Dominique (VerfasserIn), Bandyopadhyay, Soumyadip (VerfasserIn)
Pages:2021
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
From representation to mediation: Modeling information systems in a digital world 2021 Becker, Jan
A Software Framework for Context-aware Secure Intelligent Applications of Distributed Systems 2021 Fkaier, Soumoud
A Model Driven Method to Design Educational Cyber Physical Systems 2021 Bachir, Samia
On Effects of Applying Predictive Caching for State Machines 2021 Akyüz, James Ryan Perry
A Holistic Methodology for Model-based Design of Mechatronic Systems in Digitized and Connected System Environments 2021 Liu-Henke, Xiaobo
Modern Code Reviews: Preliminary Results of an Analysis of the State of the Art with Respect to the Role Played by Human Factors 2021 Malikova, Aygul
Optimizing the Usability of User Interfaces based on Multi-objective Evolutionary Algorithms 2021 Hentati, Marwa
An Analysis of Gamification Elements for a Solving Proposal of Software Process Improvement Problems 2021 Soares, Elziane Monteiro
Context-aware and Ontology-based Recommender System for e-Tourism 2021 Castellanos, Gustavo
WLNI-LPA: Detecting Overlapping Communities in Attributed Networks based on Label Propagation Process 2021 Kouni, Imen Ben El
Decentralized Application for Rating Internet Resources 2021 Buterchi, Andreea
Genetic Programming based Constructive Algorithm with Penalty Function for Hardware/Software Cosynthesis of Embedded Systems 2021 Görski, Adam
Inclusion of User Behavior and Social Context Information in ML-based QoE Prediction 2021 Laiche, Fatima
Big Data integration 2021 Cudre-Mauroux, Philippe
A Meta-model for the Guideline Definition Language 2021 Grangel, Reyes
Designing Operational Safety Procedures for UAV According to NATO Architecture Framework 2021 Stecz, Wojciech
Detection of Security Vulnerabilities Induced by Integer Errors 2021 Kissi, Salim Yahia
Towards a Neural Network based Reliability Prediction Model via Bugs and Changes 2021 Serban, Camelia
IoT Fuzzing using AGAPIA and the River Framework 2021 Stäniloiu, Eduard
A Pragmatic View on Resolving Conflicts in Goal-oriented Requirements Engineering for Socio-technical Systems 2021 Gambo, Ishaya
Alle Artikel auflisten