Search Results - program java programs optimality array https

1

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
View full text

Electronic eBook

2

MATLAB Programming for Numerical Analysis

by Lopez, Cesar., Lopez, Cesar.
Published 2014

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

3

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

4

The Definitive Guide to GCC

by von Hagen, William., von Hagen, William.
Published 2006

Table of Contents: “... Java Compiler -- Optimizing Code with GCC -- Analyzing Code Produced with GCC Compilers -- Using...”
View full text

Electronic eBook

5

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”
View full text

Electronic eBook

6

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Published 2013

Table of Contents: “... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...”
View full text

Electronic eBook

7

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...”
View full text

Electronic eBook

8

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”
View full text

Electronic eBook

9

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Published 2005

Table of Contents: “... Optimization of Codes Based on Arrays of Pointers -- An Empirical Study on the Granularity of Pointer Analysis...”
View full text

Electronic eBook

10

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
View full text

Electronic eBook

11

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Published 2014

Table of Contents: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
View full text

Electronic eBook

12

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March...

Published 2007

Table of Contents: “... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”
View full text

Electronic eBook

13

Algorithms and Data Structures The Basic Toolbox /

by Mehlhorn, Kurt., Mehlhorn, Kurt., Sanders, Peter.
Published 2008

Table of Contents: “...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
View full text

Electronic eBook

14

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Published 2010

Table of Contents: “... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...”
View full text

Electronic eBook

15

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2007

Table of Contents: “... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...”
View full text

Electronic eBook

16

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings /

Published 2008

Table of Contents: “... Surfaces: Characterizing Time-Varying Program Behavior -- VII Optimizing Memory Performance -- MLP-Aware...”
View full text

Electronic eBook

17

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... Certification Authority Coordination Group -- Grid Enabled Optimization -- Towards a Coordination Model...”
View full text

Electronic eBook

18

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...”
View full text

Electronic eBook

19

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

Published 2005

Table of Contents: “... and Implementations -- Interprocedural Optimization for Dynamic Hardware Configurations -- Reconfigurable Embedded...”
View full text

Electronic eBook

20

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
View full text

Electronic eBook

Narrow Search