Resultados de procura - program paper program https array https

1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Publicado 2008

Table of Contents: “... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”
Ligazón do recurso

Electrónico eBook

2

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Publicado 2013

Table of Contents: “... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...”
Ligazón do recurso

Electrónico eBook

3

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

Publicado 2006

Table of Contents: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Ligazón do recurso

Electrónico eBook

4

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Publicado 2014

Table of Contents: “...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”
Ligazón do recurso

Electrónico eBook

5

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Publicado 2006

Table of Contents: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Ligazón do recurso

Electrónico eBook

6

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

Publicado 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Ligazón do recurso

Electrónico eBook

7

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Publicado 2010

Table of Contents: “... of Constructions with Type-Based Termination -- Aligators for Arrays (Tool Paper) -- Clause Elimination Procedures...”
Ligazón do recurso

Electrónico eBook

8

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Publicado 2008

Table of Contents: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Ligazón do recurso

Electrónico eBook

9

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Publicado 2008

Table of Contents: “... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...”
Ligazón do recurso

Electrónico eBook

10

The Square Kilometre Array: An Engineering Perspective

Publicado 2005

Table of Contents: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Ligazón do recurso

Electrónico eBook

11

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /

Publicado 2007

Table of Contents: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
Ligazón do recurso

Electrónico eBook

12

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Publicado 2006

Table of Contents: “... Scope Analysis for Generic Programs on Arrays....”
Ligazón do recurso

Electrónico eBook

13

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Publicado 2005

Table of Contents: “... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”
Ligazón do recurso

Electrónico eBook

14

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Publicado 2005

Table of Contents: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Ligazón do recurso

Electrónico eBook

15

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Publicado 2014

Table of Contents: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
Ligazón do recurso

Electrónico eBook

16

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

Publicado 2013

Table of Contents: “...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”
Ligazón do recurso

Electrónico eBook

17

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

Publicado 2005

Table of Contents: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Ligazón do recurso

Electrónico eBook

18

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

Publicado 2006

Table of Contents: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Ligazón do recurso

Electrónico eBook

19

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

Publicado 2007

Table of Contents: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
Ligazón do recurso

Electrónico eBook

20

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

Publicado 2005

Table of Contents: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados