Výsledky vyhledávání - ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors

Register allocation by graph coloring under full live-range splitting

Autoři: Blazy, Sandrine Robillard, Benoît Programming languages, types, compilation and proofs (GALLIUM) a další

Přispěvatelé: Blazy, Sandrine Robillard, Benoît Programming languages, types, compilation and proofs (GALLIUM) a další

Zdroj: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded systems (LCTES'2009) ; https://inria.hal.science/inria-00387749 ; ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded systems (LCTES'2009), ACM, Jun 2009, Dublin, Ireland

Témata: register allocation, coalescing, graph reduction, ACM: D.: Software, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Dublin, Ireland

Dostupnost: https://inria.hal.science/inria-00387749
https://inria.hal.science/inria-00387749v1/document
https://inria.hal.science/inria-00387749v1/file/LCTES09.pdf

Proceedings of the ACM Programming Languages and Pragmatics Conference.

Autoři: Forsythe, George E.

Zdroj: Communications of the ACM; Mar1966, Vol. 9 Issue 3, p137-138, 2p

Témata: CONFERENCES & conventions, COMPUTER software, PROGRAMMING languages, PRAGMATICS, COMMITTEES

Identifying Query Incompatibilities with Evolving XML Schemas

Autoři: Genevès, Pierre Layaïda, Nabil Quint, Vincent a další

Přispěvatelé: Genevès, Pierre Layaïda, Nabil Quint, Vincent a další

Zdroj: Proceedings of the 2009 ACM SIGPLAN International Conference on Functional Programming ; ICFP'09 ; https://inria.hal.science/inria-00423058 ; ICFP'09, Aug 2009, Edinburgh, United Kingdom. pp.221-230, ⟨10.1145/1596550.1596583⟩

Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web

Geografické téma: Edinburgh, United Kingdom

Dostupnost: https://inria.hal.science/inria-00423058
https://inria.hal.science/inria-00423058/document
https://inria.hal.science/inria-00423058/file/types-evolution.pdf
https://doi.org/10.1145/1596550.1596583

The Tapenade Automatic Differentiation tool: principles, model, and specification

Autoři: Hascoet, Laurent Pascual, Valérie Program transformations for scientific computing (SCIPORT) a další

Přispěvatelé: Hascoet, Laurent Pascual, Valérie Program transformations for scientific computing (SCIPORT) a další

Zdroj: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/hal-00913983 ; ACM Transactions on Mathematical Software, 2013, 39 (3), ⟨10.1145/2450153.2450158⟩.

Témata: Adjoint compiler, Source transformation, Algorithmic Differentiation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.4: Quadrature and Numerical Differentiation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.2: Automatic Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Dostupnost: https://inria.hal.science/hal-00913983
https://inria.hal.science/hal-00913983v1/document
https://inria.hal.science/hal-00913983v1/file/tapenadeRefV2.pdf
https://doi.org/10.1145/2450153.2450158

Divergence Analysis

Autoři: Sampaio, Diogo de Souza, Rafael, Martins Collange, Caroline a další

Přispěvatelé: Sampaio, Diogo de Souza, Rafael, Martins Collange, Caroline a další

Zdroj: ISSN: 0164-0925.

Témata: affine vector, scalarization, Static program analysis, divergence analysis, SIMD, graphics processing units, register allocation, scalarizing compiler, D34 [Software]: Programming Languages General Terms: Languages, Design, Algorithms, Performance Additional Key Words and Phrases: Static program analysis, high performance, 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: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.2: Multiple Data Stream Architectures (Multiprocessors)/C.1.2.7: Single-instruction-stream, multiple-data-stream processors (SIMD), [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

Dostupnost: https://inria.hal.science/hal-00909072
https://inria.hal.science/hal-00909072v3/document
https://inria.hal.science/hal-00909072v3/file/Sampaio_DivergenceAnalysis_TOPLAS14.pdf
https://doi.org/10.1145/2523815

On Model-Driven Engineering to implement a Component Assembly Compiler for High Performance Computing

Autoři: Bigot, Julien Pérez, Christian Algorithms and Scheduling for Distributed Heterogeneous Platforms (GRAAL) a další

Přispěvatelé: Bigot, Julien Pérez, Christian Algorithms and Scheduling for Distributed Heterogeneous Platforms (GRAAL) a další

Zdroj: Journées sur l'Ingénierie Dirigée par les Modèles, IDM 2011 ; https://inria.hal.science/inria-00606511 ; Journées sur l'Ingénierie Dirigée par les Modèles, IDM 2011, Jun 2011, Lille, France

Témata: Software Components, High-Performance Computing, Model Transformation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Lille, France

Dostupnost: https://inria.hal.science/inria-00606511
https://inria.hal.science/inria-00606511v1/document
https://inria.hal.science/inria-00606511v1/file/jbigot-cperez-IDM2011.pdf

Function Call Re-Vectorization

Autoři: Moreira, Rubens, E A Collange, Caroline Pereira, Fernando, Magno Quintão a další

Přispěvatelé: Moreira, Rubens, E A Collange, Caroline Pereira, Fernando, Magno Quintão a další

Zdroj: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) ; https://hal.science/hal-01410186 ; ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Feb 2017, Austin, Texas, United States. ⟨10.1145/3018743.3018751⟩

