المؤلفون: Pedersen, Jens E., Abreu, Steven, Jobst, Matthias, Lenz, Gregor, Fra, Vittorio, Bauer, Felix Christian, Muir, Dylan Richard, Zhou, Peng, Vogginger, Bernhard, Heckel, Kade, Urgese, Gianvito, Shankar, Sadasivan, Stewart, Terrence C., Sheik, Sadique, Eshraghian, Jason K.

المساهمون: Pedersen, Jens E., Abreu, Steven, Jobst, Matthia, Lenz, Gregor, Fra, Vittorio, Bauer, Felix Christian, Muir, Dylan Richard, Zhou, Peng, Vogginger, Bernhard, Heckel, Kade, Urgese, Gianvito, Shankar, Sadasivan, Stewart, Terrence C., Sheik, Sadique, Eshraghian, Jason K.

مصطلحات موضوعية: Neuromorphic computing, neuromorphic hardware, intermediate representation, spiking neural network

Relation: volume:15; issue:1; numberofpages:15; journal:NATURE COMMUNICATIONS; https://hdl.handle.net/11583/2992804

الاتاحة: https://hdl.handle.net/11583/2992804
https://doi.org/10.1038/s41467-024-52259-9
https://www.nature.com/articles/s41467-024-52259-9

المؤلفون: Torre Macías, Juan Carlos de la, Jareño Dorado, Javier, Aragón Jurado, José Miguel, Varrette, Sébastien, Dorronsoro Díaz, Bernabé

المساهمون: Ingeniería Informática

مصطلحات موضوعية: Source code obfuscation, LLVM, Intermediate representation, Genetic algorithms, Multi-objective optimization

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

Relation: info:eu-repo/grantAgreement/AEI//PID2022-137858OB-I00; info:eu-repo/grantAgreement/AEI//TED2021-131880B-I00; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-109465RB-I00/ES/SISTEMAS NEUROMORFICOS PARA VISION ARTIFICIAL/; info:eu-repo/grantAgreement/MICINN//FPU21%2F02026; http://hdl.handle.net/10498/32296; https://doi.org/10.1093/jigpal/jzae069

الاتاحة: http://hdl.handle.net/10498/32296
https://doi.org/10.1093/jigpal/jzae069

المؤلفون: Andersson, Måns

المساهمون: Markidis, Stefano, Podobas, Artur, Jansson, Niclas, 1983, Peng, Ivy Bo, Anzt, Hartwig

المصدر: TRITA-EECS-AVL.

مصطلحات موضوعية: Intermediate Representation, Discrete Fourier Transform, Fast Fourier Transform, Molecular Dynamics, Mellankod, diskret Fouriertransform, snabb Fouriertransform, Molekyldynamik

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-326223
https://kth.diva-portal.org/smash/get/diva2:1757930/FULLTEXT01.pdf

المؤلفون: Markus Wallerberger, Samuel Badr, Shintaro Hoshino, Sebastian Huber, Fumiya Kakizawa, Takashi Koretsune, Yuki Nagai, Kosuke Nogaki, Takuya Nomoto, Hitoshi Mori, Junya Otsuki, Soshun Ozaki, Thomas Plaikner, Rihito Sakurai, Constanze Vogel, Niklas Witt, Kazuyoshi Yoshimi, Hiroshi Shinaoka

المصدر: SoftwareX, Vol 21, Iss , Pp 101266- (2023)

مصطلحات موضوعية: Intermediate representation, Sparse sampling, Python, Julia, Fortran, Computer software, QA76.75-76.765

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711022001844; https://doaj.org/toc/2352-7110

URL الوصول: https://doaj.org/article/709ecf43622542c286f116b897d562fa

المؤلفون: Tianwei Lei, Jingfeng Xue, Yong Wang, Zhenyan Liu

المصدر: Electronics; Volume 12; Issue 14; Pages: 3067

مصطلحات موضوعية: cross-programming language, software vulnerability detection, source code vulnerability detection, combined features, intermediate representation

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

Relation: Computer Science & Engineering; https://dx.doi.org/10.3390/electronics12143067

الاتاحة: https://doi.org/10.3390/electronics12143067

المؤلفون: YU, SHIH-YUAN

مصطلحات موضوعية: Computer engineering, Cognitive Intelligence, Cyber-Physical System, Embedded System, Graph Learning, Intermediate Representation, Robustness

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

