Search Results - acm: d.: software/d.3: programming languages/d.3.4: process/d.3.4.6: optimization

Refine Results
  1. 1

    Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

    Authors: Felgentreff, Tim Zendra, Olivier Oracle Labs et al.

    Contributors: Felgentreff, Tim Zendra, Olivier Oracle Labs et al.

    Source: 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018
    https://inria.hal.science/hal-02314731
    Tim Felgentreff
    Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ACM, 2018, 978-1-4503-5804-0
    https://dl.acm.org/citation.cfm?doid=3242947

    Subject Terms: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Subject Geographic: Amsterdam, Netherlands

    Availability: https://inria.hal.science/hal-02314731
    https://inria.hal.science/hal-02314731v1/document
    https://inria.hal.science/hal-02314731v1/file/frontmatter.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015, Prague, Czech Republic, July 6, 2015

    Authors: Morandat, Floréal Zendra, Olivier Laboratoire Bordelais de Recherche en Informatique (LaBRI) et al.

    Contributors: Morandat, Floréal Zendra, Olivier Laboratoire Bordelais de Recherche en Informatique (LaBRI) et al.

    Source: 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015
    https://inria.hal.science/hal-01546055
    Floréal Morandat
    Olivier Zendra. 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015, Jul 2015, Prague, Czech Republic. ACM, 2015, 978-1-4503-3657-4. ⟨10.1145/2843915⟩
    http://dl.acm.org/citation.cfm?doid=2843915

    Subject Terms: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Subject Geographic: Prague, Czech Republic

    Availability: https://inria.hal.science/hal-01546055
    https://doi.org/10.1145/2843915

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Proceedings of the 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Montpellier, France, July 2, 2013

    Authors: Zendra, Olivier Jul, Eric Inria Nancy - Grand Est et al.

    Contributors: Zendra, Olivier Jul, Eric Inria Nancy - Grand Est et al.

    Source: 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013
    https://inria.hal.science/hal-01546070
    Olivier Zendra
    Eric Jul. 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Jul 2013, Montpellier, France. ACM, 2013, 978-1-4503-2045-0. ⟨10.1145/2491404⟩
    http://doi.acm.org/10.1145/2491404

    Subject Terms: compilation, implementation, runtime, optimization, programming languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Subject Geographic: Montpellier, France

    Availability: https://inria.hal.science/hal-01546070
    https://doi.org/10.1145/2491404

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Blame and coercion: Together again for the first time.

    Authors: SIEK, JEREMY G. THIEMANN, PETER WADLER, PHILIP

    Source: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-56, 56p

    Subject Terms: PROGRAMMING languages, COMPUTER software correctness, BISIMULATION, MATHEMATICAL optimization, PROOF theory

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    Formal certification of a compiler back-end, or: programming a compiler with a proof assistant

    Authors: Leroy, Xavier Programming languages, types, compilation and proofs (GALLIUM) Inria Paris-Rocquencourt et al.

    Contributors: Leroy, Xavier Programming languages, types, compilation and proofs (GALLIUM) Inria Paris-Rocquencourt 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

    Availability: https://hal.inria.fr/inria-00000963
    https://hal.inria.fr/inria-00000963/document
    https://hal.inria.fr/inria-00000963/file/compiler-certif.pdf
    https://doi.org/10.1145/1111037.1111042

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    Gradual type theory.

    Authors: NEW, MAX S. LICATA, DANIEL R. AHMED, AMAL

    Source: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-139, 139p

    Subject Terms: PROGRAMMING language semantics, COMPUTER software development, MATHEMATICAL optimization, INFORMATION retrieval, DATA analysis

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    Sequential and Distributed SA-Type Algorithms for Energy Optimization in Embedded Systems

    Authors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Contributors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Source: IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering) ; https://inria.hal.science/inria-00541375 ; IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering), Dec 2010, Wuhan, China

    Subject Terms: memory management, optimization, simulated annealing, embedded systems, Distributed systems, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.9: Simulated annealing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Subject Geographic: Wuhan, China

    Availability: https://inria.hal.science/inria-00541375

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    Metropolis Particle Swarm Optimization Algorithm with Mutation Operator For Global Optimization Problems

    Authors: Idoumghar, Lhassane Idrissi Aouad, Maha Melkemi, Mahmoud et al.

    Contributors: Idoumghar, Lhassane Idrissi Aouad, Maha Melkemi, Mahmoud et al.

    Source: IEEE-ICTAI 2010 (22th International Conference on Tools with Articial Intelligence) ; https://inria.hal.science/inria-00524976 ; IEEE-ICTAI 2010 (22th International Conference on Tools with Articial Intelligence), Oct 2010, Arras, France. pp.35-42

    Subject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

    Subject Geographic: Arras, France

    Availability: https://inria.hal.science/inria-00524976

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    Program Optimization by Template Recognition and Replacement ; Optimisation de programmes par reconnaissance de templates

    Authors: Alias, Christophe Parallélisme, Réseaux, Systèmes, Modélisation (PRISM) Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS) et al.

    Contributors: Alias, Christophe Parallélisme, Réseaux, Systèmes, Modélisation (PRISM) Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS) et al.

    Source: https://theses.hal.science/tel-01892198 ; Calcul parallèle, distribué et partagé [cs.DC]. Université de Versailles Saint-Quentin-en-Yvelines, 2005. Français. ⟨NNT : ⟩.

    Subject Terms: Algorithm Recognition, High-Performance Libraries, Polyhedral Model, Source-to-Source Compiler, bibliothèques haute-performance, reconnaissance d'algorithmes, modèle polyédrique, Compilateur source-à-source, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.8: Software libraries, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, 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]

    Availability: https://theses.hal.science/tel-01892198
    https://theses.hal.science/tel-01892198v1/document
    https://theses.hal.science/tel-01892198v1/file/alias_thesis.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    Sequential and Distributed Hybrid GA-SA Algorithms for Energy Optimization in Embedded Systems

    Authors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Contributors: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René et al.

    Source: the IADIS International Conference Applied Computing 2010 ; https://inria.hal.science/inria-00524974 ; the IADIS International Conference Applied Computing 2010, Oct 2010, Timisoara, Romania. pp.167-174

    Subject Terms: genetic algorithms, simulated annealing, memory management, optimization, embedded systems, Distributed systems, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.9: Simulated annealing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Subject Geographic: Timisoara, Romania

    Availability: https://inria.hal.science/inria-00524974

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  11. 11

    A relational logic for higher-order programs.

    Authors: AGUIRRE, ALEJANDRO BARTHE, GILLES GABOARDI, MARCO et al.

    Source: Journal of Functional Programming; 2019, Vol. 29, p1-83, 83p

    Subject Terms: SUBROUTINES (Computer programs), COMPUTER software, COMPUTER programmers, SYNTAX in programming languages, NATURAL numbers

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  12. 12

    Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples.

    Authors: Bailis, Peter Alvaro, Peter Gulwani, Sumit

    Source: Communications of the ACM; Jul2017, Vol. 60 Issue 7, p46-49, 4p

    Subject Terms: COMPUTER science research, DISTRIBUTED computing, COMPUTER programming, DEBUGGING, MATHEMATICAL optimization, PROGRAMMING languages

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  13. 13

    Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation.

    Authors: SEWELL, PETER WOJCIECHOWSKI, PAWEŁ T. UNYAPOTH, ASIS

    Source: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p12-12.83, 63p, 7 Diagrams, 6 Charts

    Subject Terms: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  14. 14

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

    Authors: XIAOTONG ZHUANG PANDE, SANTOSH

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

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

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    A Tabu Search Heuristic for Scratch-Pad Memory Management

    Authors: Idrissi Aouad, Maha Schott, René Zendra, Olivier et al.

    Contributors: Idrissi Aouad, Maha Schott, René Zendra, Olivier et al.

    Source: ICSET 2010 - International Conference on Software Engineering and Technology ; https://inria.hal.science/inria-00491191 ; ICSET 2010 - International Conference on Software Engineering and Technology, WASET - World Academy of Science, Engineering and Technology, Apr 2010, Rome, Italy. pp.386-390 ; http://www.waset.org/journals/waset/v64.php

    Subject Terms: Tabu Search heuristic, Energy consumption, memory allocation management, optimization, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Subject Geographic: Rome, Italy

    Availability: https://inria.hal.science/inria-00491191

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    Papers from the Second ACM Symposium on Principles of Programming Languages.

    Authors: Harrison, M. A. Morris, Jr., J. H. Standish, T. A.

    Source: Communications of the ACM; Dec1975, Vol. 18 Issue 12, p675-675, 1p

    Subject Terms: CONFERENCES & conventions, PROGRAMMING languages, COMPUTER programming, ARTIFICIAL languages, TECHNICAL reports, SCIENTIFIC literature, INFORMATION theory, SEMINARS

    Company/Entity: ASSOCIATION for Computing Machinery

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  17. 17

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

    Authors: Hascoet, Laurent Pascual, Valérie Program transformations for scientific computing (SCIPORT) et al.

    Contributors: Hascoet, Laurent Pascual, Valérie Program transformations for scientific computing (SCIPORT) et al.

    Source: 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⟩.

    Subject Terms: 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

    Availability: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    Language design and analyzability: a retrospective.

    Authors: Ryder, Barbara G. Wiedermann, Ben

    Source: Software: Practice & Experience; Jan2012, Vol. 42 Issue 1, p3-18, 16p

    Subject Terms: PROGRAMMING languages, FORTRAN, ALGOL (Computer program language), JAVASCRIPT programming language

    Company/Entity: JOHN Wiley & Sons Ltd.

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    Divergence Analysis

    Authors: Sampaio, Diogo de Souza, Rafael, Martins Collange, Caroline et al.

    Contributors: Sampaio, Diogo de Souza, Rafael, Martins Collange, Caroline et al.

    Source: ISSN: 0164-0925.

    Subject Terms: 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]

    Availability: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  20. 20

    Genetic Heuristics for Reducing Memory Energy Consumption in Embedded Systems

    Authors: Idrissi Aouad, Maha Schott, René Zendra, Olivier et al.

    Contributors: Idrissi Aouad, Maha Schott, René Zendra, Olivier et al.

    Source: ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies ; https://inria.hal.science/inria-00516396 ; ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies, Jul 2010, Athens, Greece. pp.394-402

    Subject Terms: optimizations, memory allocation management, Genetic heuristics, Energy consumption reduction, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

    Subject Geographic: Athens, Greece

    Availability: https://inria.hal.science/inria-00516396

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: