Search Results - [INFO:INFO_SE] Computer Science/Software Engineering
-
1
Authors: Passerat-Palmbach, Jonathan
Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Pseudorandom Number Generation (PRNG), High Performance Computing (HPC), Software Engineering, Stochastic Simulation, Graphics Processing Units (GPUs), GPU Programming, Automatic Parallelization
-
2
Authors: Le Nhan, Tam
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, ingénierie dirigée par les modèles, modélisation de caractère, approvisionnement des images, Cloud Computing
-
3
Authors: CHIPRIANOV, Vanea
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, Computer Science, Computer Engineering, Software Engineering, Telecommunications service, Model Driven Engineering, Domain Specific Modeling Language, Enterprise Architecture, Collaboration, Design Rationale
-
4
Authors: Dumitrescu, Cosmin
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Ingénierie Système à Base des Modèles, reutilisation, Ingénierie des Lignes de Produits
-
5
Authors: Cabot, Jordi
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, formal verification, model-driven engineering, constraint programming
-
6
Authors: Cherif, Sana
Subject Terms: [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [SPI:SIGNAL] Engineering Sciences/Signal and Image processing, [SPI:SIGNAL] Sciences de l'ingénieur/Traitement du signal et de l'image, [INFO:INFO_TS] Computer Science/Signal and Image Processing, [INFO:INFO_TS] Informatique/Traitement du signal et de l'image, UML MARTE, Modélisation haut-niveau, Ingénierie Dirigée par les Modèles, Flot de conception, Reconfiguration dynamique partielle, FPGA
-
7
Authors: Bennes, Lionel
Subject Terms: [INFO:INFO_HC] Computer Science/Human-Computer Interaction, [INFO:INFO_HC] Informatique/Interface homme-machine, [INFO:INFO_IA] Computer Science/Computer Aided Engineering, [INFO:INFO_IA] Informatique/Ingénierie assistée par ordinateur, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [SPI] Engineering Sciences, [SPI] Sciences de l'ingénieur, Méthodologie de Développement Logiciel, Réalité Virtuelle, Acceptabilité, Utilité, Utilisabilité, Conception concourante
-
8
Authors: Conversy, Stéphane
Subject Terms: [INFO:INFO_HC] Computer Science/Human-Computer Interaction, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_PL] Computer Science/Programming Languages, Informatics, Controlled Transformations, Human-Computer Interaction, Software Engineering, Programming Languages
-
9
Authors: Ngô, Van Chan
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Formal verification, Translation validation, Validated Compiler, Synchronous Programs, Polychronous Models, Embedded systems, Safety-critical systems, Deadlock detection, Compilation, Polychrony, Dependency graphs, SMT solving, Value-graphs, Graph rewriting
-
10
Authors: Ngo, Van Chan
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Vérification formelle, Validation de la traduction, Compilateur validé, Programmes synchrones, Modèles polychrones, Systèmes embarqués, Systèmes critiques, Détection des blocages, Compilation, Polychrony, Graphiques de dépendance, SMT solving, Valeur-graphiques, Graphique réécriture
-
11
Authors: Dan, Yufang
Subject Terms: [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Dynamique SOA, OSGi, Larva, Surveillance de l'exécution, Références rassis, Substitution, Logiciel d'auto-guérison
-
12
Authors: Noureddine, Adel
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, énergie, mesure, estimation, logiciel, application, code source
-
13
Authors: GOLRA, Fahad Rafique
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Process Modeling, Software Development, Metamodels, Model Driven Architecture, Process Refinement
-
14
Subject Terms: [SPI:ELEC] Engineering Sciences/Electromagnetism, [SPI:ELEC] Sciences de l'ingénieur/Electromagnétisme, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, IDM, UML, MARTE, Transformation de Modéles, Génération Automatique de Code, GPGPU, OpenCL, Simulation Numérique, Machines Électriques
-
15
Authors: Plsek, Ales
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_NI] Computer Science/Networking and Telecommunication, composant, système embarqué, RTSJ, temps-réel mou, Java
-
16
Authors: Réveillère, Laurent
Subject Terms: [INFO:INFO_OS] Computer Science/Operating Systems, [INFO:INFO_OS] Informatique/Système d'exploitation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, systèmes distribués, langage métiers, génie logiciel
-
17
-
18
Authors: Papoulias, Nikolaos
Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Débogage à distance, Reflexion, Miroirs, Interactivité, Instrumentation, Distribution, Sécurité, Développement Agile
-
19
Authors: Sannier, Nicolas
Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_IR] Computer Science/Information Retrieval, [INFO:INFO_IR] Informatique/Recherche d'information, Ingénierie des exigences, exigences réglementaires, ingénierie dirigée par les modèles, recherche d'information, traçabilité
-
20
Authors: Galland, Stéphane
Subject Terms: [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_MA] Computer Science/Multiagent Systems, [INFO:INFO_MA] Informatique/Système multi-agents, Systèmes multiagents, Simulation, Méthodologie, Approche organisationnelle, Holon, Univers virtuel
Nájsť tento článok vo Web of Science