URL الوصول: https://escholarship.org/uc/item/95h5694g

المؤلفون: Kroll, Lars, 1989, Segeljakt, Klas, Schulte, Christian, Professor, 1967, Haridi, Seif, 1953, Carbone, P.

المصدر: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). :53-58

مصطلحات موضوعية: Data analytics, Intermediate representation, Stream processing

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-262617
https://doi.org/10.1145/3315507.3330199

المؤلفون: Mzid, Rania, Charfi, Asma, Nejmeddine, Etteyeb

المساهمون: University of Tunis El Manar, Département de Génie Électrique de Sfax ENIS (CEM Lab - ENIS), École Nationale d'Ingénieurs de Sfax, Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz

المصدر: MODELSWARD 2022- Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development ; MODELSWARD 2022 - 10th International Conference on Model-Driven Engineering and Software Development ; https://cea.hal.science/cea-04479779 ; MODELSWARD 2022 - 10th International Conference on Model-Driven Engineering and Software Development, Feb 2022, Online streaming, United States. pp.211-218 ; https://www.scitepress.org/ProceedingsDetails.aspx?ID=Dp5RIxfE8cM=&t=1

مصطلحات موضوعية: Model-Driven Engineering, Reverse-Engineering, Compiler Intermediate Representation, GCC, Gimple, Control Flow Graph, UML Activity Diagram, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Online streaming, United States

Relation: cea-04479779; https://cea.hal.science/cea-04479779; https://cea.hal.science/cea-04479779/document; https://cea.hal.science/cea-04479779/file/MODELSWARD_2022_18_CR.pdf

الاتاحة: https://cea.hal.science/cea-04479779
https://cea.hal.science/cea-04479779/document
https://cea.hal.science/cea-04479779/file/MODELSWARD_2022_18_CR.pdf

المؤلفون: Mirliaz, Solène, Pichardie, David

المساهمون: Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Facebook

المصدر: Lecture Notes in Computer Science ; 23rd International Conference Verification, Model Checking, and Abstract Interpretation (VMCAI 2022 ) ; https://hal.science/hal-04273047 ; 23rd International Conference Verification, Model Checking, and Abstract Interpretation (VMCAI 2022 ), Jan 2022, Philadelphia, United States. ⟨10.1007/978-3-030-94583-1_10⟩ ; https://link.springer.com/book/10.1007/978-3-030-94583-1

مصطلحات موضوعية: flow-insensitive analysis, numerical analysis, intermediate representation, sparse analysis, [INFO]Computer Science [cs]

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

Time: Philadelphia, United States

الاتاحة: https://hal.science/hal-04273047
https://hal.science/hal-04273047v1/document
https://hal.science/hal-04273047v1/file/Mirliaz-VMCAI22.pdf
https://doi.org/10.1007/978-3-030-94583-1_10

المؤلفون: Tehranijamsaz, Ali, Popov, Mihail, Dutta, Akash, Saillard, Emmanuelle, Jannesari, Ali

المساهمون: Iowa State University (ISU), STatic Optimizations, Runtime Methods (STORM), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), We would like to thank the Research IT team of Iowa State University for their continuous support in providing access to HPC clusters for conducting the experiments of this research project. Experiments presented in this paper were carried out using the experimental testbeds PlaFRIM, supported by Inria, CNRS (LABRI and IMB), Universite de Bordeaux, Bordeaux INP, Conseil Regional d’Aquitaine, and Grid’5000, supported by a scientific interest group hosted by Inria, CNRS, RENATER and several Universities as well as other organizations., Grid'5000

المصدر: IPDPS 2022 - 36th IEEE International Parallel & Distributed Processing Symposium ; https://hal.inria.fr/hal-03603118 ; IPDPS 2022 - 36th IEEE International Parallel & Distributed Processing Symposium, May 2022, Lyon / Virtual, France

مصطلحات موضوعية: OpenMP, NUMA, prefetching, graph neural networks, LLVM Intermediate Representation, [INFO]Computer Science [cs]

جغرافية الموضوع: Lyon / Virtual, France

Relation: hal-03603118; https://hal.inria.fr/hal-03603118; https://hal.inria.fr/hal-03603118/document; https://hal.inria.fr/hal-03603118/file/Learning_Intermediate_Representations_using_Graph_Neural_Networks_for_NUMA_and_Prefetchers_Optimization.pdf

