المؤلفون: Kriouile, Abderahman, Serwe, Wendelin

المساهمون: Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Industrial contract with STMicroelectronics, ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS), Michael Dierkes and Charles Pecheur

المصدر: FMICS - 18th International Workshop on Formal Methods for Industrial Critical Systems ; https://inria.hal.science/hal-00858521 ; FMICS - 18th International Workshop on Formal Methods for Industrial Critical Systems, ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS), Sep 2013, Madrid, Spain. pp.108-122 ; http://www.springer.com/computer/swe/book/978-3-642-41009-3

مصطلحات موضوعية: hardware architecture, model checking, system level cache coherency, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.3: Performance Analysis and Design Aids/B.3.3.0: Formal models, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.4: Model Validation and Analysis, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

جغرافية الموضوع: Spain

Time: Madrid, Spain

الاتاحة: https://inria.hal.science/hal-00858521
https://inria.hal.science/hal-00858521v1/document
https://inria.hal.science/hal-00858521v1/file/FMICS_2013_final.pdf

المؤلفون: Eklund Sigleifs, Fabian, Häggström, Erik

مصطلحات موضوعية: GPU, Prefetching, Cache prefetching, Memory management, System level cache, SLC, LLC, Last Level Cache, GPU architecture, Graphics workloads, ARM GPU model, Adaptive Stream Detection, Best-offset prefetcher, Many-thread aware prefetcher, APOGEE prefetcher, Last-level collective cache prefetcher, GPU performance, GPU latency reduction, Energy efficiency in GPUs, External memory, Prefetching techniques, GPU cycle reduction, Technology and Engineering

وصف الملف: application/pdf

Relation: http://lup.lub.lu.se/student-papers/record/9159122

الاتاحة: http://lup.lub.lu.se/student-papers/record/9159122

المؤلفون: Kriouile, Abderahman

المساهمون: STMicroelectronics [Grenoble] (ST-GRENOBLE), Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université Grenoble Alpes, Radu Mateescu, Wendelin Serwe, Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)

المصدر: Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English. ⟨NNT : ⟩
Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English

مصطلحات موضوعية: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], CADP, System-Level Cache Coherency, Model-Based Testing, Explicit-State Model Checking, Functional Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Test Coverage, validation au niveau système, System-on-Chip, vérification fonctionnelle, System-Level Validation, vérification de modèles avec états explicits, génération de tests, Test Generation, cohérence de cache au niveau système, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Equivalence Checking, couverture de test, vérification d'equivalence, système sur puce

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::54d821086a12f140104d412f5312dfd8
https://inria.hal.science/tel-01258784

المؤلفون: Kriouile, Abderahman

المساهمون: STMicroelectronics [Grenoble] (ST-GRENOBLE), Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Université Grenoble Alpes, Radu Mateescu, Wendelin Serwe

المصدر: Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English

مصطلحات موضوعية: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], CADP, Model-Based Testing, System-Level Cache Coherency, Explicit-State Model Checking, Functional Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Test Coverage, validation au niveau système, System-on-Chip, vérification fonctionnelle, System-Level Validation, vérification de modèles avec états explicits, génération de tests, Test Generation, cohérence de cache au niveau système, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Equivalence Checking, couverture de test, vérification d'equivalence, système sur puce

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______212::54d821086a12f140104d412f5312dfd8
https://hal.inria.fr/tel-01258784v2/file/Abderahman_KRIOUILE_PhD_Thesis.pdf

المؤلفون: Kriouile, Abderahman

المساهمون: STMicroelectronics Grenoble (ST-GRENOBLE), Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université Grenoble Alpes, Radu Mateescu, Wendelin Serwe

المصدر: https://inria.hal.science/tel-01258784 ; Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English. ⟨NNT : ⟩.

مصطلحات موضوعية: System-Level Cache Coherency, Functional Verification, System-on-Chip, System-Level Validation, Explicit-State Model Checking, Equivalence Checking, Model-Based Testing, Test Coverage, Test Generation, vérification de modèles avec états explicits, cohérence de cache au niveau système, vérification fonctionnelle, système sur puce, validation au niveau système, CADP, vérification d'equivalence, couverture de test, génération de tests, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

الاتاحة: https://inria.hal.science/tel-01258784
https://inria.hal.science/tel-01258784v2/document
https://inria.hal.science/tel-01258784v2/file/Abderahman_KRIOUILE_PhD_Thesis.pdf