Témata: Compilers, SIMD, SIMT, Function, Programmability, D -Software [D.3 Programming Languages]: D.3.4 Processors -Compilers General Terms Languages, Performance SIMD, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Austin, Texas, United States

Dostupnost: https://hal.science/hal-01410186
https://hal.science/hal-01410186v1/document
https://hal.science/hal-01410186v1/file/Moreira_CallRevectorization_PPoPP17%20%281%29.pdf
https://doi.org/10.1145/3018743.3018751

Implicitly threaded parallelism in Manticore.

Autoři: FLUET, MATTHEW RAINEY, MIKE REPPY, JOHN a další

Zdroj: Journal of Functional Programming; Nov2010, Vol. 20 Issue 5/6, p537-576, 40p

Témata: PARALLEL processing, PARALLEL computers, PROGRAMMING languages, MULTICORE processors, MATHEMATICAL functions, COMPILERS (Computer programs)

Combining Functional and Imperative Programming for Multicore Software: An Empirical Study Evaluating Scala and Java.

Autoři: Pankratius, Victor Schmidt, Felix Garretón, Gilda

Zdroj: ICSE: International Conference on Software Engineering; Feb2012, p123-133, 11p

Témata: COMPUTER programming, PROGRAMMING languages, JAVA programming language, COMPUTER software development, MULTICORE processors, SOFTWARE engineering, ELECTRONIC data processing

Author manuscript, published in '40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages- POPL'13 (2013) (2013)' Fully Abstract Compilation to JavaScript

Autoři: Cédric Fournet Nikhil Swamy Juan Chen a další

Přispěvatelé: Cédric Fournet Nikhil Swamy Juan Chen a další

Zdroj: http://hal.inria.fr/docs/00/78/08/03/PDF/js-star-popl-2013.pdf.

