Électronique et Électrotechnique: Recent submissions

Voici les éléments 101-120 de 1123

Model Checking Software with First Order Logic Specifications Using AIG Solvers

Noureddine, Mohammad A.; Zaraket, Fadi A. (Institute of electrical and electronics engineers, 2016)
A Survey on Software Fault Localization

Wong, W. Eric; Gao, Ruizhi; Li, Yihao; Abreu, Rui; Wotawa, Franz (Institute of electrical and electronics engineers, 2016)
Variability Analysis of Requirements : Considering Behavioral Differences and Reflecting Stakeholders’ Perspectives

Itzik, Nili; Reinhartz-Berger, Iris; Wand, Yair (Institute of electrical and electronics engineers, 2016)
Dynamic Software Project Scheduling through a Proactive-Rescheduling Method

Shen, Xiaoning; Minku, Leandro L.; Bahsoon, Rami; Yao, Xin (Institute of electrical and electronics engineers, 2016)
Designing Autonomic Management Systems by Using Reactive Control Techniques

Berthier, Nicolas; Rutten, Eric; De Palma, Noël; Gueye, Soguy Mak-Karé (Institute of electrical and electronics engineers, 2016)
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters

Su, Guoxin; Feng, Yuan; Chen, Taolue; Rosenblum, David S. (Institute of electrical and electronics engineers, 2016)
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors

Huang, Chung-Hao; Peled, Doron A.; Schewe, Sven; Wang, Farn (Institute of electrical and electronics engineers, 2016)
Program Characterization Using Runtime Values and Its Application to Software Plagiarism Detection

Jhi, Yoon-Chan; Jia, Xiaoqi; Wang, Xinran; Zhu, Sencun; Liu, Peng (Institute of electrical and electronics engineers, 2015)
Practical Combinatorial Interaction Testing : Empirical Findings on Efficiency and Early Fault Detection

Petke, Justyna; Cohen, Myra B.; Harman, Mark; Yoo, Shin (Institute of electrical and electronics engineers, 2015)
Amélioration de la stabilité dynamique des grands réseaux multi-machines synchrones virtuelles

Tebib, Abdenour (2021-07-03)
Contribution à la conception d'un système d'assistance aux personnes handicapées ou agéess

Djelal, Nacereddine (2022-07-07)

La plupart des personnes âgées ou handicapées veulent vivre dans leur maison et espèrent que les dernières générations de robots intelligents pourront les y aider en leurs procurant une aide dans la réalisation de leurs ...
Implémentation sur FPGA d'un système intelligent pour la surveillance de l'état de santé des patients souffrant d'arythmie cardiaque

Meddah, Karim (2021-10-09)
Système inertiel de stockage d’énergie associé à un générateur éolien

Hocine, Leila (2021-09-25)
Système de collecte de données par lecteur RFID embarqué sur un mobile

Hadj Mihoub, Sidi Moussa, El Hachemi (2021-07-14)
Application de la fusion multi-classifieur à la détection de locuteurs dans les conversations audio

Kenai, Ouassila (2021-11-16)
Commande robuste d’un drone hélicoptère

Guendouzi, Awatif (2021-10-13)
Identifying Renaming Opportunities by Expanding Conducted Rename Refactorings

Liu, Hui; Liu, Qiurong; Liu, Yang (Institute of electrical and electronics engineers, 2015)
COVERT : Compositional Analysis of Android Inter-App Permission Leakage

Bagheri, Hamid; Sadeghi, Alireza; Garcia, Joshua; Malek, Sam (Institute of electrical and electronics engineers, 2015)
Cina : Suppressing the Detection of Unstable Context Inconsistency

Xu, Chang; Xi, Wang; Cheung, S.C.; Ma, Xiaoxing; Cao, Chun (Institute of electrical and electronics engineers, 2015)
Where Do Configuration Constraints Stem From? : An Extraction Approach and an Empirical Study

Nadi, Sarah; Berger, Thorsten; Kastner, Christian; Czarnecki, Krzysztof (Institute of electrical and electronics engineers, 2015)

Recently added

Électronique et Électrotechnique: Recent submissions

Chercher dans le dépôt

Parcourir

Tout DSpace

Cette communauté

Mon compte