الاتاحة: https://hal.inria.fr/hal-03603118
https://hal.inria.fr/hal-03603118/document
https://hal.inria.fr/hal-03603118/file/Learning_Intermediate_Representations_using_Graph_Neural_Networks_for_NUMA_and_Prefetchers_Optimization.pdf

المؤلفون: CHEN Hao, YI Ping

المصدر: 网络与信息安全学报, Vol 7, Iss 3, Pp 37-45 (2021)

مصطلحات موضوعية: vulnerability detection, graph neural network, control flow graph, intermediate representation, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://www.infocomm-journal.com/cjnis/CN/10.11959/j.issn.2096-109x.2021039; https://doaj.org/toc/2096-109X

URL الوصول: https://doaj.org/article/d3dbbaa66980477d84abd8fa4811db7d

المؤلفون: Thomas Lubinski, Cassandra Granade, Amos Anderson, Alan Geller, Martin Roetteler, Andrei Petrenko, Bettina Heim

المصدر: Frontiers in Physics, Vol 10 (2022)

مصطلحات موضوعية: quantum intermediate representation, quantum algorithm, hybrid quantum computing, hybrid quantum program, advanced quantum program, quantum-classical computation, Physics, QC1-999

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fphy.2022.940293/full; https://doaj.org/toc/2296-424X

URL الوصول: https://doaj.org/article/73098d953ecf4fbcaf0f48caa8d0d836

المؤلفون: XIONG Xiaobing, SHU Hui, KANG Fei

المصدر: 网络与信息安全学报, Vol 6, Iss 6, Pp 13-24 (2020)

مصطلحات موضوعية: software protection, diversification, fusion compilation, memory execution, llvm, intermediate representation, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://www.infocomm-journal.com/cjnis/CN/10.11959/j.issn.2096-109x.2020075; https://doaj.org/toc/2096-109X

URL الوصول: https://doaj.org/article/b8d259c17bc44e488482e0d054759dfd

المؤلفون: Naseh, David, Shinde, Swapnil Sadashiv, Tarchi, Daniele

المساهمون: Naseh, David, Shinde, Swapnil Sadashiv, Tarchi, Daniele

مصطلحات موضوعية: 6G mobile communication, Training, Computer aided instruction, Privacy, Accuracy, Distance learning, Transfer learning, Intelligent Transportation Systems, Distributed Learning, Federated Learning, Vehicular Networks, Roadside Units, Model Parameters, Deep Neural Network, Machine Learning Models, Local Data, Global Model, Internet Of Things, Heterogeneous Data, Privacy Protection, Updated Model, Pre-trained Network, Edge Computing, Collaborative Model, Forward Propagation, Central Server, Intermediate Representation, Federated Learning Framework, End Of Round, Train Machine Learning Models

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/979-8-3503-4499-8; info:eu-repo/semantics/altIdentifier/wos/WOS:001275093600132; ispartofbook:2024 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit); 2024 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit); firstpage:1; lastpage:6; numberofpages:6; serie:. EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS; https://hdl.handle.net/11585/975234; https://doi.org/10.1109/EuCNC/6GSummit60053.2024.10597130

الاتاحة: https://hdl.handle.net/11585/975234
https://doi.org/10.1109/eucnc/6gsummit60053.2024.10597130

المؤلفون: Meyer, Elijah L.

المصدر: Browse all Theses and Dissertations

مصطلحات موضوعية: Department of Computer Science and Engineering, Computer Science, neural network, long short term memory, natural language processing, architecture, ghidra, analysis, binary, similarity detection, keras, intermediate representation, ARM, x86, Computer Engineering, Computer Sciences, Engineering, Information Security, Physical Sciences and Mathematics

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

Relation: https://corescholar.libraries.wright.edu/etd_all/2588; https://corescholar.libraries.wright.edu/context/etd_all/article/3729/viewcontent/send.pdf

الاتاحة: https://corescholar.libraries.wright.edu/etd_all/2588
https://corescholar.libraries.wright.edu/context/etd_all/article/3729/viewcontent/send.pdf

المؤلفون: Hölscher, Nils, Hakert, Christian, Nassar, Hassan, Chen, Kuan-Hsun, Bauer, Lars, Chen, Jian-Jia, Henkel, Jörg

مصطلحات موضوعية: ddc:004, Bit rotation, Intermediate representation (IR), LLVM, Nonvolatile main memory, Wear leveling

