Search Results - acm: d.: software/d.3: programming languages/d.3.4: (processes* OR process*)
-
1
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-04358187 ; RR-9534, INRIA Lyon; CNRS; ENS de Lyon; Université de Lyon. 2023, pp.16.
Subject Terms: Code optimization, Sparse code, Specialization, JEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C61 - Optimization Techniques • Programming Models • Dynamic Analysis, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
-
2
Authors: et al.
Contributors: et al.
Source: PPoPP 2017 - 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming ; https://inria.hal.science/hal-01653823 ; PPoPP 2017 - 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2017, Austin, United States. pp.327 - 340, ⟨10.1145/3018743.3018771⟩
Subject Terms: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [CHIM.CHEM]Chemical Sciences/Cheminformatics, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Subject Geographic: Austin, United States
-
3
Authors: et al.
Contributors: et al.
Source: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation ; PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation ; https://inria.hal.science/hal-01512286 ; PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain ; http://pldi17.sigplan.og
Subject Terms: Interactive Theorem Proving (Coq), Verified Compilation, Synchronous Languages (Lustre), ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Spain
Time: Barcelone, Spain
-
4
Authors: et al.
Contributors: et al.
Source: DATE 2018 - IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition ; https://hal.science/hal-01653110 ; DATE 2018 - IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition, Mar 2018, Dresden, Germany. pp.1009-1014, ⟨10.23919/DATE.2018.8342160⟩ ; https://www.date-conference.com
Subject Terms: ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.3: Other Architecture Styles/C.1.3.5: Heterogeneous (hybrid) systems, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.3: Other Architecture Styles/C.1.3.0: Adaptable architectures, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.2: Multiple Data Stream Architectures (Multiprocessors)/C.1.2.4: Multiple-instruction-stream, multiple-data-stream processors (MIMD), ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
5
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/hal-03482055 ; [Research Report] RR-9442, Inria; Waseda University. 2021, pp.20.
Subject Terms: Compilation, array contraction, polyhedral model, dynamic analysis, contraction de tableaux, modèle polyédrique, analyse dynamique, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
6
Authors: et al.
Contributors: et al.
Source: 21th ACM International Conference on Functional Programming (ICFP)
International Conference on Functional Programming (ICFP)
https://inria.hal.science/hal-01350936
International Conference on Functional Programming (ICFP), ACM, Sep 2016, Nara, Japan. pp.12, ⟨10.1145/2951913.2951916⟩Subject Terms: Functional Programming, Web Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.4: Design languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.10: Run-time environments, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
-
7
Authors: et al.
Contributors: et al.
Source: CGO 2018 - International Symposium on Code Generation and Optimization ; https://hal.science/hal-01655951 ; CGO 2018 - International Symposium on Code Generation and Optimization, Feb 2018, Vienna, Austria. pp.1-12, ⟨10.1145/3168822⟩
Subject Terms: Quantum computing, Quantum technologies, Algorithm design techniques, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
8
Authors: et al.
Contributors: et al.
Source: CC'18 - 27th International Conference on Compiler Construction ; https://inria.hal.science/hal-01751823 ; CC'18 - 27th International Conference on Compiler Construction, Feb 2018, Vienna, Austria. ⟨10.1145/3178372.3179507⟩
Subject Terms: Polyhedral model, Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: info:eu-repo/grantAgreement//671610/EU/EuroLab-4-HPC: Foundations of a European Research Center of Excellence in High Performance Computing Systems/EuroLab-4-HPC
-
9
Authors: et al.
Contributors: et al.
Source: ICS 2017 - International Conference on Supercomputing ; https://inria.hal.science/hal-01653819 ; ICS 2017 - International Conference on Supercomputing, Jun 2017, Chicago, United States. pp.1-11, ⟨10.1145/3079079.3079098⟩
Subject Terms: Quantifier Elimination, Loop optimization, Polynomials, Polyhedral Transformation, May-alias, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.3: Incremental compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.7: Nonlinear programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
Subject Geographic: Chicago, United States
-
10
Authors: et al.
Contributors: et al.
Source: IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition (DATE) ; https://inria.hal.science/hal-01423639 ; IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2017, Lausanne, Switzerland ; https://www.date-conference.com/
Subject Terms: ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.3: Other Architecture Styles/C.1.3.5: Heterogeneous (hybrid) systems, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.3: Other Architecture Styles/C.1.3.0: Adaptable architectures, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.2: Multiple Data Stream Architectures (Multiprocessors)/C.1.2.4: Multiple-instruction-stream, multiple-data-stream processors (MIMD), ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Subject Geographic: Lausanne, Switzerland
-
11
Authors: et al.
Contributors: et al.
Source: GPCE '09: Proceedings of the 8th international conference on Generative programming and component engineering ; https://hal.inria.fr/inria-00405819 ; GPCE '09: Proceedings of the 8th international conference on Generative programming and component engineering, Oct 2009, Denver, CO, United States. pp.137-146
Subject Terms: design, languages, pervasive computing, generative programming, DSL, diaspec, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.1: Domain-specific architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.3: Languages (e.g., description, interconnection, definition), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.4: Patterns (e.g., client/server, pipeline, blackboard), ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.9: Retargetable compilers, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Subject Geographic: Denver, CO, United States
Relation: inria-00405819; https://hal.inria.fr/inria-00405819; https://hal.inria.fr/inria-00405819v2/document; https://hal.inria.fr/inria-00405819v2/file/gpce42-cassou.pdf
-
12
Authors: et al.
Contributors: et al.
Source: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation ; https://inria.hal.science/hal-01141135 ; Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2015, Portland, OR, USA, France. ⟨10.1145/2737924.2737963⟩
Subject Terms: Meta-tracing, Reflection, Virtual Machines, Metaprogramming, Metaobject Protocols, Proxies, Partial Evaluation, Just-in-Time Compilation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
13
Authors: et al.
Contributors: et al.
Source: Higher-Order and Symbolic Computation. 20:237-255
Subject Terms: program transformation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Krivine machine, Functional Programming, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, compilation, 0202 electrical engineering, electronic engineering, information engineering, abstract machines, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.1: Applicative (Functional) Programming, functional language implementations
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Source: 33rd Symposium Principles of Programming Languages (POPL 2006)
https://hal.inria.fr/inria-00000963
33rd Symposium Principles of Programming Languages (POPL 2006), Jan 2006, Charleston, SC, United States. pp.42--54, ⟨10.1145/1111037.1111042⟩Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.6: Reliability, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Charleston, SC, United States
Relation: inria-00000963; https://hal.inria.fr/inria-00000963; https://hal.inria.fr/inria-00000963/document; https://hal.inria.fr/inria-00000963/file/compiler-certif.pdf
-
15
Authors: et al.
Contributors: et al.
Source: CC 2016 - 25th International Conference on Compiler Construction ; CC'2016 25th International Conference on Compiler Construction ; https://inria.hal.science/hal-01271998 ; CC'2016 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain ; http://cc2016.eew.technion.ac.il/
Subject Terms: Compilation, Dependence Analysis, Loop Transformations, Polyhedral Model, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Subject Geographic: Spain
Time: Barcelone, Spain
-
16
Authors: et al.
Contributors: et al.
Source: Proceedings of the 26th ACM symposium on Parallelism in algorithms and architectures. :296-306
Subject Terms: FOS: Computer and information sciences, ACM: B.: Hardware/B.4: INPUT/OUTPUT AND DATA COMMUNICATIONS/B.4.4: Performance Analysis and Design Aids, Computational DAG, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.0: Complexity measures, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], red-blue pebble game, parallel architectures, 0102 computer and information sciences, [INFO] Computer Science [cs], data movement, 01 natural sciences, I/O lower bound, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, Computer Science - Distributed, Parallel, and Cluster Computing, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, Computer Science - Data Structures and Algorithms, I/O complexity, Data Structures and Algorithms (cs.DS), Distributed, Parallel, and Cluster Computing (cs.DC)
File Description: application/pdf
Access URL: http://arxiv.org/pdf/1404.4767
http://arxiv.org/abs/1404.4767
https://inria.hal.science/hal-00980580v1
https://inria.hal.science/hal-00980580v1/document
https://dblp.uni-trier.de/db/journals/corr/corr1404.html#ElangoRPRS14
https://arxiv.org/abs/1404.4767
https://hal.inria.fr/hal-00980580/document
https://dl.acm .org/citation.cfm?id=2612694
https://ui.adsabs.harvard.edu/abs/2014arXiv1404.4767E/abstract -
17
Authors: et al.
Contributors: et al.
Source: AWeS '15 ; https://hal.science/hal-01132776 ; AWeS '15, Apr 2015, Bordeaux, France
Subject Terms: Javascript, Web, Flow programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
18
Authors: et al.
Contributors: et al.
Source: ISSN: 1544-3566.
Subject Terms: Direct manipulation, Polyhedral model, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI), ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
19
Authors: et al.
Contributors: et al.
Source: Symposium on Principles and Practice of Parallel Programming / WPMVP ; https://inria.hal.science/hal-01094906 ; Symposium on Principles and Practice of Parallel Programming / WPMVP, Feb 2014, Orlando, Florida, United States. pp.8, ⟨10.1145/2568058.2568067⟩ ; https://sites.google.com/site/ppopp2014/
Subject Terms: Intel SSE & XeonPhi, SIMD, High Level Transforms, ARM Neon, IBM Altivec, code optimization, 2D stencil, low-level computer vision and image processing algorithms, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.1: Single Data Stream Architectures, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION/I.4.7: Feature Measurement, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], [SPI.AUTO]Engineering Sciences [physics]/Automatic, [SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Subject Geographic: Orlando, Florida, United States
-
20
Authors: et al.
Contributors: et al.
Source: Annual Conference on Privacy, Security and Trust ; https://inria.hal.science/hal-01382971 ; Annual Conference on Privacy, Security and Trust, Dec 2016, Auckland, New Zealand ; http://pst2016.unitec.ac.nz/
Subject Terms: Software diversity, jit, Security Enforcement, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Subject Geographic: Auckland, New Zealand
Nájsť tento článok vo Web of Science