Témata: Categories and Subject Descriptors D.2.4 [Software / Program Verification, Validation, D.3.4 [Processors, Compilers, D.4.6 [Operating Systems, Security and Protection—Verification. Keywords Program equivalence, full abstraction, refinement types

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.3674

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.3674
http://hal.inria.fr/docs/00/78/08/03/PDF/js-star-popl-2013.pdf

An Optimization Framework for Embedded Processors with Auto-Addressing Mode.

Autoři: XIAOTONG ZHUANG PANDE, SANTOSH

Zdroj: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p11-11.41, 41p, 10 Diagrams, 8 Charts, 9 Graphs

Témata: EMBEDDED computer systems, SERVICE-oriented architecture (Computer science), DIGITAL signal processing, PROGRAMMING languages, COMPUTER programming, COMPUTER software

Two Languages for Estimating Program Efficiency.

Autoři: Standish, T. A. Cohen, Jacques Zuckerman, Carl

Zdroj: Communications of the ACM; Jun74, Vol. 17 Issue 6, p301-308, 8p, 4 Diagrams, 3 Charts, 4 Graphs

Témata: COMPUTER software, ALGOL (Computer program language), PROGRAMMING languages, COMPUTATIONAL linguistics, COMMANDS (Logic), ARRAY processors, ALGORITHMS

Intermediate Representations for Explicitly Parallel Programs.

Autoři: SUSUNGI, ADILLA TADONKI, CLAUDE

Zdroj: ACM Computing Surveys; Jun2022, Vol. 54 Issue 5, p1-24, 24p

Témata: PROGRAMMING languages, MULTICORE processors, PARALLEL programming, COMPILERS (Computer programs)

Computing Without Processors.

Zdroj: Communications of the ACM; Aug2011, Vol. 54 Issue 8, p46-54, 9p, 1 Color Photograph, 11 Diagrams, 1 Graph

Témata: COMPUTER programming, SYSTEMS development, COMPUTER multitasking, COMPUTER software, PROGRAMMING languages

Korporace: MICROSOFT Corp.

Scheduling Parallel Programs by Work Stealing with Private Deques

Autoři: Acar, Umut, A. Charguéraud, Arthur Rainey, Mike a další

Přispěvatelé: Acar, Umut, A. Charguéraud, Arthur Rainey, Mike a další

Zdroj: PPOPP - 18th ACM SIGPLAN symposium on Principles and practice of parallel programming ; https://inria.hal.science/hal-00863028 ; PPOPP - 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, Feb 2013, Shenzhen, China. pp.219-228

Témata: Work stealing, Nested parallelism, Dynamic load balancing, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Shenzhen, China

Dostupnost: https://inria.hal.science/hal-00863028
https://inria.hal.science/hal-00863028v1/document
https://inria.hal.science/hal-00863028v1/file/full.pdf

A Base for a Mobile Programming System.

Autoři: Orgass, Richard J. Waite, William M.

Zdroj: Communications of the ACM; Sep69, Vol. 12 Issue 9, p507-510, 4p, 3 Diagrams

Témata: MACRO processors, ASSEMBLING (Electronic computers), MACROPROGRAMMING, COMPUTER programming, PROGRAMMING languages, COMPUTER software

Minimal Unroll Factor for Code Generation of Software Pipelining

Autoři: Bachir, Mounira Touati, Sid Frédéric, Brault a další

Přispěvatelé: Bachir, Mounira Touati, Sid Frédéric, Brault a další

Zdroj: ISSN: 0885-7458.

Témata: Periodic register allocation, Software pipelining, Code generation, Instruction level parallelism, Embedded systems, Compilation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, 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.6: Optimization, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Dostupnost: https://inria.hal.science/hal-00764521
https://inria.hal.science/hal-00764521v1/document
https://inria.hal.science/hal-00764521v1/file/mainSubmitMinPPCMJounal.pdf
https://doi.org/10.1007/s10766-012-0203-z

Over 400 Requests Received for ACM's DETAB/65 Preprocessor.

Zdroj: Communications of the ACM; Feb1966, Vol. 9 Issue 2, p125-125, 1/3p

Témata: MACRO processors, MACROPROGRAMMING, COBOL (Computer program language), PROGRAMMING languages, ASSOCIATIONS, institutions, etc., COMPILING (Electronic computers), COMPUTER programming, COMPUTER software

Korporace: ASSOCIATION for Computing Machinery

Halide: Decoupling Algorithms from Schedules for High-Performance Image Processing.

Autoři: Ragan-Kelley, Jonathan Adams, Andrew Sharlet, Dillon a další

Zdroj: Communications of the ACM; Jan2018, Vol. 61 Issue 1, p106-115, 10p, 3 Diagrams, 1 Graph

Témata: MATHEMATICAL decoupling, ALGORITHMS, IMAGE processing, COMPUTER scheduling, HIGH performance processors, COMPUTER vision, PROGRAMMING languages, COMPUTATIONAL photography, MATHEMATICS

Compiler Mitigations for Time Attacks on Modern x86 Processors

Autoři: Jeroen Van Cleemput Bart Coppens Bjorn De Sutter a další

Přispěvatelé: Jeroen Van Cleemput Bart Coppens Bjorn De Sutter a další

Zdroj: http://users.elis.ugent.be/~brdsutte/research/publications/2012TACOvancleemput.pdf.

Témata: Categories and Subject Descriptors, D.2.0 [Software Engineering, General—Protection mechanisms, D.3.4 [Programming Languages, Processors—Code generation, compilers, optimization General Terms, Experimentation, Measurement, Security Additional Key Words and Phrases, Time-based side channels, x86 architecture, variable latency instructions ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.7302; http://users.elis.ugent.be/~brdsutte/research/publications/2012TACOvancleemput.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.7302
http://users.elis.ugent.be/~brdsutte/research/publications/2012TACOvancleemput.pdf