المؤلفون: Lesbre, Dorian, Lemerre, Matthieu

المساهمون: Laboratoire de Sûreté et de sécurité des Logiciels (LSL), 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-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, ANR-22-CE39-0014,EMASS,EMASS: Analyse Mémoire Efficace de Logiciel Système(2022)

المصدر: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-04535159 ; Proceedings of the ACM on Programming Languages, 2024, 8, pp.368-393 ; https://dl.acm.org/toc/pacmpl/2024/8/PLDI.

مصطلحات موضوعية: Compilers, Abstract Interpretation, Static Single Assignment, [INFO]Computer Science [cs]

Relation: hal-04535159; https://hal.science/hal-04535159; https://hal.science/hal-04535159v3/document; https://hal.science/hal-04535159v3/file/compiling-with-abstract-interpretation-with-appendices.pdf

الاتاحة: https://hal.science/hal-04535159
https://hal.science/hal-04535159v3/document
https://hal.science/hal-04535159v3/file/compiling-with-abstract-interpretation-with-appendices.pdf

المؤلفون: Lesbre, Dorian, Lemerre, Matthieu

المساهمون: Laboratoire Sûreté des Logiciels (LSL), 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-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, CEA LIST, ANR-22-CE39-0014,EMASS,EMASS: Analyse Mémoire Efficace de Logiciel Système(2022)

المصدر: https://hal.science/hal-04535159 ; CEA LIST. 2024.

مصطلحات موضوعية: Compilers, Abstract Interpretation, Static Single Assignment, [INFO]Computer Science [cs]

Relation: hal-04535159; https://hal.science/hal-04535159; https://hal.science/hal-04535159v2/document; https://hal.science/hal-04535159v2/file/compiling-with-abstract-interpretation-with-appendices.pdf

الاتاحة: https://hal.science/hal-04535159
https://hal.science/hal-04535159v2/document
https://hal.science/hal-04535159v2/file/compiling-with-abstract-interpretation-with-appendices.pdf

المؤلفون: Langdon, William, Al-Subaihin, Afnan, Blot, Aymeric, Clark, David

المساهمون: University College of London London (UCL), Laboratoire d'Informatique Signal et Image de la Côte d'Opale (LISIC), Université du Littoral Côte d'Opale (ULCO), Pappa, Gisele, Giacobini, Mario, Vasicek, Zdenek

المصدر: Genetic Programming : 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings ; 26th European Conference on Genetic Programming (EuroGP) ; https://hal.science/hal-04215737 ; 26th European Conference on Genetic Programming (EuroGP), Apr 2023, Brno, Czech Republic. pp.244-259, ⟨10.1007/978-3-031-29573-7_16⟩ ; https://www.evostar.org/2023/eurogp/

مصطلحات موضوعية: Genetic programming (GP), linear representation, Clang, static single assignment (SSA), mutational robustness, SBSE, software resilience, automatic code optimisation, world wide location, plus codes, zip code, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

جغرافية الموضوع: Brno, Czech Republic

Relation: hal-04215737; https://hal.science/hal-04215737; https://hal.science/hal-04215737/document; https://hal.science/hal-04215737/file/langdon_eurogp_2023.pdf

الاتاحة: https://hal.science/hal-04215737
https://hal.science/hal-04215737/document
https://hal.science/hal-04215737/file/langdon_eurogp_2023.pdf
https://doi.org/10.1007/978-3-031-29573-7_16

المؤلفون: Lemerre, Matthieu

المساهمون: Laboratoire Sûreté des Logiciels (LSL), 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-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, ANR-22-CE39-0014,EMASS,EMASS: Analyse Mémoire Efficace de Logiciel Système(2022)

المصدر: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://cea.hal.science/cea-03849637 ; Proceedings of the ACM on Programming Languages, 2023, POPL 2023 - the 50th ACM SIGPLAN Symposium on Principles of Programming Languages, 7, pp.65. ⟨10.1145/3571258⟩ ; https://dl.acm.org/journal/pacmpl.

مصطلحات موضوعية: CCS Concepts: • Software and its engineering → Compilers, Formal software verification, • Theory of computation → Program analysis, Program verification, Abstraction, Equational logic and rewriting Static Single Assignment (SSA), Abstract interpretation, Cyclic term graph, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: cea-03849637; https://cea.hal.science/cea-03849637; https://cea.hal.science/cea-03849637v2/document; https://cea.hal.science/cea-03849637v2/file/2023-popl-full-with-appendices%20%281%29.pdf