Relation: IEEE transactions on computer-aided design of integrated circuits and systems;42(8); http://hdl.handle.net/2003/42131; http://dx.doi.org/10.17877/DE290R-23964

الاتاحة: http://hdl.handle.net/2003/42131
https://doi.org/10.17877/DE290R-23964

المؤلفون: Sebastien Cook, Paulo Garcia

المصدر: Computers; Volume 11; Issue 11; Pages: 164

مصطلحات موضوعية: graph-based programming, intermediate representation, parallelization

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

Relation: Internet of Things (IoT) and Industrial IoT; https://dx.doi.org/10.3390/computers11110164

الاتاحة: https://doi.org/10.3390/computers11110164

المؤلفون: Chelini, Lorenzo, Drebes, Andi, Zinenko, Oleksandr, Cohen, Albert, Vasilache, Nicolas, Grosser, Tobias, Corporaal, Henk

المساهمون: Eindhoven University of Technology Eindhoven (TU/e), Parallélisme de Kahn Synchrone ( Parkas), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Google Inc., University of Edinburgh (Edin.), The research of Lorenzo Chelini and Andi Drebes is partially supported by the European Commission Horizon2020 programme through the NeMeCo grant agreement, id.676240, and the MNEMOSENE grant agreement, id 780215. The research of Tobias Grosser is partially supported through the Swiss National Science Foundation under the Ambizione programme (grant PZ00P2168016) and ARM Ltd. and XilinxInc., in the context of Polly Labs., European Project: 676240,H2020,H2020-MSCA-ITN-2015,NeMeCo(2016)

المصدر: CGO 2021 : International Symposium on Code Generation and Optimization ; https://inria.hal.science/hal-03139764 ; CGO 2021 : International Symposium on Code Generation and Optimization, Feb 2021, Seoul / Virtual, South Korea

مصطلحات موضوعية: MLIR, Progressive raising, Multi-level intermediate representation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Seoul / Virtual, South Korea

Relation: info:eu-repo/grantAgreement//676240/EU/Near Memory Computing/NeMeCo; hal-03139764; https://inria.hal.science/hal-03139764; https://inria.hal.science/hal-03139764/document; https://inria.hal.science/hal-03139764/file/dd32563bc520e040f16d3ab1e369d6467ee2796e.pdf

الاتاحة: https://inria.hal.science/hal-03139764
https://inria.hal.science/hal-03139764/document
https://inria.hal.science/hal-03139764/file/dd32563bc520e040f16d3ab1e369d6467ee2796e.pdf

المؤلفون: Gobert, Camille, Beaudouin-Lafon, Michel

المساهمون: Extreme Situated Interaction - LISN (EX-SITU), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Interaction avec l'Humain (IaH), Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), European Project

المصدر: Actes de la 32ème Conférence Francophone sur l’Interaction Homme-Machine (IHM ’20'21) ; https://inria.hal.science/hal-03442898 ; Actes de la 32ème Conférence Francophone sur l’Interaction Homme-Machine (IHM ’20'21), Apr 2021, Virtual Event, France. 11 p., ⟨10.1145/3450522.3451325⟩

مصطلحات موضوعية: LaTeX, code editor, intermediate representation, éditeur de code, représentation intermédiaire, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]

جغرافية الموضوع: Virtual Event, France

Relation: hal-03442898; https://inria.hal.science/hal-03442898; https://inria.hal.science/hal-03442898/document; https://inria.hal.science/hal-03442898/file/ihm2021-ilatex.pdf

الاتاحة: https://inria.hal.science/hal-03442898
https://inria.hal.science/hal-03442898/document
https://inria.hal.science/hal-03442898/file/ihm2021-ilatex.pdf
https://doi.org/10.1145/3450522.3451325

المساهمون: Lethin, Richard [Reservoir Labs, Inc., New York, NY (United States)]

المصدر: Other Information: Optimizing the domain wall fermion Dirac operator using the R-Stream source-to-source compiler, Meifeng Lin, Eric Papenhausen, M. Harper Langston, Benoit Meister, Muthu Baskaran, Taku Izubuchi, Chulwoo Jung, Proceedings of the 33rd International Symposium on Lattice Field Theory, July 14 -18, 2015, Kobe, JapanJournal ref: PoS(LATTICE 2015)022http://arxiv.org/abs/1512.01542

وصف الملف: Medium: ED; Size: 138 p.

URL الوصول: http://www.osti.gov/scitech/servlets/purl/1252959