الاتاحة: https://cea.hal.science/cea-03849637
https://cea.hal.science/cea-03849637v2/document
https://cea.hal.science/cea-03849637v2/file/2023-popl-full-with-appendices%20%281%29.pdf
https://doi.org/10.1145/3571258

المؤلفون: Langdon, WB, Al-Subaihin, A, Blot, A, Clark, D

المصدر: In: European Conference on Genetic Programming (Part of EvoStar). (pp. pp. 244-259). Springer Nature (2023)

مصطلحات موضوعية: Genetic programming, GP, linear representation, Clang, static single assignment (SSA), mutational robustness, SBSE, software resilience, automatic code optimisation, world wide location, plus codes, zip code

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10168843/1/langdon_2023_EuroGP.pdf; https://discovery.ucl.ac.uk/id/eprint/10168843/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10168843/1/langdon_2023_EuroGP.pdf
https://discovery.ucl.ac.uk/id/eprint/10168843/

المؤلفون: Quiroga Álvarez, José

Thesis Advisors: Ortín Soler, Francisco, Informática, Departamento de

مصطلحات موضوعية: Dynamic typing, Runtime performance, Optimization, Hybrid dynamic and static typing, Dynamic Language Runtime, Static Single Assignment, SSA Form, Multiple dispatch, Multi-method, Union types, Reflection, StaDyn, .Net

URL الوصول: http://hdl.handle.net/10651/38325

المؤلفون: Belo Lourenco, Claudio, Frade, M. J., Pinto, Jorge Sousa

المساهمون: Universidade do Minho

مصطلحات موضوعية: bounded verification, deductive verification, hoare logic, loop encoding, single assignment programs, Science & Technology

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

Relation: 9781728133737; 2380-873X; https://ieeexplore.ieee.org/document/8807603

الاتاحة: http://hdl.handle.net/1822/66206

المؤلفون: Traben, Oliver

مصطلحات موضوعية: Computer Science, GSA, Gated Single Assignment, Statistical Fault Localization, Causal Inference, Confounding Bias, Static Single Assignment, SSA

الاتاحة: http://rave.ohiolink.edu/etdc/view?acc_num=case1682002405858857

المؤلفون: Bruneau, Nicolas, Christen, Charles, Danger, Jean-Luc, Facon, Adrien, Guilley, Sylvain

المساهمون: Secure-IC S.A.S, Institut Mines-Télécom Paris (IMT), Springer, European Project: 779882,Teamplay

المصدر: Algebra, Codes and Cryptology (A2C) ; https://hal-cnrs.archives-ouvertes.fr/hal-02915643 ; Springer. Algebra, Codes and Cryptology (A2C), pp.129-148, 2019, ⟨10.1007/978-3-030-36237-9_8⟩

مصطلحات موضوعية: Cryptographic code, compilation, intermediate representa- tion (IR), static single assignment (SSA), side-channel analysis, masking protection, compositional countermeasure, formal analysis, optimal side- channel attacks, Taylor expansion of distinguishers, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Relation: info:eu-repo/grantAgreement//779882/EU/Time, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms/Teamplay; hal-02915643; https://hal-cnrs.archives-ouvertes.fr/hal-02915643; https://hal-cnrs.archives-ouvertes.fr/hal-02915643/document; https://hal-cnrs.archives-ouvertes.fr/hal-02915643/file/19_A2C_masking_attack.pdf

الاتاحة: https://hal-cnrs.archives-ouvertes.fr/hal-02915643
https://hal-cnrs.archives-ouvertes.fr/hal-02915643/document
https://hal-cnrs.archives-ouvertes.fr/hal-02915643/file/19_A2C_masking_attack.pdf
https://doi.org/10.1007/978-3-030-36237-9_8

المؤلفون: Matthieu Lemerre

المساهمون: Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), 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-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, ANR-22-CE39-0014,EMASS,EMASS: Analyse Mémoire Efficace de Logiciel Système(2022)

المصدر: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2023, POPL 2023-the 50th ACM SIGPLAN Symposium on Principles of Programming Languages, 7, pp.65. ⟨10.1145/3571258⟩

مصطلحات موضوعية: Cyclic term graph, Equational logic and rewriting Static Single Assignment (SSA), CCS Concepts: • Software and its engineering → Compilers, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Program verification, Abstract interpretation, • Theory of computation → Program analysis, Formal software verification, Safety, Risk, Reliability and Quality, Abstraction, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d25252df24128dbf8538b88b3a8b2e7c
https://cea.hal.science/cea-03849637/document

المؤلفون: Cruz, Daniela da, Frade, M. J., Pinto, Jorge Sousa

المساهمون: Universidade do Minho

مصطلحات موضوعية: Program verification, Deductive verification, Single-assignment form, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática, Ciências Naturais::Ciências da Computação e da Informação

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

Relation: 978-145-030-857-1; The original publication is available at http://dl.acm.org

الاتاحة: http://hdl.handle.net/1822/30966

المؤلفون: Lourenço, Cláudio Filipe Belo Silva, Lamraoui, Si-Mohamed, Nakajima, Shin, Pinto, Jorge Sousa

مصطلحات موضوعية: Verification Conditions, LLVM, Single-assignment form, Software verification, Bounded verification, Single-assignment, Ciências Naturais::Ciências da Computação e da Informação

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

Relation: info:eu-repo/grantAgreement/FCT/5876/147326/PT; C.B.Lourenço, S.Lamraoui, S.Nakajima,and J.S.Pinto. Studying Verification Conditions for Imperative Programs. In G. Grov and A. Ire- land, editors, Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVOCS’15), volume 72 of Electronic Communications of the EASST, 2015. European Association of Software Science and Technology.; http://hdl.handle.net/1822/50793

الاتاحة: http://hdl.handle.net/1822/50793
https://doi.org/10.14279/tuj.eceasst.72.1011

المؤلفون: Damien Couroussé, Karine Heydemann, Inès Ben El Ouahma, Quentin L. Meunier, Nicolas Belleville

المساهمون: Laboratoire Fonctions Innovantes pour circuits Mixtes (LFIM), Université Grenoble Alpes (UGA)-Département Systèmes et Circuits Intégrés Numériques (DSCIN), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), 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)-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Architecture et Logiciels pour Systèmes Embarqués sur Puce (ALSOC), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-15-CE39-0008,PROSECCO,Génération de code sécurisé avec des protections formellement prouvées(2015), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2020, 39 (11), pp.1-1. ⟨10.1109/TCAD.2020.3012237⟩
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020, 39 (11), pp.1-1. ⟨10.1109/TCAD.2020.3012237⟩

مصطلحات موضوعية: Polynomial, Speedup, Static single assignment form, Computer science, Computation, 02 engineering and technology, Parallel computing, computer.software_genre, Computer Graphics and Computer-Aided Design, 020202 computer hardware & architecture, Polynomial interpolation, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Multiplication, Compiler, Electrical and Electronic Engineering, Machine code, computer, Formal verification, Software, Interpolation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb57415ed572f6e0cdadfb6a2a703488
https://doi.org/10.1109/tcad.2020.3012237

المؤلفون: Cortinhal, M. J., Lopes, M. J., Melo, M. T.

مصطلحات موضوعية: ddc:650, supply chain network design, facility location, supplier selection, in-house production, product outsourcing, transportation mode selection, single-assignment, mixed-integer linear programming

Relation: Series: Schriftenreihe Logistik der Fakultät für Wirtschaftswissenschaften der htw saar; No. 15; gbv-ppn:1029231613; http://hdl.handle.net/10419/181867; RePEc:zbw:htwlog:15

الاتاحة: http://hdl.handle.net/10419/181867

المؤلفون: Wittich, Stephan Sebastian

مصطلحات موضوعية: prime contractor, coordination, konstruktive Leistungsbeschreibung, single assignment, award, Auftragnehmer, Koordinierung, Einzelgewerk, Vergabe, contractor, stakeholders, employer, interfaces, funktionale Leistungsbeschreibung, Federal Procurement, joint venture, Bundesvergabegesetz, Örtliche Bauaufsicht, puplic private partnerships, Auftraggeber, Einzelvergabe, Generalplaner, Projektbeteiligte, general planer, Schnittstellen, Generalunternehmer, site inspection, Schwellenbereich, öffentlich private Partnerschaft, prime contractor awarding, structural specification, Arbeitsgemeinschaft, functional specification, claim management, individual trade, Generalunternehmer-Vergabe, threshold range, Forderungsmanagement

وصف الملف: 407 Seiten; text/html

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_____10650::069a07c57746254bc60f139593805d15

المؤلفون: Brandner, Florian, Novillo, Diego

المساهمون: Autonomic and Critical Embedded Systems (ACES), Laboratoire Traitement et Communication de l'Information (LTCI), Institut Mines-Télécom Paris (IMT)-Télécom Paris-Institut Mines-Télécom Paris (IMT)-Télécom Paris, Département Informatique et Réseaux (INFRES), Télécom ParisTech, Google Toronto

المصدر: SSA-based Compiler Design ; https://telecom-paris.hal.science/hal-04341913 ; SSA-based Compiler Design, Springer International Publishing, pp.95-106, 2021, 978-3-030-80514-2. ⟨10.1007/978-3-030-80515-9_8⟩

مصطلحات موضوعية: Static Single Assignment Form, Static Analysis, SSA Graph, Constant Propagation, Sparce Data-Flow Analysis, Copy propagation, Meet over all path (MOP), Sparse evaluation graph (SEG), Single-entry/single-exit region (SESE), Compact evaluation graph (CEG), [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: hal-04341913; https://telecom-paris.hal.science/hal-04341913

الاتاحة: https://telecom-paris.hal.science/hal-04341913
https://doi.org/10.1007/978-3-030-80515-9_8

المؤلفون: Wittich, Stephan Sebastian

مصطلحات موضوعية: Arbeitsgemeinschaft, Auftraggeber, Auftragnehmer, Bundesvergabegesetz, Einzelgewerk, Einzelvergabe, Forderungsmanagement, funktionale Leistungsbeschreibung, Generalplaner, Generalunternehmer, Generalunternehmer-Vergabe, konstruktive Leistungsbeschreibung, Koordinierung, öffentlich private Partnerschaft, Örtliche Bauaufsicht, Projektbeteiligte, Schnittstellen, Schwellenbereich, Vergabe, joint venture, employer, contractor, Federal Procurement, individual trade, single assignment, claim management, functional specification, general planer, prime contractor, prime contractor awarding

جغرافية الموضوع: FCW:BG:BB, vls-obvfcwoa-1303711

وصف الملف: 407 Seiten; text/html

Relation: vignette : https://pub.fh-campuswien.ac.at/titlepage/urn/urn:nbn:at:at-fhcw:1-78984/128; urn:nbn:at:at-fhcw:1-78984; https://resolver.obvsg.at/urn:nbn:at:at-fhcw:1-78984; local:99146960840003331; system:AC16652055

الاتاحة: https://resolver.obvsg.at/urn:nbn:at:at-fhcw:1-78984

المؤلفون: Rodolfo Bonnin, Anna Virani, Sarah E. Stumbar

المصدر: PRiMER

مصطلحات موضوعية: medicine.medical_specialty, Linear relationship, Family medicine, education, medicine, Regression analysis, Faculty development, Research Brief, Grading (education), Psychology, Single assignment, Performance results, Reliability (statistics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03fb4df57e67f48ac8ab03913e565919
https://doi.org/10.22454/primer.2021.915080

المؤلفون: Pop, Sebastian, Jouvelot, Pierre, Silber, George André

المساهمون: Advanced Micro Devices Austin (AMD), Centre de Recherche en Informatique (CRI), Mines Paris - PSL (École nationale supérieure des mines de Paris), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)

المصدر: Workshop Static Single-Assignment Form Seminar, ; https://minesparis-psl.hal.science/hal-00915979 ; Workshop Static Single-Assignment Form Seminar,, Apr 2009, Autrans, France

مصطلحات موضوعية: static single assignment, SSA, RAM model, partial recursive functions theory, program slicing, [INFO.COMP]Computer Science [cs]/domain_info.comp

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

Relation: hal-00915979; https://minesparis-psl.hal.science/hal-00915979; https://minesparis-psl.hal.science/hal-00915979/document; https://minesparis-psl.hal.science/hal-00915979/file/E-285.pdf

الاتاحة: https://minesparis-psl.hal.science/hal-00915979
https://minesparis-psl.hal.science/hal-00915979/document
https://minesparis-psl.hal.science/hal-00915979/file/E-285.pdf

المؤلفون: Khaled Suwais, Abdalla Wasef Marashdih, Zarul Fitri Zaaba

المصدر: Applied Sciences, Vol 11, Iss 5384, p 5384 (2021)
Applied Sciences
Volume 11
Issue 12

مصطلحات موضوعية: Technology, Source code, Computer science, QH301-705.5, media_common.quotation_subject, QC1-999, detection, 02 engineering and technology, Symbolic execution, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, Biology (General), SSA, Instrumentation, feasible paths, QD1-999, media_common, Fluid Flow and Transfer Processes, Static single assignment form, Process Chemistry and Technology, Physics, General Engineering, 020207 software engineering, Static analysis, Solver, Engineering (General). Civil engineering (General), Computer Science Applications, Chemistry, Test case, static analysis, Path (graph theory), 020201 artificial intelligence & image processing, TA1-2040, Abstract syntax tree, Algorithm, symbolic execution

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f53f02fd04c4324c53253d7e1a3e1800
https://www.mdpi.com/2076-3417/11/12/5384